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...

Diagonal functor : The diagonal functor is defined as the functor from D to the functor category D C which sends each object in D to the constant f...

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...

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...

Ext functor - Wikipedia, the free encyclopedia Ext functor From Wikipedia, the free encyclopedia Jump to: navigation , search In mathematics , the ...

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

For any appropriate maps g , h such that , then g = h . Suppose and in C . Then g and h are A -valued points of B , and therefore monomorphism is e...

Final topology - Wikipedia, the free encyclopedia Final topology From Wikipedia, the free encyclopedia Jump to: navigation , search In general topo...

Simplicial category - Wikipedia, the free encyclopedia Simplicial category From Wikipedia, the free encyclopedia Jump to: navigation , search In ma...

Snake lemma - Wikipedia, the free encyclopedia Snake lemma From Wikipedia, the free encyclopedia Jump to: navigation , search In mathematics , part...

Zero morphism - Wikipedia, the free encyclopedia Zero morphism From Wikipedia, the free encyclopedia Jump to: navigation , search In category theor...

Subobject classifier - Wikipedia, the free encyclopedia Subobject classifier From Wikipedia, the free encyclopedia Jump to: navigation , search In ...