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

In practice, for a valid statement about a particular category , the dual statement is valid in the dual category ( ). [ edit ] Duality The example...

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

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