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

Universal cones Limits and colimits are defined as universal cones . That is, cones through which all other cones factor. A cone ? from L to F is a...

Problems formulated with adjoint functors 1.3 Adjoint functors as solving optimization problems 1.4 The case of partial orders 2 Formal definitions...

It follows that any functor which preserves limits will take terminal objects to terminal objects, and any functor which preserves colimits will ta...

Preservation of limits Representable functors are naturally isomorphic to Hom functors and therefore share their properties. In particular, (covari...

It follows that if coproducts exists in a given category (they need not) they are unique up to a unique isomorphism that respects the injections. I...

Functors Main article: functor Functors are structure-preserving maps between categories. They can be thought of as morphisms in the category of al...

If the diagram is contravariant then it is called an inverse system . [ edit ] Cones and limits A cone of a diagram D  : J ? C is a morphism from t...

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

Then the equaliser is again the entire domain X , since the universal quantification in the definition is vacuously true . [ edit ] Difference kern...

B , the pullback X × B E is a fiber bundle over X called the pullback bundle . The associated commutative diagram is a morphism of fiber bundles. I...

Lie algebra by A L . Construction of the universal enveloping algebra attempts to reverse this process: to a given Lie algebra L over K we find the...