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

A bimorphism is a morphism that is both an epimorphism and a monomorphism. Isomorphism : f  : X ? Y is called an isomorphism if there exists a morp...

X and is the operation on Y . Each type of algebraic structure has its own type of homomorphism. For specific definitions see: group homomorphism r...

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

The smash product of any pointed space X with a 0-sphere is homeomorphic to X . The smash product of two circles is a quotient of the torus homeomo...

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