2 problems

Let $\mathsf{T}$ be a monad and let $\mathsf{Fix}(\mathsf{T})$ denote its category of fixed points. The codensity monad of a functor is its right Kan extension along itself, when t…

Let $\mathsf{K}$ be a complete category and let $\mathsf{T}$ be a generically idempotent monad on $\mathsf{K}$. Its fixed points are the objects on which the monad is idempotent, f…