代数学では、 2-カテゴリ内の2-モナド Tが与えられたとき、Tの擬似代数はTの代数の2-カテゴリ版であり、一貫性のある同型性までの法則を満たします。[1]
参照
注記
- ^ Shulman, Michael A. (2012). 「すべての擬似代数が厳密な擬似代数と等価であるわけではない」. Advances in Mathematics . 229 (3): 2024– 2041. arXiv : 1005.1520 . doi : 10.1016/j.aim.2011.01.010 .
参考文献
- ラック、スティーブン (2000). 「シュードモナスへの一貫したアプローチ」.数学の進歩. 152 (2): 179– 202. doi :10.1006/aima.1999.1881.
さらに読む
- ジョン・C・バエズ、 J・ピーター・メイ編（2010年）『高次のカテゴリーに向けて』IMA数学とその応用集成第152巻、シュプリンガー、ニューヨーク、doi :10.1007/978-1-4419-1524-5、ISBN 978-1-4419-1523-8。
外部リンク
- https://ncatlab.org/nlab/show/擬似代数+for+a+2-モナド
- https://golem.ph.utexas.edu/category/2014/06/codescent_objects_and_coherenc.html
