Search dblp for Publications

export results for "stream:streams/conf/act:"

 download as .bib file

@proceedings{DBLP:journals/corr/abs-2307-15519,
  editor       = {Jade Master and
                  Martha Lewis},
  title        = {Proceedings Fifth International Conference on Applied Category Theory,
                  {ACT} 2022, Glasgow, United Kingdom, 18-22 July 2022},
  series       = {{EPTCS}},
  volume       = {380},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.380},
  doi          = {10.4204/EPTCS.380},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-15519.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2201-12878,
  author       = {David I. Spivak},
  editor       = {Jade Master and
                  Martha Lewis},
  title        = {Polynomial functors and Shannon entropy},
  booktitle    = {Proceedings Fifth International Conference on Applied Category Theory,
                  {ACT} 2022, Glasgow, United Kingdom, 18-22 July 2022},
  series       = {{EPTCS}},
  volume       = {380},
  pages        = {331--343},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.380.19},
  doi          = {10.4204/EPTCS.380.19},
  timestamp    = {Fri, 11 Aug 2023 14:29:27 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2201-12878.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2204-09547,
  author       = {Pietro Vertechi},
  editor       = {Jade Master and
                  Martha Lewis},
  title        = {Dependent Optics},
  booktitle    = {Proceedings Fifth International Conference on Applied Category Theory,
                  {ACT} 2022, Glasgow, United Kingdom, 18-22 July 2022},
  series       = {{EPTCS}},
  volume       = {380},
  pages        = {128--144},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.380.8},
  doi          = {10.4204/EPTCS.380.8},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2204-09547.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2205-00842,
  author       = {Guillaume Boisseau and
                  Chad Nester and
                  Mario Rom{\'{a}}n},
  editor       = {Jade Master and
                  Martha Lewis},
  title        = {Cornering Optics},
  booktitle    = {Proceedings Fifth International Conference on Applied Category Theory,
                  {ACT} 2022, Glasgow, United Kingdom, 18-22 July 2022},
  series       = {{EPTCS}},
  volume       = {380},
  pages        = {97--110},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.380.6},
  doi          = {10.4204/EPTCS.380.6},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2205-00842.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2205-03906,
  author       = {Brandon Shapiro and
                  David I. Spivak},
  editor       = {Jade Master and
                  Martha Lewis},
  title        = {Dynamic categories, dynamic operads: From deep learning to prediction
                  markets},
  booktitle    = {Proceedings Fifth International Conference on Applied Category Theory,
                  {ACT} 2022, Glasgow, United Kingdom, 18-22 July 2022},
  series       = {{EPTCS}},
  volume       = {380},
  pages        = {183--202},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.380.11},
  doi          = {10.4204/EPTCS.380.11},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2205-03906.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2205-05178,
  author       = {Steve Huntsman},
  editor       = {Jade Master and
                  Martha Lewis},
  title        = {Magnitude and topological entropy of digraphs},
  booktitle    = {Proceedings Fifth International Conference on Applied Category Theory,
                  {ACT} 2022, Glasgow, United Kingdom, 18-22 July 2022},
  series       = {{EPTCS}},
  volume       = {380},
  pages        = {254--267},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.380.15},
  doi          = {10.4204/EPTCS.380.15},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2205-05178.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2205-07664,
  author       = {Mario Rom{\'{a}}n},
  editor       = {Jade Master and
                  Martha Lewis},
  title        = {Promonads and String Diagrams for Effectful Categories},
  booktitle    = {Proceedings Fifth International Conference on Applied Category Theory,
                  {ACT} 2022, Glasgow, United Kingdom, 18-22 July 2022},
  series       = {{EPTCS}},
  volume       = {380},
  pages        = {344--361},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.380.20},
  doi          = {10.4204/EPTCS.380.20},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2205-07664.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2205-08373,
  author       = {John Baez and
                  Xiaoyan Li and
                  Sophie Libkind and
                  Nathaniel Osgood and
                  Evan Patterson},
  editor       = {Jade Master and
                  Martha Lewis},
  title        = {Compositional Modeling with Stock and Flow Diagrams},
  booktitle    = {Proceedings Fifth International Conference on Applied Category Theory,
                  {ACT} 2022, Glasgow, United Kingdom, 18-22 July 2022},
  series       = {{EPTCS}},
  volume       = {380},
  pages        = {77--96},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.380.5},
  doi          = {10.4204/EPTCS.380.5},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2205-08373.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2205-08916,
  author       = {Elena Di Lavore and
                  Pawel Sobocinski},
  editor       = {Jade Master and
                  Martha Lewis},
  title        = {Monoidal Width: Capturing Rank Width},
  booktitle    = {Proceedings Fifth International Conference on Applied Category Theory,
                  {ACT} 2022, Glasgow, United Kingdom, 18-22 July 2022},
  series       = {{EPTCS}},
  volume       = {380},
  pages        = {268--283},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.380.16},
  doi          = {10.4204/EPTCS.380.16},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2205-08916.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2205-09027,
  author       = {James Hefford and
                  Cole Comfort},
  editor       = {Jade Master and
                  Martha Lewis},
  title        = {Coend Optics for Quantum Combs},
  booktitle    = {Proceedings Fifth International Conference on Applied Category Theory,
                  {ACT} 2022, Glasgow, United Kingdom, 18-22 July 2022},
  series       = {{EPTCS}},
  volume       = {380},
  pages        = {63--76},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.380.4},
  doi          = {10.4204/EPTCS.380.4},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2205-09027.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2206-03868,
  author       = {Toby St Clere Smithe},
  editor       = {Jade Master and
                  Martha Lewis},
  title        = {Open dynamical systems as coalgebras for polynomial functors, with
                  application to predictive processing},
  booktitle    = {Proceedings Fifth International Conference on Applied Category Theory,
                  {ACT} 2022, Glasgow, United Kingdom, 18-22 July 2022},
  series       = {{EPTCS}},
  volume       = {380},
  pages        = {307--330},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.380.18},
  doi          = {10.4204/EPTCS.380.18},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2206-03868.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2206-12338,
  author       = {Matteo Capucci},
  editor       = {Jade Master and
                  Martha Lewis},
  title        = {Diegetic representation of feedback in open games},
  booktitle    = {Proceedings Fifth International Conference on Applied Category Theory,
                  {ACT} 2022, Glasgow, United Kingdom, 18-22 July 2022},
  series       = {{EPTCS}},
  volume       = {380},
  pages        = {145--158},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.380.9},
  doi          = {10.4204/EPTCS.380.9},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2206-12338.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2207-03929,
  author       = {Leo Lobski and
                  Fabio Zanasi},
  editor       = {Jade Master and
                  Martha Lewis},
  title        = {String Diagrams for Layered Explanations},
  booktitle    = {Proceedings Fifth International Conference on Applied Category Theory,
                  {ACT} 2022, Glasgow, United Kingdom, 18-22 July 2022},
  series       = {{EPTCS}},
  volume       = {380},
  pages        = {362--382},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.380.21},
  doi          = {10.4204/EPTCS.380.21},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-03929.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2207-13589,
  author       = {Andrea Censi and
                  Emilio Frazzoli and
                  Jonathan Lorand and
                  Gioele Zardini},
  editor       = {Jade Master and
                  Martha Lewis},
  title        = {Categorification of Negative Information using Enrichment},
  booktitle    = {Proceedings Fifth International Conference on Applied Category Theory,
                  {ACT} 2022, Glasgow, United Kingdom, 18-22 July 2022},
  series       = {{EPTCS}},
  volume       = {380},
  pages        = {22--40},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.380.2},
  doi          = {10.4204/EPTCS.380.2},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-13589.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2209-09509,
  author       = {Amar Hadzihasanovic and
                  Diana Kessler},
  editor       = {Jade Master and
                  Martha Lewis},
  title        = {Data structures for topologically sound higher-dimensional diagram
                  rewriting},
  booktitle    = {Proceedings Fifth International Conference on Applied Category Theory,
                  {ACT} 2022, Glasgow, United Kingdom, 18-22 July 2022},
  series       = {{EPTCS}},
  volume       = {380},
  pages        = {111--127},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.380.7},
  doi          = {10.4204/EPTCS.380.7},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-09509.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2210-08914,
  author       = {Malin Altenm{\"{u}}ller and
                  Ross Duncan},
  editor       = {Jade Master and
                  Martha Lewis},
  title        = {A Category of Surface-Embedded Graphs},
  booktitle    = {Proceedings Fifth International Conference on Applied Category Theory,
                  {ACT} 2022, Glasgow, United Kingdom, 18-22 July 2022},
  series       = {{EPTCS}},
  volume       = {380},
  pages        = {41--62},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.380.3},
  doi          = {10.4204/EPTCS.380.3},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2210-08914.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-16552,
  author       = {Ezra Schoen},
  editor       = {Jade Master and
                  Martha Lewis},
  title        = {Lax Liftings and Lax Distributive Laws},
  booktitle    = {Proceedings Fifth International Conference on Applied Category Theory,
                  {ACT} 2022, Glasgow, United Kingdom, 18-22 July 2022},
  series       = {{EPTCS}},
  volume       = {380},
  pages        = {237--253},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.380.14},
  doi          = {10.4204/EPTCS.380.14},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-16552.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-16558,
  author       = {Flavien Breuvart and
                  Dylan McDermott and
                  Tarmo Uustalu},
  editor       = {Jade Master and
                  Martha Lewis},
  title        = {Canonical Gradings of Monads},
  booktitle    = {Proceedings Fifth International Conference on Applied Category Theory,
                  {ACT} 2022, Glasgow, United Kingdom, 18-22 July 2022},
  series       = {{EPTCS}},
  volume       = {380},
  pages        = {1--21},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.380.1},
  doi          = {10.4204/EPTCS.380.1},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-16558.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-2211-01102,
  editor       = {Kohei Kishida},
  title        = {Proceedings of the Fourth International Conference on Applied Category
                  Theory, {ACT} 2021, Cambridge, United Kingdom, 12-16th July 2021},
  series       = {{EPTCS}},
  volume       = {372},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.372},
  doi          = {10.4204/EPTCS.372},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-01102.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2011-07435,
  author       = {Dan Shiebler},
  editor       = {Kohei Kishida},
  title        = {Functorial Manifold Learning and Overlapping Clustering},
  booktitle    = {Proceedings of the Fourth International Conference on Applied Category
                  Theory, {ACT} 2021, Cambridge, United Kingdom, 12-16th July 2021},
  series       = {{EPTCS}},
  volume       = {372},
  pages        = {1--13},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.372.1},
  doi          = {10.4204/EPTCS.372.1},
  timestamp    = {Mon, 05 Dec 2022 10:58:58 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2011-07435.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-09100,
  author       = {Fabrizio Romano Genovese and
                  Fosco Loregi{\`{a}}n and
                  Daniele Palombi},
  editor       = {Kohei Kishida},
  title        = {A Categorical Semantics for Bounded Petri Nets},
  booktitle    = {Proceedings of the Fourth International Conference on Applied Category
                  Theory, {ACT} 2021, Cambridge, United Kingdom, 12-16th July 2021},
  series       = {{EPTCS}},
  volume       = {372},
  pages        = {59--71},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.372.5},
  doi          = {10.4204/EPTCS.372.5},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-09100.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2102-04672,
  author       = {Christian Williams and
                  Michael Stay},
  editor       = {Kohei Kishida},
  title        = {Native Type Theory},
  booktitle    = {Proceedings of the Fourth International Conference on Applied Category
                  Theory, {ACT} 2021, Cambridge, United Kingdom, 12-16th July 2021},
  series       = {{EPTCS}},
  volume       = {372},
  pages        = {116--132},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.372.9},
  doi          = {10.4204/EPTCS.372.9},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-04672.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2103-01189,
  author       = {David I. Spivak},
  editor       = {Kohei Kishida},
  title        = {Learners' languages},
  booktitle    = {Proceedings of the Fourth International Conference on Applied Category
                  Theory, {ACT} 2021, Cambridge, United Kingdom, 12-16th July 2021},
  series       = {{EPTCS}},
  volume       = {372},
  pages        = {14--28},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.372.2},
  doi          = {10.4204/EPTCS.372.2},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2103-01189.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2105-03252,
  author       = {Andrew M. Pitts and
                  S. C. Steenkamp},
  editor       = {Kohei Kishida},
  title        = {Constructing Initial Algebras Using Inflationary Iteration},
  booktitle    = {Proceedings of the Fourth International Conference on Applied Category
                  Theory, {ACT} 2021, Cambridge, United Kingdom, 12-16th July 2021},
  series       = {{EPTCS}},
  volume       = {372},
  pages        = {88--102},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.372.7},
  doi          = {10.4204/EPTCS.372.7},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-03252.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2105-04355,
  author       = {Chad Nester},
  editor       = {Kohei Kishida},
  title        = {Situated Transition Sytems},
  booktitle    = {Proceedings of the Fourth International Conference on Applied Category
                  Theory, {ACT} 2021, Cambridge, United Kingdom, 12-16th July 2021},
  series       = {{EPTCS}},
  volume       = {372},
  pages        = {103--115},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.372.8},
  doi          = {10.4204/EPTCS.372.8},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-04355.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2105-06186,
  author       = {Nicolas Behr and
                  Joachim Kock},
  editor       = {Kohei Kishida},
  title        = {Tracelet Hopf algebras and decomposition spaces},
  booktitle    = {Proceedings of the Fourth International Conference on Applied Category
                  Theory, {ACT} 2021, Cambridge, United Kingdom, 12-16th July 2021},
  series       = {{EPTCS}},
  volume       = {372},
  pages        = {323--337},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.372.23},
  doi          = {10.4204/EPTCS.372.23},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-06186.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2105-06244,
  author       = {Cole Comfort and
                  Aleks Kissinger},
  editor       = {Kohei Kishida},
  title        = {A Graphical Calculus for Lagrangian Relations},
  booktitle    = {Proceedings of the Fourth International Conference on Applied Category
                  Theory, {ACT} 2021, Cambridge, United Kingdom, 12-16th July 2021},
  series       = {{EPTCS}},
  volume       = {372},
  pages        = {338--351},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.372.24},
  doi          = {10.4204/EPTCS.372.24},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-06244.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2105-06763,
  author       = {Matteo Capucci and
                  Neil Ghani and
                  J{\'{e}}r{\'{e}}my Ledent and
                  Fredrik Nordvall Forsberg},
  editor       = {Kohei Kishida},
  title        = {Translating Extensive Form Games to Open Games with Agency},
  booktitle    = {Proceedings of the Fourth International Conference on Applied Category
                  Theory, {ACT} 2021, Cambridge, United Kingdom, 12-16th July 2021},
  series       = {{EPTCS}},
  volume       = {372},
  pages        = {221--234},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.372.16},
  doi          = {10.4204/EPTCS.372.16},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-06763.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2105-09257,
  author       = {Paul W. Wilson and
                  Fabio Zanasi},
  editor       = {Kohei Kishida},
  title        = {The Cost of Compositionality: {A} High-Performance Implementation
                  of String Diagram Composition},
  booktitle    = {Proceedings of the Fourth International Conference on Applied Category
                  Theory, {ACT} 2021, Cambridge, United Kingdom, 12-16th July 2021},
  series       = {{EPTCS}},
  volume       = {372},
  pages        = {262--275},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.372.19},
  doi          = {10.4204/EPTCS.372.19},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-09257.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2106-07763,
  author       = {Guillaume Boisseau and
                  Pawel Sobocinski},
  editor       = {Kohei Kishida},
  title        = {String Diagrammatic Electrical Circuit Theory},
  booktitle    = {Proceedings of the Fourth International Conference on Applied Category
                  Theory, {ACT} 2021, Cambridge, United Kingdom, 12-16th July 2021},
  series       = {{EPTCS}},
  volume       = {372},
  pages        = {178--191},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.372.13},
  doi          = {10.4204/EPTCS.372.13},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2106-07763.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2107-01778,
  author       = {Soichiro Fujii and
                  Yuni Iwamasa and
                  Kei Kimura},
  editor       = {Kohei Kishida},
  title        = {Quantaloidal approach to constraint satisfaction},
  booktitle    = {Proceedings of the Fourth International Conference on Applied Category
                  Theory, {ACT} 2021, Cambridge, United Kingdom, 12-16th July 2021},
  series       = {{EPTCS}},
  volume       = {372},
  pages        = {289--305},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.372.21},
  doi          = {10.4204/EPTCS.372.21},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-01778.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2107-06820,
  author       = {Razin A. Shaikh and
                  Lia Yeh and
                  Benjamin Rodatz and
                  Bob Coecke},
  editor       = {Kohei Kishida},
  title        = {Composing Conversational Negation},
  booktitle    = {Proceedings of the Fourth International Conference on Applied Category
                  Theory, {ACT} 2021, Cambridge, United Kingdom, 12-16th July 2021},
  series       = {{EPTCS}},
  volume       = {372},
  pages        = {352--367},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.372.25},
  doi          = {10.4204/EPTCS.372.25},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-06820.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2110-05985,
  author       = {Sean Tull},
  editor       = {Kohei Kishida},
  title        = {A Categorical Semantics of Fuzzy Concepts in Conceptual Spaces},
  booktitle    = {Proceedings of the Fourth International Conference on Applied Category
                  Theory, {ACT} 2021, Cambridge, United Kingdom, 12-16th July 2021},
  series       = {{EPTCS}},
  volume       = {372},
  pages        = {306--322},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.372.22},
  doi          = {10.4204/EPTCS.372.22},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-05985.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2211-01831,
  author       = {Toby St Clere Smithe},
  editor       = {Kohei Kishida},
  title        = {Polynomial Life: the Structure of Adaptive Systems},
  booktitle    = {Proceedings of the Fourth International Conference on Applied Category
                  Theory, {ACT} 2021, Cambridge, United Kingdom, 12-16th July 2021},
  series       = {{EPTCS}},
  volume       = {372},
  pages        = {133--148},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.372.10},
  doi          = {10.4204/EPTCS.372.10},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-01831.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2211-01835,
  author       = {Jean{-}Simon Pacaud Lemay},
  editor       = {Kohei Kishida},
  title        = {Jacobians and Gradients for Cartesian Differential Categories},
  booktitle    = {Proceedings of the Fourth International Conference on Applied Category
                  Theory, {ACT} 2021, Cambridge, United Kingdom, 12-16th July 2021},
  series       = {{EPTCS}},
  volume       = {372},
  pages        = {29--42},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.372.3},
  doi          = {10.4204/EPTCS.372.3},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-01835.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2211-01841,
  author       = {J{\'{e}}r{\'{e}}mie Koenig},
  editor       = {Kohei Kishida},
  title        = {Grounding Game Semantics in Categorical Algebra},
  booktitle    = {Proceedings of the Fourth International Conference on Applied Category
                  Theory, {ACT} 2021, Cambridge, United Kingdom, 12-16th July 2021},
  series       = {{EPTCS}},
  volume       = {372},
  pages        = {368--383},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.372.26},
  doi          = {10.4204/EPTCS.372.26},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-01841.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-2101-07888,
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.333},
  doi          = {10.4204/EPTCS.333},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-07888.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2004-04526,
  author       = {Mario Rom{\'{a}}n},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Open Diagrams via Coend Calculus},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {65--78},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.5},
  doi          = {10.4204/EPTCS.333.5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-04526.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2005-05293,
  author       = {Matthew Wilson and
                  James Hefford and
                  Guillaume Boisseau and
                  Vincent Wang},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {The Safari of Update Structures: Visiting the Lens and Quantum Enclosures},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {1--18},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.1},
  doi          = {10.4204/EPTCS.333.1},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-05293.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2005-05433,
  author       = {Vladimir Zamdzhiev},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Computational Adequacy for Substructural Lambda Calculi},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {322--334},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.22},
  doi          = {10.4204/EPTCS.333.22},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-05433.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2005-09439,
  author       = {Giovanni de Felice and
                  Elena Di Lavore and
                  Mario Rom{\'{a}}n and
                  Alexis Toumi},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Functorial Language Games for Question Answering},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {311--321},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.21},
  doi          = {10.4204/EPTCS.333.21},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-09439.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2005-09559,
  author       = {Martin Hyland and
                  Christine Tasson},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {The linear-non-linear substitution 2-monad},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {215--229},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.15},
  doi          = {10.4204/EPTCS.333.15},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-09559.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10479,
  author       = {Swaraj Dash and
                  Sam Staton},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {A Monad for Probabilistic Point Processes},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {19--32},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.2},
  doi          = {10.4204/EPTCS.333.2},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10479.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10480,
  author       = {Spencer Breiner and
                  John S. Nolan},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Symmetric Monoidal Categories with Attributes},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {33--48},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.3},
  doi          = {10.4204/EPTCS.333.3},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10480.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10483,
  author       = {Toby St Clere Smithe},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Cyber Kittens, or Some First Steps Towards Categorical Cybernetics},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {108--124},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.8},
  doi          = {10.4204/EPTCS.333.8},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10483.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10484,
  author       = {Georgios Bakirtzis and
                  Christina Vasilakopoulou and
                  Cody H. Fleming},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Compositional Cyber-Physical Systems Modeling},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {125--138},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.9},
  doi          = {10.4204/EPTCS.333.9},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10484.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10485,
  author       = {Gioele Zardini and
                  David I. Spivak and
                  Andrea Censi and
                  Emilio Frazzoli},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {A Compositional Sheaf-Theoretic Framework for Event-Based Systems},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {139--153},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.10},
  doi          = {10.4204/EPTCS.333.10},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10485.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10486,
  author       = {Lachlan McPheat and
                  Mehrnoosh Sadrzadeh and
                  Hadi Wazni and
                  Gijs Wijnholds},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Categorical Vector Space Semantics for Lambek Calculus with a Relevant
                  Modality (Extended Abstract)},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {168--182},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.12},
  doi          = {10.4204/EPTCS.333.12},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10486.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10487,
  author       = {Tarmo Uustalu and
                  Niccol{\`{o}} Veltri and
                  Noam Zeilberger},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Proof Theory of Partially Normal Skew Monoidal Categories},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {230--246},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.16},
  doi          = {10.4204/EPTCS.333.16},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10487.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10488,
  author       = {Paul W. Wilson and
                  Fabio Zanasi},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Reverse Derivative Ascent: {A} Categorical Approach to Learning Boolean
                  Circuits},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {247--260},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.17},
  doi          = {10.4204/EPTCS.333.17},
  timestamp    = {Tue, 25 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10488.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10490,
  author       = {Brendan Fong and
                  David Jaz Myers and
                  David I. Spivak},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Behavioral Mereology: {A} Modal Logic for Passing Constraints},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {276--288},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.19},
  doi          = {10.4204/EPTCS.333.19},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10490.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10491,
  author       = {Geoffrey S. H. Cruttwell and
                  Jonathan Gallagher and
                  Dorette Pronk},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Categorical semantics of a simple differential programming language},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {289--310},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.20},
  doi          = {10.4204/EPTCS.333.20},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10491.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10493,
  author       = {Luigi Santocanale},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Dualizing sup-preserving endomaps of a complete lattice},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {335--346},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.23},
  doi          = {10.4204/EPTCS.333.23},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10493.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10494,
  author       = {Richard Statman},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Products in a Category with Only One Object},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {347--353},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.24},
  doi          = {10.4204/EPTCS.333.24},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10494.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-12045,
  author       = {Robert Atkey and
                  Bruno Gavranovic and
                  Neil Ghani and
                  Clemens Kupke and
                  J{\'{e}}r{\'{e}}my Ledent and
                  Fredrik Nordvall Forsberg},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Compositional Game Theory, Compositionally},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {198--214},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.14},
  doi          = {10.4204/EPTCS.333.14},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-12045.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-12046,
  author       = {Evan Patterson and
                  David I. Spivak and
                  Dmitry Vagner},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Wiring diagrams as normal forms for computing in symmetric monoidal
                  categories},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {49--64},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.4},
  doi          = {10.4204/EPTCS.333.4},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-12046.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-2009-06334,
  editor       = {John Baez and
                  Bob Coecke},
  title        = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.323},
  doi          = {10.4204/EPTCS.323},
  timestamp    = {Wed, 04 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-06334.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Delpeuch14a,
  author       = {Antonin Delpeuch},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {Autonomization of Monoidal Categories},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {24--43},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.3},
  doi          = {10.4204/EPTCS.323.3},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Delpeuch14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1904-12829,
  author       = {Nicolas Behr},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {Tracelets and Tracelet Analysis Of Compositional Rewriting Systems},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {44--71},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.4},
  doi          = {10.4204/EPTCS.323.4},
  timestamp    = {Wed, 04 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1904-12829.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1905-05636,
  author       = {John C. Baez and
                  Christian Williams},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {Enriched Lawvere Theories for Operational Semantics},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {106--135},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.8},
  doi          = {10.4204/EPTCS.323.8},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-05636.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1905-07408,
  author       = {Giovanni de Felice and
                  Konstantinos Meichanetzidis and
                  Alexis Toumi},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {Montague Semantics for Lambek Pregroups},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {84--94},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.6},
  doi          = {10.4204/EPTCS.323.6},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-07408.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1906-05937,
  author       = {Antonin Delpeuch},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {A complete language for faceted dataflow programs},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {1--14},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.1},
  doi          = {10.4204/EPTCS.323.1},
  timestamp    = {Sat, 07 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1906-05937.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1906-09649,
  author       = {Vladimir Zamdzhiev},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {Reflecting Algebraically Compact Functors},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {15--23},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.2},
  doi          = {10.4204/EPTCS.323.2},
  timestamp    = {Wed, 04 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1906-09649.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1907-03536,
  author       = {Micah Halter and
                  Christine Herlihy and
                  James P. Fairbanks},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {A Compositional Framework for Scientific Model Augmentation},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {172--182},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.12},
  doi          = {10.4204/EPTCS.323.12},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-03536.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1912-06191,
  author       = {Fabrizio Genovese and
                  Alex Gryzlov and
                  Jelle Herold and
                  Andre Knispel and
                  Marco Perone and
                  Erik Post and
                  Andr{\'{e}} Videla},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {idris-ct: {A} Library to do Category Theory in Idris},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {246--254},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.16},
  doi          = {10.4204/EPTCS.323.16},
  timestamp    = {Wed, 04 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1912-06191.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-06831,
  author       = {Neil Ghani and
                  Clemens Kupke and
                  Alasdair Lambert and
                  Fredrik Nordvall Forsberg},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {Compositional Game Theory with Mixed Strategies: Probabilistic Open
                  Games Using a Distributive Law},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {95--105},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.7},
  doi          = {10.4204/EPTCS.323.7},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-06831.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-06832,
  author       = {Dominique Pastor and
                  Erwan Beurier and
                  Andr{\'{e}}e C. Ehresmann and
                  Roger Waldeck},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {Interfacing biology, category theory and mathematical statistics},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {136--148},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.9},
  doi          = {10.4204/EPTCS.323.9},
  timestamp    = {Wed, 04 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-06832.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-06833,
  author       = {John S. Nolan and
                  Blake S. Pollard and
                  Spencer Breiner and
                  Dhananjay Anand and
                  Eswaran Subrahmanian},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {Compositional Models for Power Systems},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {149--160},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.10},
  doi          = {10.4204/EPTCS.323.10},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-06833.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-06834,
  author       = {Philip Johnson{-}Freyd and
                  Jon Aytac and
                  Geoffrey C. Hulette},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {Topos Semantics for a Higher-Order Temporal Logic of Actions},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {161--171},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.11},
  doi          = {10.4204/EPTCS.323.11},
  timestamp    = {Wed, 04 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-06834.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-06836,
  author       = {Brendan Fong and
                  David I. Spivak},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {String Diagrams for Regular Logic (Extended Abstract)},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {196--229},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.14},
  doi          = {10.4204/EPTCS.323.14},
  timestamp    = {Wed, 04 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-06836.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-06837,
  author       = {Bruno Gavranovic},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {Learning Functors using Gradient Descent},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {230--245},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.15},
  doi          = {10.4204/EPTCS.323.15},
  timestamp    = {Wed, 04 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-06837.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-09848,
  author       = {Spencer Breiner and
                  Blake S. Pollard and
                  Eswaran Subrahmanian and
                  Olivier Marie{-}Rose},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {Modeling Hierarchical System with Operads},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {72--83},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.5},
  doi          = {10.4204/EPTCS.323.5},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-09848.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.