Open main menu

Wiktionary β

Contents

EnglishEdit

 
Wikipedia has an article on:
Wikipedia

EtymologyEdit

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

PronunciationEdit

NounEdit

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.

HyponymsEdit

TranslationsEdit


FrenchEdit

PronunciationEdit

AdjectiveEdit

locale

  1. feminine singular of local

ItalianEdit

EtymologyEdit

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

AdjectiveEdit

locale (masculine and feminine plural locali)

  1. local

NounEdit

locale m (plural locali)

  1. room

Related termsEdit

AnagramsEdit


LatinEdit

AdjectiveEdit

locāle

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

ReferencesEdit