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.
See also
Operad
References
John C. Baez and J. Peter May, editors. Towards higher categories, volume 152 of The IMA Volumes in Mathematics and its Applications. Springer, New York.
Mike Shulman, "Not every pseudoalgebra is equivalent to a strict one", Advances in Mathematics 229, no. 3 (2012), 2024–2041, arXiv
External links
https://ncatlab.org/nlab/show/pseudoalgebra+for+a+2-monad
https://golem.ph.utexas.edu/category/2014/06/codescent_objects_and_coherenc.html
Undergraduate Texts in Mathematics
Graduate Studies in Mathematics
Hellenica World - Scientific Library
Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License
