Bartosz Milewski Category Theory Lectures → 2.2 Monomorphisms, simple types →
#
>

Bijection

→
#
>

injective and surjective

→
#
>

reversible

→