See presheaf on Wiktionary
{
"etymology_templates": [
{
"args": {
"1": "en",
"2": "pre",
"3": "sheaf"
},
"expansion": "pre- + sheaf",
"name": "prefix"
}
],
"etymology_text": "From pre- + sheaf.",
"forms": [
{
"form": "presheaves",
"tags": [
"plural"
]
},
{
"form": "presheafs",
"tags": [
"plural"
]
}
],
"head_templates": [
{
"args": {
"1": "presheaves",
"2": "s"
},
"expansion": "presheaf (plural presheaves or presheafs)",
"name": "en-noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"senses": [
{
"categories": [
{
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w"
},
{
"kind": "other",
"name": "English terms prefixed with pre-",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Pages with 1 entry",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w"
},
{
"kind": "topical",
"langcode": "en",
"name": "Category theory",
"orig": "en:Category theory",
"parents": [
"Mathematics",
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
}
],
"examples": [
{
"ref": "2011 June 27, Tom Leinster, “An informal introduction to topos theory”, in arXiv.org, Cornell University Library, retrieved 2018-03-18:",
"text": "Let X be a topological space. (Following tradition, I will switch from my previous convention of using X to denote an object of a topos.) Write Open(X) for its poset of open subsets. A presheaf on X is a functor F#58;#92;mathbf#123;Open#125;(X)#92;mbox#123;op#125;#92;rightarrow#92;mathbf#123;Set#125;. It assigns to each open subset U a set F(U), whose elements are called sections over U (for reasons to be explained). It also assigns to each open V#92;subseteqU a function F(U)#92;rightarrowF(V), called restriction from U to V and denoted by s#92;rightarrows#124;#95;V. I will write Psh(X) for the category of presheaves on X.\nExamples 3.1 i. Let F(U) = {continuous functions U#92;rightarrow#92;mathbb#123;R#125;}; restriction is restriction.",
"type": "quote"
}
],
"glosses": [
"An abstract mathematical construct which associates data to the open sets of a topological space, generalizing the situation of functions, fiber bundles, manifold structure, etc. on a topological space (but not necessarily in such a way as to make the local and global data compatible, as in a sheaf). Formally, A contravariant functor ℱ whose domain is a category whose objects are open sets of a topological space (called the base space or underlying space) and whose morphisms are inclusion mappings. The image of each open set under ℱ is an object whose elements are called sections, and are which are said to be over the given open set; the image of each inclusion map A→B under ℱ is a morphism ℱ(B)→ℱ(A), called the restriction from B to A and denoted operatorname res_(B,A) or |_(B,A)."
],
"hyponyms": [
{
"word": "sheaf"
}
],
"id": "en-presheaf-en-noun-kkt0IFr4",
"links": [
[
"category theory",
"category theory"
],
[
"abstract",
"abstract"
],
[
"construct",
"construct"
],
[
"data",
"data"
],
[
"open set",
"open set"
],
[
"topological space",
"topological space"
],
[
"generalizing",
"generalize"
],
[
"functions",
"functions"
],
[
"fiber bundle",
"fiber bundle"
],
[
"manifold",
"manifold"
],
[
"local",
"local"
],
[
"global",
"global"
],
[
"sheaf",
"sheaf"
],
[
"contravariant functor",
"contravariant functor"
],
[
"domain",
"domain"
],
[
"base space",
"base space"
],
[
"underlying space",
"underlying space"
],
[
"morphism",
"morphism"
],
[
"inclusion mapping",
"inclusion mapping"
],
[
"section",
"section"
],
[
"restriction",
"restriction"
]
],
"qualifier": "sheaf theory",
"raw_glosses": [
"(category theory, sheaf theory) An abstract mathematical construct which associates data to the open sets of a topological space, generalizing the situation of functions, fiber bundles, manifold structure, etc. on a topological space (but not necessarily in such a way as to make the local and global data compatible, as in a sheaf). Formally, A contravariant functor ℱ whose domain is a category whose objects are open sets of a topological space (called the base space or underlying space) and whose morphisms are inclusion mappings. The image of each open set under ℱ is an object whose elements are called sections, and are which are said to be over the given open set; the image of each inclusion map A→B under ℱ is a morphism ℱ(B)→ℱ(A), called the restriction from B to A and denoted operatorname res_(B,A) or |_(B,A)."
],
"topics": [
"category-theory",
"computing",
"engineering",
"mathematics",
"natural-sciences",
"physical-sciences",
"sciences"
]
}
],
"word": "presheaf"
}
{
"etymology_templates": [
{
"args": {
"1": "en",
"2": "pre",
"3": "sheaf"
},
"expansion": "pre- + sheaf",
"name": "prefix"
}
],
"etymology_text": "From pre- + sheaf.",
"forms": [
{
"form": "presheaves",
"tags": [
"plural"
]
},
{
"form": "presheafs",
"tags": [
"plural"
]
}
],
"head_templates": [
{
"args": {
"1": "presheaves",
"2": "s"
},
"expansion": "presheaf (plural presheaves or presheafs)",
"name": "en-noun"
}
],
"hyponyms": [
{
"word": "sheaf"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"senses": [
{
"categories": [
"English countable nouns",
"English entries with incorrect language header",
"English lemmas",
"English nouns",
"English nouns with irregular plurals",
"English terms prefixed with pre-",
"English terms with quotations",
"Pages with 1 entry",
"Pages with entries",
"en:Category theory"
],
"examples": [
{
"ref": "2011 June 27, Tom Leinster, “An informal introduction to topos theory”, in arXiv.org, Cornell University Library, retrieved 2018-03-18:",
"text": "Let X be a topological space. (Following tradition, I will switch from my previous convention of using X to denote an object of a topos.) Write Open(X) for its poset of open subsets. A presheaf on X is a functor F#58;#92;mathbf#123;Open#125;(X)#92;mbox#123;op#125;#92;rightarrow#92;mathbf#123;Set#125;. It assigns to each open subset U a set F(U), whose elements are called sections over U (for reasons to be explained). It also assigns to each open V#92;subseteqU a function F(U)#92;rightarrowF(V), called restriction from U to V and denoted by s#92;rightarrows#124;#95;V. I will write Psh(X) for the category of presheaves on X.\nExamples 3.1 i. Let F(U) = {continuous functions U#92;rightarrow#92;mathbb#123;R#125;}; restriction is restriction.",
"type": "quote"
}
],
"glosses": [
"An abstract mathematical construct which associates data to the open sets of a topological space, generalizing the situation of functions, fiber bundles, manifold structure, etc. on a topological space (but not necessarily in such a way as to make the local and global data compatible, as in a sheaf). Formally, A contravariant functor ℱ whose domain is a category whose objects are open sets of a topological space (called the base space or underlying space) and whose morphisms are inclusion mappings. The image of each open set under ℱ is an object whose elements are called sections, and are which are said to be over the given open set; the image of each inclusion map A→B under ℱ is a morphism ℱ(B)→ℱ(A), called the restriction from B to A and denoted operatorname res_(B,A) or |_(B,A)."
],
"links": [
[
"category theory",
"category theory"
],
[
"abstract",
"abstract"
],
[
"construct",
"construct"
],
[
"data",
"data"
],
[
"open set",
"open set"
],
[
"topological space",
"topological space"
],
[
"generalizing",
"generalize"
],
[
"functions",
"functions"
],
[
"fiber bundle",
"fiber bundle"
],
[
"manifold",
"manifold"
],
[
"local",
"local"
],
[
"global",
"global"
],
[
"sheaf",
"sheaf"
],
[
"contravariant functor",
"contravariant functor"
],
[
"domain",
"domain"
],
[
"base space",
"base space"
],
[
"underlying space",
"underlying space"
],
[
"morphism",
"morphism"
],
[
"inclusion mapping",
"inclusion mapping"
],
[
"section",
"section"
],
[
"restriction",
"restriction"
]
],
"qualifier": "sheaf theory",
"raw_glosses": [
"(category theory, sheaf theory) An abstract mathematical construct which associates data to the open sets of a topological space, generalizing the situation of functions, fiber bundles, manifold structure, etc. on a topological space (but not necessarily in such a way as to make the local and global data compatible, as in a sheaf). Formally, A contravariant functor ℱ whose domain is a category whose objects are open sets of a topological space (called the base space or underlying space) and whose morphisms are inclusion mappings. The image of each open set under ℱ is an object whose elements are called sections, and are which are said to be over the given open set; the image of each inclusion map A→B under ℱ is a morphism ℱ(B)→ℱ(A), called the restriction from B to A and denoted operatorname res_(B,A) or |_(B,A)."
],
"topics": [
"category-theory",
"computing",
"engineering",
"mathematics",
"natural-sciences",
"physical-sciences",
"sciences"
]
}
],
"word": "presheaf"
}
Download raw JSONL data for presheaf meaning in All languages combined (4.1kB)
This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2025-01-18 from the enwiktionary dump dated 2025-01-01 using wiktextract (e4a2c88 and 4230888). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.
If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.