Presheaf (category theory)
id:
presheaf-category-theory-178-9788387
title:
Presheaf (category theory)
text:
In category theory, a branch of mathematics, a presheaf on a category C is a functor F : C o p → S e t. If C is the poset of open sets in a topological space, interpreted as a category, then one recovers the usual notion of presheaf on a topological space. A morphism of presheaves is defined to be a natural transformation of functors. This makes the collection of all presheaves on C into a category, and is an example of a functor category. It is often written as C ^ = S e t C o p. A functor into
brand slug:
wiki
category slug:
encyclopedia
description:
Functor from a category's opposite category to Set
original url:
https://en.wikipedia.org/wiki/Presheaf_(category_theory)
date created:
2006-04-21T14:44:29Z
date modified:
2024-09-04T17:06:53Z
main entity:
{"identifier":"Q7241077","url":"https://www.wikidata.org/entity/Q7241077"}
image:
fields total:
13
integrity:
15