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]

• Operad

• Lack, Stephen (2000). "A Coherent Approach to Pseudomonads". Advances in Mathematics. 152 (2): 179–202. doi:10.1006/aima.1999.1881.

• Baez, John C.; May, J. Peter, eds. (2010). Towards higher categories. The IMA Volumes in Mathematics and its Applications. Vol. 152. Springer, New York. doi:10.1007/978-1-4419-1524-5. ISBN 978-1-4419-1523-8.

• https://ncatlab.org/nlab/show/pseudoalgebra+for+a+2-monad
• https://golem.ph.utexas.edu/category/2014/06/codescent_objects_and_coherenc.html

This category theory-related article is a stub. You can help Wikipedia by expanding it.

• v
• t
• e