| Publication | Date of Publication | Type |
|---|
| Dynamic Operads, Dynamic Categories: From Deep Learning to Prediction Markets | 2024-03-05 | Paper |
| Polynomial Functors and Shannon Entropy | 2024-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6153323 | 2024-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6193827 | 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 | 2022-12-12 | Paper |
| Categories as mathematical models | 2022-10-11 | Paper |
| Duoidal Structures for Compositional Dependence | 2022-10-04 | Paper |
| A Categorical Semantics for Guarded Petri Nets | 2022-09-01 | Paper |
| Fast Left Kan Extensions Using The Chase | 2022-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5019659 | 2022-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5019670 | 2022-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5019683 | 2022-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5019305 | 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 | 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 | 2020-04-29 | Paper |
| Dirichlet Functors are Contravariant Polynomial Functors | 2020-04-08 | Paper |
| Decomposition-space slices are toposes | 2020-04-07 | Paper |
| Dirichlet Polynomials form a Topos | 2020-03-10 | Paper |
| Dynamical systems and sheaves | 2020-03-05 | Paper |
| Memoryless systems generate the class of all discrete systems | 2020-02-03 | Paper |
| Algebraic Model Management: A Survey | 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 | 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 | 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 | 2017-12-12 | Paper |
| Backprop as Functor: A compositional perspective on supervised learning | 2017-11-28 | Paper |
| Homotopy composition of cospans | 2017-09-01 | Paper |
| Type Theoretical Databases | 2017-07-21 | 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 | 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 |
| 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 |
| https://portal.mardi4nfdi.de/entity/Q2933665 | 2014-12-05 | Paper |
| Experience Implementing a Performant Category-Theory Library in Coq | 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 | 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 |
| Rigidification of quasi-categories | 2011-01-17 | Paper |
| Mapping spaces in quasi-categories | 2011-01-17 | Paper |
| Derived smooth manifolds | 2010-06-07 | Paper |
| Anomaly-free sets of fermions | 2007-05-16 | Paper |
