locale

English

Etymology

From (deprecated template usage) [etyl] French local (adj), nominal use of the adjective.

Pronunciation

• (UK) IPA^(key): /ləʊˈkɑːl/
• Rhymes: -ɑːl
• (US) IPA^(key): /loʊˈkæl/
• Rhymes: -æl

Noun

locale (plural locales)

1. The place where something happens.

   Being near running water and good shade, the explorers decided it was a good locale for setting up camp.

2. (computing) The set of settings related to the language and region in which a computer program executes. Examples are language, currency and time formats, character encoding etc.
3. (mathematics) A partially ordered set with the following additional axiomatic properties: any finite subset of it has a meet, any arbitrary subset of it has a join, and distributivity, which states that a binary meet distributes with respect to an arbitrary join. (Note: locales are just like frames except that the category of locales is opposite to the category of frames.)
   • 2011 June 27, Tom Leinster, “An informal introduction to topos theory”, in arXiv.org‎^[1], Cornell University Library, retrieved 2018-3-21:

     Since every locale is of the form ${\mbox{Sub}}_{\mathcal {E}}(1)$ [subobjects of the terminal object in ${\mathcal {E}}$] for some topos ${\mathcal {E}}$, locale theory can be regarded as the fragment of topos theory concerning subobjects of 1. A subobject of 1 is a map $1\rightarrow \Omega$, which can reasonably called a truth value. In that sense, locale theory is the study of truth values.

Hyponyms

• (mathematics): spatial locale

Translations

place where something happens

• Dutch: oord (nl) n, plaats van gebeuren
• Finnish: tapahtumapaikka
• French: lieu (fr) m, endroit (fr) m
• (deprecated template usage) {{trans-mid}}
• Russian: ме́сто де́йствия (mésto déjstvija)
• Spanish: lugar (es) m

language-related settings

• Dutch: taalregio, locale (nl) f
• French: paramètres régionaux m pl, localisation (fr) f
• (deprecated template usage) {{trans-mid}}
• German: Locale n
• Spanish: configuración regional f

---

French

Pronunciation

• IPA^(key): /lɔ.kal/

Adjective

locale

1. feminine singular of local

---

Italian

Etymology

From Late Latin locālis, locālem, from Latin locus.

Adjective

1. local

Noun

locale m (plural locali)

1. room

Related terms

• località
• localizzare
• localmente
• locare
• locativo
• luogo

Anagrams

• alcole

---

Latin

Adjective

(deprecated template usage) locāle

1. nominative neuter singular of locālis
2. accusative neuter singular of locālis
3. vocative neuter singular of locālis

References

• locale in Charles du Fresne du Cange’s Glossarium Mediæ et Infimæ Latinitatis (augmented edition with additions by D. P. Carpenterius, Adelungius and others, edited by Léopold Favre, 1883–1887)