Bartosz Milewski Category Theory Lectures →
#
>

2.2 Monomorphisms, simple types

→