locale
English edit
Etymology edit
From French local (adj), nominal use of the adjective.
Pronunciation edit
- (UK) IPA(key): /ləʊˈkɑːl/
Audio (Southern England) (file) - Rhymes: -ɑːl
- (US) IPA(key): /loʊˈkæl/
- Rhymes: -æl
Noun edit
locale (plural locales)
- The place where something happens.
- Being near running water and good shade, the explorers decided it was a good locale for setting up camp.
- 1837, L[etitia] E[lizabeth] L[andon], “Changes in London”, in Ethel Churchill: Or, The Two Brides. […], volume II, London: Henry Colburn, […], →OCLC, page 231:
- Small houses have sprung up as rapidly as the summer grasses used to spring in the Five Fields, so notorious for robbery and murder, that even Madame de Genlis, not usually very accurate in her English locale, is perfectly right in making them the scene of a robber's attack.
- (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.
- (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 [subobjects of the terminal object in ] for some topos , locale theory can be regarded as the fragment of topos theory concerning subobjects of 1. A subobject of 1 is a map , which can reasonably called a truth value. In that sense, locale theory is the study of truth values.
Hyponyms edit
- (mathematics): spatial locale
Derived terms edit
Translations edit
place where something happens
French edit
Pronunciation edit
Adjective edit
locale
Italian edit
Etymology edit
From Late Latin locālis, from Latin locus.
Pronunciation edit
Adjective edit
locale (plural locali)
Noun edit
locale m (plural locali)
Related terms edit
Anagrams edit
Latin edit
Pronunciation edit
- (Classical) IPA(key): /loˈkaː.le/, [ɫ̪ɔˈkäːɫ̪ɛ]
- (modern Italianate Ecclesiastical) IPA(key): /loˈka.le/, [loˈkäːle]
Adjective edit
locāle
References edit
- 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)