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

injective and surjective

→