Bartosz Milewski Category Theory Lectures →
#
>

2.2 Monomorphisms, simple types

→
#
>

Injective and surjective = bijection

→
#
>

Bijection

→
#
>

injective and surjective

→
#
>

reversible

→