Limit and colimit of presheaves
In category theory, a branch of mathematics, a limit or a colimit of presheaves on a category C is a limit or colimit in the functor category . The category admits small limits and small colimits. Explicitly, if is a functor from a small category I and U is an object in C, then is computed pointwise: The same is true for small limits. Concretely this means that, for example, a fiber product exists and is computed pointwise. (in particular the colimit on the right exists in D.) The density theorem states that every presheaf is a colimit of representable presheaves.
Link from a Wikipage to another Wikipage
primaryTopic
Limit and colimit of presheaves
In category theory, a branch of mathematics, a limit or a colimit of presheaves on a category C is a limit or colimit in the functor category . The category admits small limits and small colimits. Explicitly, if is a functor from a small category I and U is an object in C, then is computed pointwise: The same is true for small limits. Concretely this means that, for example, a fiber product exists and is computed pointwise. (in particular the colimit on the right exists in D.) The density theorem states that every presheaf is a colimit of representable presheaves.
has abstract
In category theory, a branch o ...... t of representable presheaves.
@en
Wikipage page ID
54,494,563
page length (characters) of wiki page
Wikipage revision ID
1,016,414,087
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
comment
In category theory, a branch o ...... t of representable presheaves.
@en
label
Limit and colimit of presheaves
@en