だいぶ分かってきた気がするのだけど、なんかパシッと分かった気がしない。フラストレーションがたまる状態に置かれている。スッキリしない、イライラする。キーワードは 二重圏、三重圏 コボルディズム、TQFT 豊饒プロ関手、圏的双加群 仮想二重圏＝fc複圏 …

オペレーション＝オペラッド射＝複射 をテンプレートと考えて、文法規則をテンプレートにより扱う。 形式言語 テンプレート ガード文字記号 定数ワイヤーラベル 文字記号（終端） 定数（ソリッド）ボックスラベル 変数記号（非終端） 穴ボックスラベル 規則…

「分断圏」の検索： http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?word=%CA%AC%C3%C7%B7%F7 どうってことないようで使い途がある。 強分断圏： A ≠ B ならば、Hom(A, B) = 空集合 弱分断圏： A と B がisoでないならば、Hom(A, B) = 空集合 任意の圏Cに…

Title: Weakly Enriched Higher Categories Author: Rune Haugseng URL: http://www.chimaira.org/archive/WeaklyEnrichedHigherCategories_862974838-MIT.pdf Pages: 190p HaugsengのMIT学位論文。モダンで詳細。ルーリー流の高次圏論をベースにした豊饒圏…