Stop the war!
Остановите войну!
for scientists:
default search action
4th ACT 2021: Cambridge, UK
- Kohei Kishida:
Proceedings of the Fourth International Conference on Applied Category Theory, ACT 2021, Cambridge, United Kingdom, 12-16th July 2021. EPTCS 372, 2022 - Dan Shiebler:
Functorial Manifold Learning and Overlapping Clustering. 1-13 - David I. Spivak:
Learners' languages. 14-28 - Jean-Simon Pacaud Lemay:
Jacobians and Gradients for Cartesian Differential Categories. 29-42 - John van de Wetering:
A Categorical Construction of the Real Unit Interval. 43-58 - Fabrizio Romano Genovese, Fosco Loregiàn, Daniele Palombi:
A Categorical Semantics for Bounded Petri Nets. 59-71 - Antonin Delpeuch, Jamie Vicary:
The Word Problem for Braided Monoidal Categories is Unknot-Hard. 72-87 - Andrew M. Pitts, S. C. Steenkamp:
Constructing Initial Algebras Using Inflationary Iteration. 88-102 - Chad Nester:
Situated Transition Sytems. 103-115 - Christian Williams, Michael Stay:
Native Type Theory. 116-132 - Toby St Clere Smithe:
Polynomial Life: the Structure of Adaptive Systems. 133-148 - Matthew Di Meglio:
Coequalisers under the Lens. 149-163 - Emma Chollet, Bryce Clarke, Michael Johnson, Maurine Songa, Vincent Wang, Gioele Zardini:
Limits and Colimits in a Category of Lenses. 164-177 - Guillaume Boisseau, Pawel Sobocinski:
String Diagrammatic Electrical Circuit Theory. 178-191 - Sophie Libkind, Andrew Baas, Evan Patterson, James P. Fairbanks:
Operadic Modeling of Dynamical Systems: Mathematics and Computation. 192-206 - J. Robin B. Cockett, Priyaa Varshinee Srinivasan:
Exponential Modalities and Complementarity (extended abstract). 207-220 - Matteo Capucci, Neil Ghani, Jérémy Ledent, Fredrik Nordvall Forsberg:
Translating Extensive Form Games to Open Games with Agency. 221-234 - Matteo Capucci, Bruno Gavranovic, Jules Hedges, Eigil Fjeldgren Rischel:
Towards Foundations of Categorical Cybernetics. 235-248 - Victoria Noquez, Lawrence S. Moss:
The Sierpinski Carpet as a Final Coalgebra. 249-261 - Paul W. Wilson, Fabio Zanasi:
The Cost of Compositionality: A High-Performance Implementation of String Diagram Composition. 262-275 - Brendan Fong, Alberto Speranzon, David I. Spivak:
Temporal Landscapes: A Graphical Logic of Behavior. 276-288 - Soichiro Fujii, Yuni Iwamasa, Kei Kimura:
Quantaloidal approach to constraint satisfaction. 289-305 - Sean Tull:
A Categorical Semantics of Fuzzy Concepts in Conceptual Spaces. 306-322 - Nicolas Behr, Joachim Kock:
Tracelet Hopf algebras and decomposition spaces. 323-337 - Cole Comfort, Aleks Kissinger:
A Graphical Calculus for Lagrangian Relations. 338-351 - Razin A. Shaikh, Lia Yeh, Benjamin Rodatz, Bob Coecke:
Composing Conversational Negation. 352-367 - Jérémie Koenig:
Grounding Game Semantics in Categorical Algebra. 368-383
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.