example. (co)limit in Set [leinster2016basic, 5.1.22, 5.2.16] [tt-004W]
example. (co)limit in Set [leinster2016basic, 5.1.22, 5.2.16] [tt-004W]
In \(\mathbf {Set}\), the limit is constructed as a subset of a product, the colimit is a quotient of a sum.
Add this after definition [tt-002G].