En álgebra, dada una T de 2 mónadas en una categoría de 2 , una pseudoálgebra para T es una versión de álgebra de 2 categorías para T , que satisface las leyes hasta isomorfismos coherentes .
Ver también
Referencias
- John C. Baez y J. Peter May, editores. Hacia categorías superiores , volumen 152 de The IMA Volumes in Mathematics and its Applications . Springer, Nueva York.
- Mike Shulman, "No toda pseudoálgebra es equivalente a una estricta", Advances in Mathematics 229, no. 3 (2012), 2024–2041, arXiv: 1005.1520
enlaces externos
- https://ncatlab.org/nlab/show/pseudoalgebra+for+a+2-monad
- https://golem.ph.utexas.edu/category/2014/06/codescent_objects_and_coherenc.html