Псевдоалгебра
В алгебре для данной 2- монады T в 2-категории псевдоалгебра T для представляет собой 2-категорийную версию алгебры для T , которая удовлетворяет законам с точностью до когерентных изоморфизмов . [1]
См. также [ править ]
Ссылки [ править ]
- ^ Шульман, Майкл А. (2012). «Не всякая псевдоалгебра эквивалентна строгой» . Достижения в математике . 229 (3): 2024–2041. arXiv : 1005.1520 . дои : 10.1016/j.aim.2011.01.010 .
Дальнейшее чтение [ править ]
- Баэз, Джон С .; Мэй, Дж. Питер, ред. (2010). В сторону более высоких категорий . Тома IMA по математике и ее приложениям. Том. 152. Спрингер, Нью-Йорк. дои : 10.1007/978-1-4419-1524-5 . ISBN 978-1-4419-1523-8 .
Внешние ссылки [ править ]
- https://ncatlab.org/nlab/show/pseudoalgebra+for+a+2-monad
- https://golem.ph.utexas.edu/category/2014/06/codescent_objects_and_coherenc.html
 | Эта теории категорий статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |