Examples of universal constructions
1. Universal constructions
We have seen that there are two kinds of universal constructions: those similar to multiplication and terminal object – the technical term is ‘limits’ – and those similar to sum and initial object: ‘colimits’. Let’s summarize in a table all the universal constructions that we have studied.
Let’s review what a terminal object is. To say that T is a terminal object in the category means …. What?
CHAD: That there is only one map.
One map? From where to where?
CHAD: From the ...