Presheaf (category theory)

Presheaf (category theory)

In category theory, a branch of mathematics, a V-valued presheaf F on a category C is a functor F:C^mathrm{op} omathbf{V}. Often "presheaf" is defined to be a Set-valued presheaf. 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 into a category, often written hat{C}. A functor into hat{C} is sometimes called a profunctor.

Properties

* A category C embeds fully and faithfully into the category hat{C} of set-valued presheaves via the Yoneda embedding mathrm{Y}_c which to every object A of C associates the hom-set C(-,A).
* The presheaf category hat{C} is (up to equivalence of categories) the free colimit completion of the category C.


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Category of elements — In category theory, for every presheaf P inhat C := mathbf{Set}^{C^{op the category of elements mathbf{El}(P) of P is the category defined as follows: * its objects are pairs (A,a) where A is an object of C and ain P(A), * its morphisms (A,a) o… …   Wikipedia

  • Model category — In mathematics, particularly in homotopy theory, a model category is a category with distinguished classes of morphisms ( arrows ) called weak equivalences , fibrations and cofibrations . These abstract from a conventional homotopy category, of… …   Wikipedia

  • Concrete category — In mathematics, a concrete category is a category that is equipped with a faithful functor to the category of sets. This functor makes it possible to think of the objects of the category as sets with additional structure, and of its morphisms as… …   Wikipedia

  • Simplicial category — In mathematics, the simplicial category (or ordinal category) is a construction in category theory used to define simplicial and cosimplicial objects. Formal definitionThe simplicial category is usually denoted by Delta and is sometimes denoted… …   Wikipedia

  • 2-category — In category theory, a 2 category is a category with morphisms between morphisms ; that is, where each hom set itself carries the structure of a category. It can be formally defined as a category enriched over Cat (the category of categories and… …   Wikipedia

  • Functor category — In category theory, a branch of mathematics, the functors between two given categories can themselves be turned into a category; the morphisms in this functor category are natural transformations between functors. Functor categories are of… …   Wikipedia

  • Local quantum field theory — The Haag Kastler axiomatic framework for quantum field theory, named after Rudolf Haag and Daniel Kastler, is an application to local quantum physics of C* algebra theory. It is therefore also known as Algebraic Quantum Field Theory (AQFT). The… …   Wikipedia

  • Sheaf (mathematics) — This article is about sheaves on topological spaces. For sheaves on a site see Grothendieck topology and Topos. In mathematics, a sheaf is a tool for systematically tracking locally defined data attached to the open sets of a topological space.… …   Wikipedia

  • List of mathematics articles (P) — NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… …   Wikipedia

  • Grothendieck topology — In category theory, a branch of mathematics, a Grothendieck topology is a structure on a category C which makes the objects of C act like the open sets of a topological space. A category together with a choice of Grothendieck topology is called a …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”