Links:Category theory

Category 2, sets of cardinality < 2.