Login / Signup
ACT
2019
2023
2019
2023
Keyphrases
Publications
2023
J. Robin B. Cockett
,
Amolak Ratan Kalra
,
Priyaa Varshinee Srinivasan
Normalizing Resistor Networks.
ACT
(2023)
Chiara Sarti
,
Jamie Vicary
Posetal Diagrams for Logically-Structured Semistrict Higher Categories.
ACT
(2023)
Evan Patterson
Structured and Decorated Cospans from the Viewpoint of Double Category Theory.
ACT
(2023)
Stefano Gogioso
,
Vincent Wang-Mascianica
,
Muhammad Hamza Waseem
,
Carlo Maria Scandolo
,
Bob Coecke
Constructor Theory as Process Theory.
ACT
(2023)
Nathaniel Virgo
Unifilar Machines and the Adjoint Structure of Bayesian Filtering.
ACT
(2023)
Dylan Braithwaite
,
Mario Román
Collages of String Diagrams.
ACT
(2023)
Joseph Dorta
,
Samantha Jarvis
,
Nelson Niu
Monoidal Structures on Generalized Polynomial Categories.
ACT
(2023)
Bryce Clarke
The Algebraic Weak Factorisation System for Delta Lenses.
ACT
(2023)
Toby St Clere Smithe
Approximate Inference via Fibrations of Statistical Games.
ACT
(2023)
volume 380, 2023
Proceedings Fifth International Conference on Applied Category Theory, ACT 2022, Glasgow, United Kingdom, 18-22 July 2022.
ACT
380 (2023)
2022
James Hefford
,
Aleks Kissinger
On the Pre- and Promonoidal Structure of Spacetime.
ACT
(2022)
Jules Hedges
,
Riu Rodríguez Sakamoto
Value Iteration is Optic Composition.
ACT
(2022)
Ezra Schoen
Lax Liftings and Lax Distributive Laws.
ACT
(2022)
Lingyuan Ye
Unification of Modal Logic via Topological Categories.
ACT
(2022)
Flavien Breuvart
,
Dylan McDermott
,
Tarmo Uustalu
Canonical Gradings of Monads.
ACT
(2022)
J. Robin B. Cockett
,
Isabelle Jianing Geng
,
Carlo Maria Scandolo
,
Priyaa Varshinee Srinivasan
Extending Resource Monotones using Kan Extensions.
ACT
(2022)
Matthew Di Meglio
Universal Properties of Lens Proxy Pullbacks.
ACT
(2022)
Fosco Loregiàn
,
Todd Trimble
Differential 2-rigs.
ACT
(2022)
Fabrizio Romano Genovese
,
Fosco Loregiàn
,
Caterina Puca
Fibrational Linguistics (FibLang): Language Acquisition.
ACT
(2022)
2021
Victoria Noquez
,
Lawrence S. Moss
The Sierpinski Carpet as a Final Coalgebra.
ACT
(2021)
Matteo Capucci
,
Bruno Gavranovic
,
Jules Hedges
,
Eigil Fjeldgren Rischel
Towards Foundations of Categorical Cybernetics.
ACT
(2021)
Brendan Fong
,
Alberto Speranzon
,
David I. Spivak
Temporal Landscapes: A Graphical Logic of Behavior.
ACT
(2021)
Matthew Di Meglio
Coequalisers under the Lens.
ACT
(2021)
Antonin Delpeuch
,
Jamie Vicary
The Word Problem for Braided Monoidal Categories is Unknot-Hard.
ACT
(2021)
Emma Chollet
,
Bryce Clarke
,
Michael Johnson
,
Maurine Songa
,
Vincent Wang
,
Gioele Zardini
Limits and Colimits in a Category of Lenses.
ACT
(2021)
John van de Wetering
A Categorical Construction of the Real Unit Interval.
ACT
(2021)
Sophie Libkind
,
Andrew Baas
,
Evan Patterson
,
James P. Fairbanks
Operadic Modeling of Dynamical Systems: Mathematics and Computation.
ACT
(2021)
volume 333, 2021
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020.
ACT
333 (2021)
2020
Robert Atkey
,
Bruno Gavranovic
,
Neil Ghani
,
Clemens Kupke
,
Jérémy Ledent
,
Fredrik Nordvall Forsberg
Compositional Game Theory, Compositionally.
ACT
(2020)
Georgios Bakirtzis
,
Christina Vasilakopoulou
,
Cody Harrison Fleming
Compositional Cyber-Physical Systems Modeling.
ACT
(2020)
Richard Statman
Products in a Category with Only One Object.
ACT
(2020)
Gioele Zardini
,
David I. Spivak
,
Andrea Censi
,
Emilio Frazzoli
A Compositional Sheaf-Theoretic Framework for Event-Based Systems.
ACT
(2020)
Lachlan McPheat
,
Mehrnoosh Sadrzadeh
,
Hadi Wazni
,
Gijs Wijnholds
Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality (Extended Abstract).
ACT
(2020)
Toby St Clere Smithe
Cyber Kittens, or Some First Steps Towards Categorical Cybernetics.
ACT
(2020)
Giovanni de Felice
,
Elena Di Lavore
,
Mario Román
,
Alexis Toumi
Functorial Language Games for Question Answering.
ACT
(2020)
Swaraj Dash
,
Sam Staton
A Monad for Probabilistic Point Processes.
ACT
(2020)
Tarmo Uustalu
,
Niccolò Veltri
,
Noam Zeilberger
Proof Theory of Partially Normal Skew Monoidal Categories.
ACT
(2020)
David Jaz Myers
Double Categories of Open Dynamical Systems (Extended Abstract).
ACT
(2020)
Spencer Breiner
,
John S. Nolan
Symmetric Monoidal Categories with Attributes.
ACT
(2020)
Bryce Clarke
A diagrammatic approach to symmetric lenses.
ACT
(2020)
Bryce Clarke
Internal lenses as functors and cofunctors.
ACT
(2020)
Brendan Fong
,
David Jaz Myers
,
David I. Spivak
Behavioral Mereology: A Modal Logic for Passing Constraints.
ACT
(2020)
Henry Adams
,
Johnathan Bush
,
Joshua Mirth
Operations on Metric Thickenings.
ACT
(2020)
Evan Patterson
,
David I. Spivak
,
Dmitry Vagner
Wiring diagrams as normal forms for computing in symmetric monoidal categories.
ACT
(2020)
Giovanni de Felice
,
Alexis Toumi
,
Bob Coecke
DisCoPy: Monoidal Categories in Python.
ACT
(2020)
Michael Johnson
,
Robert D. Rosebrugh
The more legs the merrier: A new composition for symmetric (multi-)lenses.
ACT
(2020)
Mario Román
Open Diagrams via Coend Calculus.
ACT
(2020)
Martin Hyland
,
Christine Tasson
The linear-non-linear substitution 2-monad.
ACT
(2020)
Luigi Santocanale
Dualizing sup-preserving endomaps of a complete lattice.
ACT
(2020)
volume 323, 2020
Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019.
ACT
323 (2020)