Pseudoalgebra Explained

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]

See also

• Operad

Further reading

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

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

Notes and References

1. Shulman . Michael A.. Not every pseudoalgebra is equivalent to a strict one. Advances in Mathematics. 229. 3. 2012. 2024–2041. 1005.1520. 10.1016/j.aim.2011.01.010 . free.