Pseudoalgebra

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.