« Intro to category theory
Lilac dark
Lilac light
Mocha
Latte
Axiom.
Associativity of Composition
[composition-associativity]
For composable morphisms
,
.