Given a
of
π and π: an anti-parallel
of
F:πβπ and G:πβπ and a
Ξ·:
id_CβGF called βunitβ
for any
Aβπ, for any
Bβπ, and for any
f:AβGB, there is a
g:FAβB
GgβΞ·_A=f. (Note: there is another
called βcounitβ as well but its
may be
by
.) The
of
a
between the
of
which is
than that of an
of
.