| Publication | Date of Publication | Type |
|---|
Category theoretic analysis of hierarchical protein materials and social networks
(available as arXiv preprint) | N/A | Paper |
A reference for categorical structures on $\mathbf{Poly}$
(available as arXiv preprint) | N/A | Paper |
Algebraic Model Management: A Survey
(available as arXiv preprint) | N/A | Paper |
WITHDRAWN: Pixel matrices: An elementary technique for solving nonlinear systems
(available as arXiv preprint) | N/A | Paper |
Organizing Physics with Open Energy-Driven Systems
(available as arXiv preprint) | N/A | Paper |
Pattern runs on matter: The free monad monad as a module over the cofree comonad comonad
(available as arXiv preprint) | N/A | Paper |
| Polynomial universes in homotopy type theory | 2026-08-11 | Paper |
What kind of linearly distributive category do polynomial functors form?
Theory and Applications of Categories | 2026-07-31 | Paper |
Interactions that reshape the interfaces of the interacting parties
(available as arXiv preprint) | 2026-01-01 | Paper |
Compositional Dynamics in Learning and Mechanics
(available as arXiv preprint) | 2026-01-01 | Paper |
Comonads as spaces
(available as arXiv preprint) | 2026-01-01 | Paper |
Polynomial functors. A mathematical theory of interaction
London Mathematical Society Lecture Note Series | 2025-08-25 | Paper |
Functorial aggregation
Journal of Pure and Applied Algebra | 2025-03-26 | Paper |
Categories by Kan extension
(available as arXiv preprint) | 2025-01-01 | Paper |
The compact double category $\mathbf{Int}(\mathbf{Poly}_*)$ models control flow and data transformations
(available as arXiv preprint) | 2025-01-01 | Paper |
| Backprop as functor. A compositional perspective on supervised learning | 2024-12-19 | Paper |
Dynamic Operads, Dynamic Categories: From Deep Learning to Prediction Markets
Electronic Proceedings in Theoretical Computer Science | 2024-03-05 | Paper |
Polynomial Functors and Shannon Entropy
Electronic Proceedings in Theoretical Computer Science | 2024-03-05 | Paper |
Learners' languages
(available as arXiv preprint) | 2024-02-13 | Paper |
| Learners' languages | 2024-02-13 | Paper |
Temporal landscapes: a graphical logic of behavior
(available as arXiv preprint) | 2024-02-13 | Paper |
| Temporal landscapes: a graphical logic of behavior | 2024-02-13 | Paper |
A Polynomial Construction of Nerves for Higher Categories
(available as arXiv preprint) | 2024-01-01 | Paper |
What kind of linearly distributive category do polynomial functors form?
(available as arXiv preprint) | 2024-01-01 | Paper |
Polynomial Universes and Dependent Types
(available as arXiv preprint) | 2024-01-01 | Paper |
WITHDRAWN: Dynamic task delegation for hierarchical agents
(available as arXiv preprint) | 2024-01-01 | Paper |
| Polynomial Functors: A Mathematical Theory of Interaction | 2023-12-01 | Paper |
| All Concepts are $\mathbb{C}\mathbf{at}^\#$ | 2023-05-04 | Paper |
| Structures on Categories of Polynomials | 2023-04-29 | Paper |
| Dynamic Tracing: a graphical language for rewriting protocols | 2023-04-24 | Paper |
Dynamic Tracing: a graphical language for rewriting protocols
(available as arXiv preprint) | 2023-01-01 | Paper |
Structures on Categories of Polynomials
(available as arXiv preprint) | 2023-01-01 | Paper |
All Concepts are $\mathbb{C}\mathbf{at}^\#$
(available as arXiv preprint) | 2023-01-01 | Paper |
Fast left Kan extensions using the chase
Journal of Automated Reasoning | 2022-12-12 | Paper |
Categories as mathematical models
(available as arXiv preprint) | 2022-10-11 | Paper |
| Duoidal Structures for Compositional Dependence | 2022-10-04 | Paper |
A categorical semantics for guarded Petri nets
Graph Transformation | 2022-09-01 | Paper |
Fast Left Kan Extensions Using The Chase
(available as arXiv preprint) | 2022-05-04 | Paper |
Wiring diagrams as normal forms for computing in symmetric monoidal categories
(available as arXiv preprint) | 2022-01-10 | Paper |
| Wiring diagrams as normal forms for computing in symmetric monoidal categories | 2022-01-10 | Paper |
A compositional sheaf-theoretic framework for event-based systems
(available as arXiv preprint) | 2022-01-10 | Paper |
| A compositional sheaf-theoretic framework for event-based systems | 2022-01-10 | Paper |
scientific article; zbMATH DE number 7454909 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-10 | Paper |
| scientific article; zbMATH DE number 7454909 (Why is no real title available?) | 2022-01-10 | Paper |
String diagrams for regular logic (extended abstract)
(available as arXiv preprint) | 2022-01-07 | Paper |
| String diagrams for regular logic (extended abstract) | 2022-01-07 | Paper |
Duoidal Structures for Compositional Dependence
(available as arXiv preprint) | 2022-01-01 | Paper |
| Collectives: Compositional protocols for contributions and returns | 2021-12-21 | Paper |
| Functorial aggregation | 2021-11-21 | Paper |
| Regular Calculi I: Graphical Regular Logic | 2021-09-28 | Paper |
| Dirichlet polynomials and entropy | 2021-07-10 | Paper |
Nesting of dynamical systems and mode-dependent networks
Journal of Complex Networks | 2021-04-22 | Paper |
Dirichlet polynomials and entropy
(available as arXiv preprint) | 2021-01-01 | Paper |
Regular Calculi I: Graphical Regular Logic
(available as arXiv preprint) | 2021-01-01 | Paper |
Collectives: Compositional protocols for contributions and returns
(available as arXiv preprint) | 2021-01-01 | Paper |
| A Compositional Sheaf-Theoretic Framework for Event-Based Systems (Extended Version) | 2020-05-10 | Paper |
| Poly: An abundant categorical setting for mode-dependent dynamics | 2020-05-04 | Paper |
Type theoretical databases
Journal Of Logic And Computation | 2020-04-29 | Paper |
| Dirichlet Functors are Contravariant Polynomial Functors | 2020-04-08 | Paper |
Decomposition-space slices are toposes
Proceedings of the American Mathematical Society | 2020-04-07 | Paper |
| Dirichlet Polynomials form a Topos | 2020-03-10 | Paper |
Dynamical systems and sheaves
Applied Categorical Structures | 2020-03-05 | Paper |
Memoryless systems generate the class of all discrete systems
International Journal of Mathematics and Mathematical Sciences | 2020-02-03 | Paper |
Algebraic Model Management: A Survey
Recent Trends in Algebraic Development Techniques | 2020-01-16 | Paper |
Dirichlet Functors are Contravariant Polynomial Functors
(available as arXiv preprint) | 2020-01-01 | Paper |
Poly: An abundant categorical setting for mode-dependent dynamics
(available as arXiv preprint) | 2020-01-01 | Paper |
| Regular and relational categories: Revisiting 'Cartesian bicategories I' | 2019-08-30 | Paper |
| Supplying bells and whistles in symmetric monoidal categories | 2019-08-07 | Paper |
| Generalized Lens Categories via functors $\mathcal{C}^{\rm op}\to\mathsf{Cat}$ | 2019-08-06 | Paper |
Hypergraph categories
Journal of Pure and Applied Algebra | 2019-07-03 | Paper |
| An Invitation to Applied Category Theory | 2019-06-13 | Paper |
Regular and relational categories: Revisiting 'Cartesian bicategories I'
(available as arXiv preprint) | 2019-01-01 | Paper |
Supplying bells and whistles in symmetric monoidal categories
(available as arXiv preprint) | 2019-01-01 | Paper |
Generalized Lens Categories via functors $\mathcal{C}^{\rm op}\to\mathsf{Cat}$
(available as arXiv preprint) | 2019-01-01 | Paper |
| Graphical Regular Logic | 2018-12-13 | Paper |
| Behavioral Mereology (Proofs and Properties) | 2018-11-01 | Paper |
Temporal type theory. A topos-theoretic approach to systems and behavior
Progress in Computer Science and Applied Logic | 2018-10-04 | Paper |
| Evaluating the Pixel Array Method as Applied to Partial Differential Equations | 2018-08-05 | Paper |
| Seven Sketches in Compositionality: An Invitation to Applied Category Theory | 2018-03-14 | Paper |
Seven Sketches in Compositionality: An Invitation to Applied Category Theory
(available as arXiv preprint) | 2018-01-01 | Paper |
Evaluating the Pixel Array Method as Applied to Partial Differential Equations
(available as arXiv preprint) | 2018-01-01 | Paper |
Graphical Regular Logic
(available as arXiv preprint) | 2018-01-01 | Paper |
String diagrams for traced and compact categories are oriented 1-cobordisms
Journal of Pure and Applied Algebra | 2017-12-12 | Paper |
| Backprop as Functor: A compositional perspective on supervised learning | 2017-11-28 | Paper |
Homotopy composition of cospans
Communications in Contemporary Mathematics | 2017-09-01 | Paper |
Type theoretical databases
Logical Foundations of Computer Science | 2017-07-21 | Paper |
Type theoretical databases
Logical Foundations of Computer Science | 2017-07-21 | Paper |
Algebraic databases
(available as arXiv preprint) | 2017-05-10 | Paper |
| Algebraic databases | 2017-05-10 | Paper |
| Pixel Arrays: A fast and elementary method for solving nonlinear systems | 2016-08-31 | Paper |
Database queries and constraints via lifting problems
Mathematical Structures in Computer Science | 2016-07-26 | Paper |
| An algebra of open continuous time dynamical systems and networks | 2016-02-02 | Paper |
WITHDRAWN: An algebra of open continuous time dynamical systems and networks
(available as arXiv preprint) | 2016-01-01 | Paper |
Pixel Arrays: A fast and elementary method for solving nonlinear systems
(available as arXiv preprint) | 2016-01-01 | Paper |
Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams
(available as arXiv preprint) | 2015-12-14 | Paper |
| Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams | 2015-12-14 | Paper |
| The steady states of coupled dynamical systems compose according to matrix arithmetic | 2015-12-02 | Paper |
| Toward formalizing ologs: Linguistic structures, instantiations, and mappings | 2015-03-28 | Paper |
Toward formalizing ologs: Linguistic structures, instantiations, and mappings
(available as arXiv preprint) | 2015-01-01 | Paper |
The steady states of coupled dynamical systems compose according to matrix arithmetic
(available as arXiv preprint) | 2015-01-01 | Paper |
| scientific article; zbMATH DE number 6377175 (Why is no real title available?) | 2014-12-05 | Paper |
Experience implementing a performant category-theory library in Coq
Interactive Theorem Proving | 2014-09-08 | Paper |
| The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes | 2013-07-25 | Paper |
| The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits | 2013-05-01 | Paper |
| Category theory for scientists (Old version) | 2013-02-27 | Paper |
Category theory for scientists (Old version)
(available as arXiv preprint) | 2013-01-01 | Paper |
The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits
(available as arXiv preprint) | 2013-01-01 | Paper |
The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes
(available as arXiv preprint) | 2013-01-01 | Paper |
| Relational Foundations For Functorial Data Migration | 2012-12-20 | Paper |
