In algebra, given a 2- monad T in a 2-category, a pseudoalgebra for T is a 2-category-version of algebra for T, that satisfies the laws up to coherent isomorphisms. [1]
This category theory-related article is a stub. You can help Wikipedia by expanding it.