Skip to content

Identity Morphism

Each object in a category needs at least a morphism which starts and ends at itself.