指標と絵算

セミナー リンク お絵描き
  • Title: Shapely monads and analytic functors
  • Authors: Richard Garner, Tom Hirschowitz
  • Submitted: 18 Dec 2015 (v1), 10 Oct 2017 (v3)
  • Pages: 52p
  • URL : https://arxiv.org/abs/1512.05980

多項式の一般化。多圏と類似物がまとめてあるのがいい。多射に対するフュージョン（多結合の変種）可能性で種別が変わる。プロペラッドとプロップの違いはモノイド積様フュージョン〈monoidal-prodoct-like fusion〉の可能性の違い。


  • Title: The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits
  • Author: David I. Spivak
  • Submitted: 1 May 2013
  • Pages: 28p
  • URL: https://arxiv.org/abs/1305.0297

無向〈undirect〉順序無し〈unordered〉ボックスを使ったワイヤリング図のオペラッド。リトルシングス・オペラッドの一種。色々と絵があるので、絵を使える。


  • Title: The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes
  • Authors: Dylan Rupel, David I. Spivak
  • Submitted: 25 Jul 2013
  • Pages: 37p
  • URL: https://arxiv.org/abs/1307.6894

こっちのほうが一般性がある絵が載っている。


  • Title: Variable binding, symmetric monoidal closed theories, and bigraphs
  • Authors: Richard Garner, Tom Hirschowitz, Aurélien Pardon
  • Submitted: 26 May 2009
  • Pagees: 15p
  • URL: https://arxiv.org/abs/0905.4200

線形論理との関係で少し変わったストリング図、面白い。


  • Title: Enriched ∞-categories via non-symmetric ∞-operads
  • Author: David Gepner, Rune Haugseng
  • Submitted: 11 Dec 2013 (v1), 14 Nov 2019 (v4)
  • Pages: 100p
  • URL: https://arxiv.org/abs/1312.3178

豊饒圏〈豊穣圏〉の定義が面白い。他にも無限圏論的解釈が色々ある。



  • Title: String diagrams for traced and compact categories are oriented 1-cobordisms
  • Authors: David I. Spivak, Patrick Schultz, Dylan Rupel
  • Submitted: 5 Aug 2015 (v1), 19 Sep 2016 (v3)
  • Pages: 53p
  • URL: https://arxiv.org/abs/1508.01069