User:Prumpf/sandbox2
| object | any set |
| morphism | any map |
| composition | composition of functions |
| morphisms | |
| monomorphisms | one-to-one maps |
| epimorphisms | onto maps |
| isomorphisms | bijective maps |
| categorical constructions | |
| product | cartesian product |
| coproduct | disjoint union |
| terminal object | any singleton |
| initial object | empty set |
| pullback | fiber product of sets |
| pushout | |
| inner hom | |
| forgetful functors to | Rel |
| dual category | no special name |
| isomorphism class | cardinal number |
In mathematics, the category of sets is th