3 ms·
The left picture called "compositions are associative and unital" makes more sense when you reverse the bottom two arrows so that g.f : A -> C and h : C -> D
by tromp 5y ago
The left picture called "compositions are associative and unital" makes more sense when you reverse the bottom two arrows so that g.f : A -> C and h : C -> D