Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jade Master, Martha Lewis (eds.) |
Proceedings Fifth International Conference on Applied Category Theory, ACT 2022, Glasgow, United Kingdom, 18-22 July 2022. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Flavien Breuvart, Dylan McDermott, Tarmo Uustalu |
Canonical Gradings of Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Fifth International Conference on Applied Category Theory, ACT 2022, Glasgow, United Kingdom, 18-22 July 2022., pp. 1-21, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Leo Lobski, Fabio Zanasi |
String Diagrams for Layered Explanations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Fifth International Conference on Applied Category Theory, ACT 2022, Glasgow, United Kingdom, 18-22 July 2022., pp. 362-382, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Toby St Clere Smithe |
Open dynamical systems as coalgebras for polynomial functors, with application to predictive processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Fifth International Conference on Applied Category Theory, ACT 2022, Glasgow, United Kingdom, 18-22 July 2022., pp. 307-330, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | John Baez, Xiaoyan Li, Sophie Libkind, Nathaniel Osgood, Evan Patterson |
Compositional Modeling with Stock and Flow Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Fifth International Conference on Applied Category Theory, ACT 2022, Glasgow, United Kingdom, 18-22 July 2022., pp. 77-96, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Steve Huntsman |
Magnitude and topological entropy of digraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Fifth International Conference on Applied Category Theory, ACT 2022, Glasgow, United Kingdom, 18-22 July 2022., pp. 254-267, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | David I. Spivak |
Polynomial functors and Shannon entropy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Fifth International Conference on Applied Category Theory, ACT 2022, Glasgow, United Kingdom, 18-22 July 2022., pp. 331-343, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Vertechi |
Dependent Optics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Fifth International Conference on Applied Category Theory, ACT 2022, Glasgow, United Kingdom, 18-22 July 2022., pp. 128-144, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Censi, Emilio Frazzoli, Jonathan Lorand, Gioele Zardini |
Categorification of Negative Information using Enrichment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Fifth International Conference on Applied Category Theory, ACT 2022, Glasgow, United Kingdom, 18-22 July 2022., pp. 22-40, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Brandon Shapiro, David I. Spivak |
Dynamic categories, dynamic operads: From deep learning to prediction markets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Fifth International Conference on Applied Category Theory, ACT 2022, Glasgow, United Kingdom, 18-22 July 2022., pp. 183-202, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | James Hefford, Cole Comfort |
Coend Optics for Quantum Combs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Fifth International Conference on Applied Category Theory, ACT 2022, Glasgow, United Kingdom, 18-22 July 2022., pp. 63-76, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Elena Di Lavore, Pawel Sobocinski 0001 |
Monoidal Width: Capturing Rank Width. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Fifth International Conference on Applied Category Theory, ACT 2022, Glasgow, United Kingdom, 18-22 July 2022., pp. 268-283, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mario Román |
Promonads and String Diagrams for Effectful Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Fifth International Conference on Applied Category Theory, ACT 2022, Glasgow, United Kingdom, 18-22 July 2022., pp. 344-361, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Kohei Kishida (eds.) |
Proceedings of the Fourth International Conference on Applied Category Theory, ACT 2021, Cambridge, United Kingdom, 12-16th July 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Malin Altenmüller, Ross Duncan |
A Category of Surface-Embedded Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Fifth International Conference on Applied Category Theory, ACT 2022, Glasgow, United Kingdom, 18-22 July 2022., pp. 41-62, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ezra Schoen |
Lax Liftings and Lax Distributive Laws. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Fifth International Conference on Applied Category Theory, ACT 2022, Glasgow, United Kingdom, 18-22 July 2022., pp. 237-253, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Capucci |
Diegetic representation of feedback in open games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Fifth International Conference on Applied Category Theory, ACT 2022, Glasgow, United Kingdom, 18-22 July 2022., pp. 145-158, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Boisseau, Chad Nester, Mario Román |
Cornering Optics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Fifth International Conference on Applied Category Theory, ACT 2022, Glasgow, United Kingdom, 18-22 July 2022., pp. 97-110, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Amar Hadzihasanovic, Diana Kessler |
Data structures for topologically sound higher-dimensional diagram rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Fifth International Conference on Applied Category Theory, ACT 2022, Glasgow, United Kingdom, 18-22 July 2022., pp. 111-127, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Christian Williams, Michael Stay |
Native Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the Fourth International Conference on Applied Category Theory, ACT 2021, Cambridge, United Kingdom, 12-16th July 2021., pp. 116-132, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Cole Comfort, Aleks Kissinger |
A Graphical Calculus for Lagrangian Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the Fourth International Conference on Applied Category Theory, ACT 2021, Cambridge, United Kingdom, 12-16th July 2021., pp. 338-351, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Toby St Clere Smithe |
Polynomial Life: the Structure of Adaptive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the Fourth International Conference on Applied Category Theory, ACT 2021, Cambridge, United Kingdom, 12-16th July 2021., pp. 133-148, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | David I. Spivak |
Learners' languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the Fourth International Conference on Applied Category Theory, ACT 2021, Cambridge, United Kingdom, 12-16th July 2021., pp. 14-28, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Razin A. Shaikh, Lia Yeh, Benjamin Rodatz, Bob Coecke |
Composing Conversational Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the Fourth International Conference on Applied Category Theory, ACT 2021, Cambridge, United Kingdom, 12-16th July 2021., pp. 352-367, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dan Shiebler |
Functorial Manifold Learning and Overlapping Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the Fourth International Conference on Applied Category Theory, ACT 2021, Cambridge, United Kingdom, 12-16th July 2021., pp. 1-13, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Soichiro Fujii, Yuni Iwamasa, Kei Kimura |
Quantaloidal approach to constraint satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the Fourth International Conference on Applied Category Theory, ACT 2021, Cambridge, United Kingdom, 12-16th July 2021., pp. 289-305, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Fabrizio Romano Genovese, Fosco Loregiàn, Daniele Palombi |
A Categorical Semantics for Bounded Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the Fourth International Conference on Applied Category Theory, ACT 2021, Cambridge, United Kingdom, 12-16th July 2021., pp. 59-71, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Capucci, Neil Ghani, Jérémy Ledent, Fredrik Nordvall Forsberg |
Translating Extensive Form Games to Open Games with Agency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the Fourth International Conference on Applied Category Theory, ACT 2021, Cambridge, United Kingdom, 12-16th July 2021., pp. 221-234, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andrew M. Pitts, S. C. Steenkamp |
Constructing Initial Algebras Using Inflationary Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the Fourth International Conference on Applied Category Theory, ACT 2021, Cambridge, United Kingdom, 12-16th July 2021., pp. 88-102, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Boisseau, Pawel Sobocinski 0001 |
String Diagrammatic Electrical Circuit Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the Fourth International Conference on Applied Category Theory, ACT 2021, Cambridge, United Kingdom, 12-16th July 2021., pp. 178-191, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sean Tull |
A Categorical Semantics of Fuzzy Concepts in Conceptual Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the Fourth International Conference on Applied Category Theory, ACT 2021, Cambridge, United Kingdom, 12-16th July 2021., pp. 306-322, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jérémie Koenig |
Grounding Game Semantics in Categorical Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the Fourth International Conference on Applied Category Theory, ACT 2021, Cambridge, United Kingdom, 12-16th July 2021., pp. 368-383, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Simon Pacaud Lemay |
Jacobians and Gradients for Cartesian Differential Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the Fourth International Conference on Applied Category Theory, ACT 2021, Cambridge, United Kingdom, 12-16th July 2021., pp. 29-42, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Paul W. Wilson 0002, Fabio Zanasi |
The Cost of Compositionality: A High-Performance Implementation of String Diagram Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the Fourth International Conference on Applied Category Theory, ACT 2021, Cambridge, United Kingdom, 12-16th July 2021., pp. 262-275, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Behr, Joachim Kock |
Tracelet Hopf algebras and decomposition spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the Fourth International Conference on Applied Category Theory, ACT 2021, Cambridge, United Kingdom, 12-16th July 2021., pp. 323-337, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Chad Nester |
Situated Transition Sytems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the Fourth International Conference on Applied Category Theory, ACT 2021, Cambridge, United Kingdom, 12-16th July 2021., pp. 103-115, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | David I. Spivak, Jamie Vicary (eds.) |
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Brendan Fong, David Jaz Myers, David I. Spivak |
Behavioral Mereology: A Modal Logic for Passing Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020., pp. 276-288, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Evan Patterson, David I. Spivak, Dmitry Vagner |
Wiring diagrams as normal forms for computing in symmetric monoidal categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020., pp. 49-64, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Santocanale |
Dualizing sup-preserving endomaps of a complete lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020., pp. 335-346, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey S. H. Cruttwell, Jonathan Gallagher, Dorette Pronk |
Categorical semantics of a simple differential programming language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020., pp. 289-310, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Zamdzhiev |
Computational Adequacy for Substructural Lambda Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020., pp. 322-334, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Georgios Bakirtzis, Christina Vasilakopoulou, Cody H. Fleming |
Compositional Cyber-Physical Systems Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020., pp. 125-138, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gioele Zardini, David I. Spivak, Andrea Censi, Emilio Frazzoli |
A Compositional Sheaf-Theoretic Framework for Event-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020., pp. 139-153, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Toby St Clere Smithe |
Cyber Kittens, or Some First Steps Towards Categorical Cybernetics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020., pp. 108-124, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Swaraj Dash, Sam Staton |
A Monad for Probabilistic Point Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020., pp. 19-32, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger |
Proof Theory of Partially Normal Skew Monoidal Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020., pp. 230-246, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Spencer Breiner, John S. Nolan |
Symmetric Monoidal Categories with Attributes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020., pp. 33-48, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mario Román |
Open Diagrams via Coend Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020., pp. 65-78, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hyland, Christine Tasson |
The linear-non-linear substitution 2-monad. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020., pp. 215-229, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Paul W. Wilson 0002, Fabio Zanasi |
Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020., pp. 247-260, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | John Baez, Bob Coecke (eds.) |
Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Wilson, James Hefford, Guillaume Boisseau, Vincent Wang |
The Safari of Update Structures: Visiting the Lens and Quantum Enclosures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020., pp. 1-18, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Robert Atkey, Bruno Gavranovic, Neil Ghani, Clemens Kupke, Jérémy Ledent, Fredrik Nordvall Forsberg |
Compositional Game Theory, Compositionally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020., pp. 198-214, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Richard Statman |
Products in a Category with Only One Object. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020., pp. 347-353, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lachlan McPheat, Mehrnoosh Sadrzadeh, Hadi Wazni, Gijs Wijnholds |
Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020., pp. 168-182, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni de Felice, Elena Di Lavore, Mario Román, Alexis Toumi |
Functorial Language Games for Question Answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020., pp. 311-321, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Antonin Delpeuch |
A complete language for faceted dataflow programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019., pp. 1-14, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Pastor, Erwan Beurier, Andrée C. Ehresmann, Roger Waldeck |
Interfacing biology, category theory and mathematical statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019., pp. 136-148, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Brendan Fong, David I. Spivak |
String Diagrams for Regular Logic (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019., pp. 196-229, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Andre Knispel, Marco Perone, Erik Post, André Videla |
idris-ct: A Library to do Category Theory in Idris. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019., pp. 246-254, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Zamdzhiev |
Reflecting Algebraically Compact Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019., pp. 15-23, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Spencer Breiner, Blake S. Pollard, Eswaran Subrahmanian, Olivier Marie-Rose |
Modeling Hierarchical System with Operads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019., pp. 72-83, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Antonin Delpeuch |
Autonomization of Monoidal Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019., pp. 24-43, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | John C. Baez, Christian Williams |
Enriched Lawvere Theories for Operational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019., pp. 106-135, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni de Felice, Konstantinos Meichanetzidis, Alexis Toumi |
Montague Semantics for Lambek Pregroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019., pp. 84-94, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Philip Johnson-Freyd, Jon Aytac, Geoffrey C. Hulette |
Topos Semantics for a Higher-Order Temporal Logic of Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019., pp. 161-171, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Gavranovic |
Learning Functors using Gradient Descent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019., pp. 230-245, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | John S. Nolan, Blake S. Pollard, Spencer Breiner, Dhananjay Anand, Eswaran Subrahmanian |
Compositional Models for Power Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019., pp. 149-160, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Micah Halter, Christine Herlihy, James P. Fairbanks |
A Compositional Framework for Scientific Model Augmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019., pp. 172-182, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Behr |
Tracelets and Tracelet Analysis Of Compositional Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019., pp. 44-71, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg |
Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019., pp. 95-105, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|