locale

Definition from Wiktionary, the free dictionary
Jump to: navigation, search

English[edit]

Wikipedia has an article on:
Wikipedia

Etymology[edit]

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

Pronunciation[edit]

Noun[edit]

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 [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]

Translations[edit]


French[edit]

Pronunciation[edit]

Adjective[edit]

locale

  1. feminine singular of local

Italian[edit]

Etymology[edit]

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

Adjective[edit]

locale (masculine and feminine plural locali)

  1. local

Noun[edit]

locale m (plural locali)

  1. room

Related terms[edit]

Anagrams[edit]


Latin[edit]

Adjective[edit]

locāle

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

References[edit]