All Questions

If a category $C$ has limits of a certain type, then the category of monads on $C$ has the same type of limits, and these limits are computed "levelwise" (i.e. are preserved by the forgetful ...