グラフィカルな色々 - (新) 檜山正幸のキマイラ飼育記 メモ編 の [Ray21] のメモ。
- [Ray21]
- Title: Brauer diagrams, modular operads, and a graphical nerve theorem for circuit algebras
- Autor: Sophie Raynor
- Submitted: 10 Aug 2021 (v1), 18 Nov 2022 (v2)
- Pages: 65p
- URL: https://arxiv.org/abs/2108.04557
後で追加予定
- $`\mathbb{M} = (M, \nu^\mathbb{M}, \eta^\mathbb{M})/\mathsf{C}`$ と書く。
- the category monad は、圏の自由生成モナドのこと。
- the semi-category monad は、恒等があるとは限らない圏を生成するモナド
- semi-categorical composition は半圏の結合
- $`\mathsf{C}^\mathbb{M}`$ がモナドのEM圏
- the symmetric groupoid $`\Sigma, \; |\Sigma| = {\bf N}`$
- pairing = perfect matching
- n-punctured 2-disc = disc with n-holes
- set of objects = palette of colors 色の集合をパレットと呼ぶ(ダジャレ)
- involutive palette = palette 対合を持つパレットも単にパレットと呼ぶ(良くないが)
- category of palettes パレットの圏を考える。