|
We present a monadic approach to actions of internal categories and connect it with a categorical formulation of Galois descent. Actions of internal categories are shown to a certain type of monad, while Galois descent is characterized as effective descent together with a pseudo-torsor condition. This provides a unified framework linking internal symmetries, monads, and descent theory.
Joint work with Elena Caviglia and Luca Mesiti.
|