1.Previous
3.Next

morphism in the category of sets, as a subset of the Cartesian product, is a relation on the domain, namely equality.

For concrete categories, the diagonal morphism can be simply described by its action on elements of the object

1.Previous
3.Next