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.
See also
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
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.