Pseudoalgebra

W algebrze, mając 2- monadę T w 2-kategorii , pseudoalgebra dla T jest 2-kategoriową wersją algebry dla T , która spełnia prawa aż do spójnych izomorfizmów .

Zobacz też

• Operowany

• Baez, John C .; Maj, J. Peter (red.). W stronę wyższych kategorii . Tomy IMA w matematyce i jej zastosowaniach. Tom. 152. Springer, Nowy Jork. doi : 10.1007/978-1-4419-1524-5 .
• Shulman, Michael A. (2012). „Nie każda pseudoalgebra jest równoznaczna ze ścisłą” . Postępy w matematyce . 229 (3): 2024–2041. arXiv : 1005.1520 . doi : 10.1016/j.aim.2011.01.010 .

Linki zewnętrzne

• https://ncatlab.org/nlab/show/pseudoalgebra+for+a+2-monad
• https://golem.ph.utexas.edu/category/2014/06/codescent_objects_and_coherenc.html