The free cocompletion. A lot of adjoint couple couples of functors are just particular case of this construction, and often it is easier to use the general theorem than working out a particular case by hand (for example for $i_{!}$ and $i^{!}$).
|
2 | added 1 characters in body | ||
|
|
||||
|
|
1 | [made Community Wiki] | ||
|
The free cocompletion. A lot of adjoint couple of functors are just particular case of this construction, and often it is easier to use the general theorem than working out a particular case by hand (for example for $i_{!}$ and $i^{!}$). |
||||
