# locale

Jump to: navigation, search

## English

Wikipedia has an article on:
Wikipedia

### Etymology

From French local (adj), nominal use of the adjective.

### 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.
• 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 ${\displaystyle {\mbox{Sub}}_{\mathcal {E}}(1)}$ [subobjects of the terminal object in ${\displaystyle {\mathcal {E}}}$] for some topos ${\displaystyle {\mathcal {E}}}$, locale theory can be regarded as the fragment of topos theory concerning subobjects of 1. A subobject of 1 is a map ${\displaystyle 1\rightarrow \Omega }$, which can reasonably called a truth value. In that sense, locale theory is the study of truth values.

locale

## Italian

### Etymology

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

### Adjective

locale (masculine and feminine plural locali)

### Noun

locale m (plural locali)

## Latin

locāle

### References

• du Cange, Charles (1883), “locale”, in G. A. Louis Henschel, Pierre Carpentier, Léopold Favre, editors, Glossarium Mediæ et Infimæ Latinitatis (in Latin), Niort: L. Favre