Murat Kasimov
More about me
Я language (β)
/Я language (β)/Glossary/Adjoint/
Functors
are called
adjoint
functors
if there is such a
natural isomorphism
:
:
target
(
hom
(
t
o
)
o
)
(
hom
o
(
tt
o
)
)