| Publication | Date of Publication | Type |
|---|
| 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 |
| 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 |
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 | 2022-01-10 | Paper |
Wiring diagrams as normal forms for computing in symmetric monoidal categories
(available as arXiv preprint) | 2022-01-10 | Paper |
| A compositional sheaf-theoretic framework for event-based systems | 2022-01-10 | Paper |
A compositional sheaf-theoretic framework for event-based systems
(available as arXiv preprint) | 2022-01-10 | Paper |
| scientific article; zbMATH DE number 7454909 (Why is no real title available?) | 2022-01-10 | Paper |
scientific article; zbMATH DE number 7454909 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-10 | Paper |
| String diagrams for regular logic (extended abstract) | 2022-01-07 | Paper |
String diagrams for regular logic (extended abstract)
(available as arXiv preprint) | 2022-01-07 | 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 |
| 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 |
| 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 |
| 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 |
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 | 2017-05-10 | Paper |
Algebraic databases
(available as arXiv preprint) | 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 |
| Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams | 2015-12-14 | Paper |
Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams
(available as arXiv preprint) | 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 |
| 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 |
| Relational Foundations For Functorial Data Migration | 2012-12-20 | Paper |
Functorial data migration
Information and Computation | 2012-10-11 | Paper |
| Kleisli Database Instances | 2012-09-05 | Paper |
| Reoccurring patterns in hierarchical protein materials and music: The power of analogies | 2011-11-22 | Paper |
Mapping spaces in quasi-categories
Algebraic & Geometric Topology | 2011-01-17 | Paper |
Rigidification of quasi-categories
Algebraic & Geometric Topology | 2011-01-17 | Paper |
Derived smooth manifolds
Duke Mathematical Journal | 2010-06-07 | Paper |
Anomaly-free sets of fermions
Journal of Mathematical Physics | 2007-05-16 | Paper |
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 |
