locale
English
Noun
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.
- (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, 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
- (mathematics): spatial locale
Latin
Adjective
locāle
References
- locale in Charles du Fresne du Cange’s Glossarium Mediæ et Infimæ Latinitatis (augmented edition, 1883–1887)
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.