以下の内容はhttps://m-hiyama-memo.hatenablog.com/entry/2023/07/02/223659より取得しました。

関係圏と絵算と不等式セオリー

リンク 本編ネタ
  1. https://arxiv.org/abs/1711.08699 48p Functorial Semantics for Relational Theories
  2. https://arxiv.org/abs/1909.00069 31p Regular and relational categories: Revisiting 'Cartesian bicategories I'
  3. https://arxiv.org/abs/2109.14123 62p Regular Calculi I: Graphical Regular Logic
  4. http://btn1x4.inf.uni-bayreuth.de/publications/LNCS%205765/Bruni_p59-86.pdf 28p On GS-Monoidal Theories for Graphs with Nesting
  5. https://arxiv.org/abs/1812.05765 47p Graphical Regular Logic


以上の内容はhttps://m-hiyama-memo.hatenablog.com/entry/2023/07/02/223659より取得しました。
このページはhttp://font.textar.tv/のウェブフォントを使用してます
不具合報告/要望等はこちらへお願いします。
モバイルやる夫Viewer Ver0.14