nLab nuclear adjunction

Nuclear adjunctions

Context

Higher algebra

2-Category theory

Nuclear adjunctions

Definition

A nuclear adjunction is an adjunction that is both monadic and comonadic.

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

References

Created on May 4, 2022 at 13:25:40. See the history of this page for a list of all contributions to it.