2
$\begingroup$

Is there a name for an adjunction between two categories such that

i) the unit of the adjunction is a natural isomorphism,

ii) the counit of the adjunction is a natural isomorphism?

$\endgroup$
1
  • $\begingroup$ Colocalization. $\endgroup$ Oct 21, 2021 at 14:53

1 Answer 1

8
$\begingroup$

An adjunction for which the unit is a natural isomorphism is called a coreflective adjunction. An adjunction for which the counit is a natural isomorphism is called a reflective adjunction.

$\endgroup$
1

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.