an ordered triple).

Some special morphisms

Monomorphisms and epimorphisms

A morphism is called a monomorphism if implies for all morphisms . A monomorphism can be called a mono for short, and we can use monic as an adjective. A morphism has a left inverse or is a split monomorphism if there is a morphism such that . Thus is idempotent; that is, . The left inverse

1.Previous
3.Next