adjunction
C62330
concept
An adjunction is a pair of functors between categories, together with natural transformations (unit and counit), that establish a best-approximation correspondence between morphisms in opposite directions.
Instances (1)
| Instance | Via concept surface |
|---|---|
| Galois connection | — |