research
∙
04/25/2023
Dynamic Tracing: a graphical language for rewriting protocols
The category Set_* of sets and partial functions is well-known to be tra...
share
research
∙
01/12/2023
Algebraic Model Management: A Survey
We survey the field of model management and describe a new model managem...
research
∙
05/08/2022
Dynamic categories, dynamic operads: From deep learning to prediction markets
Natural organized systems adapt to internal and external pressures and t...
research
∙
05/05/2022
Fast Left Kan Extensions Using The Chase
We show how computation of left Kan extensions can be reduced to computa...
research
∙
01/30/2022
Polynomial functors and Shannon entropy
Past work shows that one can associate a notion of Shannon entropy to a ...
research
∙
11/22/2021
Functorial aggregation
Aggregating data in a database could also be called "integrating along f...
research
∙
11/01/2021
Deep neural networks as nested dynamical systems
There is an analogy that is often made between deep neural networks and ...
research
∙
07/10/2021
Dirichlet polynomials and entropy
A Dirichlet polynomial d in one variable 𝓎 is a function of the form d(𝓎...
research
∙
03/01/2021
Learners' languages
In "Backprop as functor", the authors show that the fundamental elements...
research
∙
01/26/2021
Behavioral Mereology: A Modal Logic for Passing Constraints
Mereology is the study of parts and the relationships that hold between ...
research
∙
01/26/2021
Wiring diagrams as normal forms for computing in symmetric monoidal categories
Applications of category theory often involve symmetric monoidal categor...
research
∙
01/19/2021
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
The third annual International Applied Category Theory Conference (ACT20...
research
∙
05/24/2020
Monitoring and Diagnosability of Perception Systems
Perception is a critical component of high-integrity applications of rob...
research
∙
01/29/2020
A Categorical Semantics for Guarded Petri Nets
We build on the correspondence between Petri nets and frees ymmetric str...
research
∙
08/06/2019
Generalized Lens Categories via functors C^ op→Cat
Lenses have a rich history and have recently received a great deal of at...
research
∙
03/25/2019
Categorical Data Integration for Computational Science
Categorical Query Language is an open-source query and data integration ...
research
∙
12/14/2018
Graphical Regular Logic
Regular logic can be regarded as the internal language of regular catego...
research
∙
06/21/2018
Hypergraph Categories
Hypergraph categories have been rediscovered at least five times, under ...
research
∙
02/08/2018
Abstraction, Composition and Contracts: A Sheaf Theoretic Approach
Complex systems of systems (SoS) are characterized by multiple interconn...
research
∙
11/28/2017
Backprop as Functor: A compositional perspective on supervised learning
A supervised learning algorithm searches over a set of functions A → B p...
research
∙
02/09/2011