1 F = ε F ∘ F η 1 G = G ε ∘ η G
adjoint functor
adjungierter Funktor
relationship that two functors may have
adjoint functors
adjunction
left adjunction
right adjunction
Rechtsadjungiert
Linksadjungiert
Adjunktion