エンドは具体的に計算できないといけない。計算法は、↓がいいかな。 http://www.brics.dk/RS/01/27/BRICS-RS-01-27.pdf

あー、そうか。カップリング関手Tのエンドを End T と書くと、Endomorphismっぽくなって、混同がありそう。小文字で end T とか？ ウーン、いまいち。積分記号を使うのが習慣だが、あれ嫌。総和のΣと総積のΠならいいと思うが、あんまり使われてない。ΠT := E…

極限 エンド 関手 F:C→D カップリング関手 T:Cop×C→D 錘 A →○ F 楔 E →□ T 錘の圏 Cone(F) 楔の圏 Wedge(T) 極限 Lim F エンド End T 余極限、コエンドはその双対。カップリング関手は僕の造語。カップリング関手Tが修飾付きホム関手だとは、 T(A, B) := [F(…

モノイド圏 体 D = F2 上の線形代数、またはその代替物。 モノイドの線形表現（たぶん有限次元） ベナボウ・コスモスと豊饒圏とホム関手（外部、内部ホム） エンドのモノイド構造 マイヒル／ネロードの定理 色々な圏 記法 意味 DAutom 決定性オートマトンの…

マンダラの構造を解明するのは、生きているうちには無理だ。分からないままに死んでしまう。簡単な対象物を探ることにする。とりあえず、オートマトンの圏の基本的な構造だけに注目する。それも（たぶん）有限オートマトン。並列実行も脇に置く。難しそうな…

モジュラー圏とか - 檜山正幸のキマイラ飼育記 メモ編で引用した http://arxiv.org/pdf/1201.6593v2.pdf の"3.4 Module categories and categories of modules"によると、 Thus (indecomposable, semisimple) module categories over a fusion category C an…

球体モデル その双対 k-球体セル (n-k)-エクステント 始端 後域 終端 前域 0-セル n-エクステント n-セル 0-エクステント 球体複体 領域分割図 共端（平行） 共域 境界で隣接 間域で対面 セルの回りの扇 エクステントの境界 ブリッジセルで疎通 境界エクステ…

いまだに植木算で間違う。印刷指定の多くは、印刷開始ページと終了ページを指定する。「14ページから10枚印刷する」と頭で考えて、「開始：14, 終了：24」とやってしまった。14 -- 24 だと11枚印刷される。区間の両端は、a≦ x ＜ b が自然なのかも知れない。

ハンガリアン記法が嫌いだという話はたくさんあるが、擁護論は少ない。 http://stlalv.la.coocan.jp/HungarianNotation.html あんまり説得力があるとは言えないが、賛否を比べたいので。

Title: A calculus on lax functors Author: Hugo V. Bacard URL: http://arxiv.org/abs/1307.7216 Pages: 20 pages Title: On Morita Contexts in Bicategories Author: Bertalan P´ecsi URL: http://www.renyi.hu/~aladar/MrtCtx.pdf Title: THE (OP)LAX S…

Mugerの2つの論文がある。まず、テンソル圏（モノイド圏）の一般論は、 Title: TENSOR CATEGORIES: A SELECTIVE GUIDED TOUR Author: MICHAEL MUGER URL: http://inmabb.criba.edu.ar/revuma/pdf/v51n1/v51n1a07.pdf Pages: 69p. モジュラー圏の話は、 Title…

双圏の概念色々を考えるにあたって、双圏の米田埋め込みをひとつのランドマークにするといいかも知れない。米田埋め込み B→[Bop, Cat] こ構成と、それが埋め込みであること、双圏の双同値であることをどうやって示すか、そのための準備は何か？

任意のモノイドから作った離散圏 順序モノイドから作ったやせた圏 圏の自己関手の圏（射は自然変換） テンパリー／リーブ圏とその変種 置換の圏（対称の圏）、ブレイドの圏 厳密とは限らないモノイド圏のシークエンス圏

EGNO本 - 檜山正幸のキマイラ飼育記 メモ編の記事で引用した69ページの論説 http://inmabb.criba.edu.ar/revuma/pdf/v51n1/v51n1a07.pdf Title: TENSOR CATEGORIES: A SELECTIVE GUIDED TOUR Author: MICHAEL MUGER この論説だと、 ‘monoidal categories’ or…

本編の 豊饒圏（ピノキオ）が圏（人間）になる物語 - 檜山正幸のキマイラ飼育記 の図：これを、モノイド関手／ラックス・モノイド関手とその実例 - 檜山正幸のキマイラ飼育記で紹介したマッカーディのストライプ図で描けば次のようになる。豊穣化を表すPを双…

Title: Tensor Categories Authors: Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych, Victor Ostrik URL: http://www-math.mit.edu/~etingof/egnobookfinal.pdf Pages: 362p. テンソル圏の教科書、362ページの出版物がまるまるPDFで提供されている。素晴ら…

集合→離散圏 集合→余離散圏 モノイド→単一対象圏 モノイド→離散モノイド圏 圏→2セルが自明な2-圏 モノイド圏→単一対象の双圏 集合→縦離散・横余離散な双圏 n-圏→m-圏（n＞m）切り落とし、m-骨格 グラフ→自由圏 n-複体→自由n-圏（難しい） モノイド→ラックス…

誰だったか（ベナボウ、ケリー、アイスベルあたり）が、豊饒圏論はラックス関手理論のごく特殊な例だ、と言ったという話だが、だいたいの事情はわかった。その前に言葉づかいだが、 モノイド圏 双圏 （強）モノイド関手 擬関手 ラックス・モノイド関手 ラッ…