G -sets are nothing but functors from this category to Set The category of all directed graphs is cartesian closed; this is a functor category as e...

Namely, we can demand the existence of a tensor product that is left adjoint to the internal Hom functor . In this approach, closed monoidal catego...

If there is a monoidal functor from a monoidal category M to a monoidal category N , then any category enriched over M can be reinterpreted as a ca...

Yoneda's lemma asserts that every natural transformation between Hom functors is of this form. In other words, the Hom functors give rise to a full...

Subcategory Faithful functor Full functor Forgetful functor Yoneda lemma Representable functor Functor category Adjoint functors Galois connection ...

I. Heim and A. Kratzer (1998). Semantics in Generative Grammar . Blackwell. [ edit ] External links Look up currying in Wiktionary , the free dicti...

Limits and universal morphisms Colimits in comma categories may be "inherited". If and are cocomplete, is a cocontinuous functor, and another funct...

Set (with the monoidal structure induced by the cartesian product) is a monoid in the usual sense. A monoid object in Top (with the monoidal struct...

T 0 spaces is T 0 Every product of T 1 spaces is T 1 Every product of Hausdorff spaces is Hausdorff [1] Every product of regular spaces is regular ...

Ab is injective if and only if it is divisible ; it is projective if and only if it is a free abelian group. The category has a projective generato...

Category of preordered sets - Wikipedia, the free encyclopedia Category of preordered sets From Wikipedia, the free encyclopedia Jump to: navigatio...

Another article treats the concept of species in biology . In combinatorial mathematics , the theory of combinatorial species is an abstract, syste...