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

Injective and surjective = bijection

→