A course in Category Theory.

Part 2: “Types of Morphisms.”

This story belongs to a series that has started here.

We are going now into looking at different features morphisms can have. As typical for category theory, the concepts are carried over from the category of sets into a more abstract formulation.

First let us have a look how the set-theoretic properties surjective and injective can…