pseudomonad
nounEtymology From pseudo- + monad.
1
Category theory, Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Sciences A weak generalization of a monad on a Gray-category or 2-category (or more generally a weak 2-category) 𝒞 consists of a 2-functor (in particular, if it is a functor on a weak 2-category, it is a pseudo-functor) T:𝒞→𝒞 equipped with pseudonatural transformations μ:T²→T and η:Id→T which satisfy the monad laws up to coherent invertible modifications.