All Questions
Tagged with cartesian-closed-categories universal-property
1
question
8
votes
1
answer
437
views
Does the morphism of composition have some universal property?
Let $A$, $B$ and $C$ be three objects in the category Set. For simplicity, assume that their underlying sets contain a finite number of elements, a, b and c respectively. Using the usual Haskell ...
