モノイダル圏
モノイダル圏(モノイダルけん、monoidal category)
モノイド圏とも呼ばれる?
→『圏と加群』P160を見るとモノイド圏(monoidal category)となっていたのでモノイダル圏=モノイド圏で大丈夫そう 対象:
射:
恒等射:
域(dom):
余域(cod):
結合:
関連
参考
https://youtu.be/UDAm0CS3sKo?si=LybiwMkAQdVeBnHy
ホモトピー型理論はモノイダル圏と関わりが深い?
$ F:x \rightarrow y
$ G:y \rightarrow z
$ G \circ F:x \rightarrow z
これは合成したやつ
縦に合成、直列(シリアル)に合成している
$ F:x \rightarrow y
$ G:x' \rightarrow y'
$ F\otimes G:x \otimes x' → y \otimes y'
並列(パラレル)、横にならびに繋げたときのもの
https://youtu.be/r9DKJ6F1bBw?si=y3aB60rH9FPokGRM
図式を縦につなげるのが合成、図式を横につなげるのがモノイド積 モノイダル圏に対するコヒーレンス定理
対称モノイダル圏
射をぐにゃらせれる
射の向きを逆さまにできる
定式化すると分野を超えて比較できる
定式化すると分野を超えて協力できる
代入できるものを定式化したもの
メモ