指標とセオリー













  • bonchi
  • Submitted: 3 Dec 2020 (v1), 3 Feb 2022 (v2)
  • Title: String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
  • Authors: Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
  • Pages: 57p
  • URL: https://arxiv.org/abs/2012.01847


  • gog-1-2


  • gog-1


  • gog-2


  • spivak-acknow


  • spivak
  • Title: Ologs: a categorical framework for knowledge representation
  • Authors: David I. Spivak, Robert E. Kent
  • Submitted: 9 Feb 2011 (v1), 7 Aug 2011 (v2)
  • URL: https://arxiv.org/abs/1102.1889


  • stay16
  • Submitted: 7 Oct 2016 (v1), 16 Oct 2016 (v3)
  • Title: Logic as a distributive law
  • Authors: Mike Stay, Lucius Gregory Meredith
  • URL: https://arxiv.org/abs/1610.02247


  • tree-Kontsevich-1


  • tree-Kontsevich-2