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. |
ACT |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Flavien Breuvart, Dylan McDermott, Tarmo Uustalu |
Canonical Gradings of Monads. |
ACT |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Leo Lobski, Fabio Zanasi |
String Diagrams for Layered Explanations. |
ACT |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Toby St Clere Smithe |
Open dynamical systems as coalgebras for polynomial functors, with application to predictive processing. |
ACT |
2022 |
DBLP DOI BibTeX RDF |
|
1 | John Baez, Xiaoyan Li, Sophie Libkind, Nathaniel Osgood, Evan Patterson |
Compositional Modeling with Stock and Flow Diagrams. |
ACT |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Steve Huntsman |
Magnitude and topological entropy of digraphs. |
ACT |
2022 |
DBLP DOI BibTeX RDF |
|
1 | David I. Spivak |
Polynomial functors and Shannon entropy. |
ACT |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Vertechi |
Dependent Optics. |
ACT |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Censi, Emilio Frazzoli, Jonathan Lorand, Gioele Zardini |
Categorification of Negative Information using Enrichment. |
ACT |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Brandon Shapiro, David I. Spivak |
Dynamic categories, dynamic operads: From deep learning to prediction markets. |
ACT |
2022 |
DBLP DOI BibTeX RDF |
|
1 | James Hefford, Cole Comfort |
Coend Optics for Quantum Combs. |
ACT |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Elena Di Lavore, Pawel Sobocinski 0001 |
Monoidal Width: Capturing Rank Width. |
ACT |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mario Román |
Promonads and String Diagrams for Effectful Categories. |
ACT |
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. |
ACT |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Malin Altenmüller, Ross Duncan |
A Category of Surface-Embedded Graphs. |
ACT |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ezra Schoen |
Lax Liftings and Lax Distributive Laws. |
ACT |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Capucci |
Diegetic representation of feedback in open games. |
ACT |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Boisseau, Chad Nester, Mario Román |
Cornering Optics. |
ACT |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Amar Hadzihasanovic, Diana Kessler |
Data structures for topologically sound higher-dimensional diagram rewriting. |
ACT |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Christian Williams, Michael Stay |
Native Type Theory. |
ACT |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Cole Comfort, Aleks Kissinger |
A Graphical Calculus for Lagrangian Relations. |
ACT |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Toby St Clere Smithe |
Polynomial Life: the Structure of Adaptive Systems. |
ACT |
2021 |
DBLP DOI BibTeX RDF |
|
1 | David I. Spivak |
Learners' languages. |
ACT |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Razin A. Shaikh, Lia Yeh, Benjamin Rodatz, Bob Coecke |
Composing Conversational Negation. |
ACT |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dan Shiebler |
Functorial Manifold Learning and Overlapping Clustering. |
ACT |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Soichiro Fujii, Yuni Iwamasa, Kei Kimura |
Quantaloidal approach to constraint satisfaction. |
ACT |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Fabrizio Romano Genovese, Fosco Loregiàn, Daniele Palombi |
A Categorical Semantics for Bounded Petri Nets. |
ACT |
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. |
ACT |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andrew M. Pitts, S. C. Steenkamp |
Constructing Initial Algebras Using Inflationary Iteration. |
ACT |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Boisseau, Pawel Sobocinski 0001 |
String Diagrammatic Electrical Circuit Theory. |
ACT |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sean Tull |
A Categorical Semantics of Fuzzy Concepts in Conceptual Spaces. |
ACT |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jérémie Koenig |
Grounding Game Semantics in Categorical Algebra. |
ACT |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Simon Pacaud Lemay |
Jacobians and Gradients for Cartesian Differential Categories. |
ACT |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Paul W. Wilson 0002, Fabio Zanasi |
The Cost of Compositionality: A High-Performance Implementation of String Diagram Composition. |
ACT |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Behr, Joachim Kock |
Tracelet Hopf algebras and decomposition spaces. |
ACT |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Chad Nester |
Situated Transition Sytems. |
ACT |
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. |
ACT |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Brendan Fong, David Jaz Myers, David I. Spivak |
Behavioral Mereology: A Modal Logic for Passing Constraints. |
ACT |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Evan Patterson, David I. Spivak, Dmitry Vagner |
Wiring diagrams as normal forms for computing in symmetric monoidal categories. |
ACT |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Santocanale |
Dualizing sup-preserving endomaps of a complete lattice. |
ACT |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey S. H. Cruttwell, Jonathan Gallagher, Dorette Pronk |
Categorical semantics of a simple differential programming language. |
ACT |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Zamdzhiev |
Computational Adequacy for Substructural Lambda Calculi. |
ACT |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Georgios Bakirtzis, Christina Vasilakopoulou, Cody H. Fleming |
Compositional Cyber-Physical Systems Modeling. |
ACT |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gioele Zardini, David I. Spivak, Andrea Censi, Emilio Frazzoli |
A Compositional Sheaf-Theoretic Framework for Event-Based Systems. |
ACT |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Toby St Clere Smithe |
Cyber Kittens, or Some First Steps Towards Categorical Cybernetics. |
ACT |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Swaraj Dash, Sam Staton |
A Monad for Probabilistic Point Processes. |
ACT |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger |
Proof Theory of Partially Normal Skew Monoidal Categories. |
ACT |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Spencer Breiner, John S. Nolan |
Symmetric Monoidal Categories with Attributes. |
ACT |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mario Román |
Open Diagrams via Coend Calculus. |
ACT |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hyland, Christine Tasson |
The linear-non-linear substitution 2-monad. |
ACT |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Paul W. Wilson 0002, Fabio Zanasi |
Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits. |
ACT |
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. |
ACT |
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. |
ACT |
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. |
ACT |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Richard Statman |
Products in a Category with Only One Object. |
ACT |
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). |
ACT |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni de Felice, Elena Di Lavore, Mario Román, Alexis Toumi |
Functorial Language Games for Question Answering. |
ACT |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Antonin Delpeuch |
A complete language for faceted dataflow programs. |
ACT |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Pastor, Erwan Beurier, Andrée C. Ehresmann, Roger Waldeck |
Interfacing biology, category theory and mathematical statistics. |
ACT |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Brendan Fong, David I. Spivak |
String Diagrams for Regular Logic (Extended Abstract). |
ACT |
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. |
ACT |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Zamdzhiev |
Reflecting Algebraically Compact Functors. |
ACT |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Spencer Breiner, Blake S. Pollard, Eswaran Subrahmanian, Olivier Marie-Rose |
Modeling Hierarchical System with Operads. |
ACT |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Antonin Delpeuch |
Autonomization of Monoidal Categories. |
ACT |
2019 |
DBLP DOI BibTeX RDF |
|
1 | John C. Baez, Christian Williams |
Enriched Lawvere Theories for Operational Semantics. |
ACT |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni de Felice, Konstantinos Meichanetzidis, Alexis Toumi |
Montague Semantics for Lambek Pregroups. |
ACT |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Philip Johnson-Freyd, Jon Aytac, Geoffrey C. Hulette |
Topos Semantics for a Higher-Order Temporal Logic of Actions. |
ACT |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Gavranovic |
Learning Functors using Gradient Descent. |
ACT |
2019 |
DBLP DOI BibTeX RDF |
|
1 | John S. Nolan, Blake S. Pollard, Spencer Breiner, Dhananjay Anand, Eswaran Subrahmanian |
Compositional Models for Power Systems. |
ACT |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Micah Halter, Christine Herlihy, James P. Fairbanks |
A Compositional Framework for Scientific Model Augmentation. |
ACT |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Behr |
Tracelets and Tracelet Analysis Of Compositional Rewriting Systems. |
ACT |
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. |
ACT |
2019 |
DBLP DOI BibTeX RDF |
|