Pseudoalgebra

{{Short description|2-category version of algebra}} 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.<!-- Isn't this same thing as an operad algebra? --><ref>{{cite journal | last1=Shulman | first1=Michael A. | title=Not every pseudoalgebra is equivalent to a strict one | journal=Advances in Mathematics | volume=229 | issue=3 | date=2012 | pages=2024–2041 | arxiv=1005.1520 | doi=10.1016/j.aim.2011.01.010 | doi-access=free}}</ref>

== See also == *Operad

==Notes== {{reflist}} == References == *{{cite journal |last1=Power |first1=A.J. |title=A general coherence result |journal=Journal of Pure and Applied Algebra |date=1989 |volume=57 |issue=2 |pages=165–173 |doi=10.1016/0022-4049(89)90113-8}}

==Further reading== * {{cite book | editor-last1=Baez | editor-first1=John C. | editor-link1=John C. Baez | editor-last2=May | editor-first2=J. Peter |editor-link2=J. Peter May | title=Towards higher categories | volume=152 | series=The IMA Volumes in Mathematics and its Applications | date=2010 | publisher=Springer, New York | doi=10.1007/978-1-4419-1524-5| isbn=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

Category:Adjoint functors Category:Abstract algebra Category:Category theory

{{categorytheory-stub}}