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.{{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}}
See also
Notes
{{reflist}}
References
- {{cite journal |doi=10.1006/aima.1999.1881 |title=A Coherent Approach to Pseudomonads |date=2000 |last1=Lack |first1=Stephen |journal=Advances in Mathematics |volume=152 |issue=2 |pages=179–202 }}
Further reading
- {{cite book
| editor-last1=Baez | editor-first1=John C. | editor-link1=John C. Baez
| editor-last2=May | editor-first2=J. Peter
| 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
{{categorytheory-stub}}