圏論において、テトラ圏は4次元圏の弱められた定義である。テトラ圏の定義とその整合条件はトリムブルによって導入された。トリムブルのテトラ圏の正式な定義は、トリムブルの整合定理を用いて与えられる。テトラ圏の整合定理はまだ存在しない。[1]ホフヌングは、モノイド的トリムブル圏はトリムブルの意味での一対象テトラ圏であると述べている。 [2]
参照
注記
- ^ クラン 2000.
- ^ ホフヌング 2011.
参考文献
- クランズ、S. (2000)。 「編み込み、シラプス、対称性について」(PDF)。カイエ・ド・トポロジーとジオメトリー・ディフェレンティエル・カテゴリケ。41 (1): 2-74 .
外部リンク
- トリムブル、トッド。「テトラカテゴリに関するノート」。
- ホフヌング, アレクサンダー E. (2011). 「2-圏における範囲：モノイド的三圏」. arXiv : 1112.0560 [math.CT].
