C ) can be made precise in several ways; the most succinct formulation uses the language of adjoint functors . Every functor F  : D ? E induces a f...

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

P. Freyd [1] ) if it contains all the objects of C . A lluf subcategory is typically not full: the only full lluf subcategory of a category is that...

Then an embedding , or a smooth embedding , is defined to be an immersion which is an embedding in the above sense (i.e. homeomorphism onto its ima...

Ab is a reflective subcategory of the category of groups , Grp . The reflector is the functor which sends each group to its abelianization . Simila...

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

Matroid embedding - Wikipedia, the free encyclopedia Matroid embedding From Wikipedia, the free encyclopedia Jump to: navigation , search In combin...

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