### Context

#### Higher algebra

higher algebra

universal algebra

## Theorems

#### 2-Category theory

2-category theory

Definitions

Transfors between 2-categories

Morphisms in 2-categories

Structures in 2-categories

Limits in 2-categories

Structures on 2-categories

Consider an adjunction $F \dashv G$, generating a monad $T$ and a comonad $D$. Under minimal assumptions on the categories, there is an adjunction between the category of $T$-algebras, and the category of $D$-coalgebras, and this adjunction is nuclear.