
Dirichlet polynomials and entropy
A Dirichlet polynomial d in one variable π is a function of the form d(π...
read it

Learners' languages
In "Backprop as functor", the authors show that the fundamental elements...
read it

Behavioral Mereology: A Modal Logic for Passing Constraints
Mereology is the study of parts and the relationships that hold between ...
read it

Wiring diagrams as normal forms for computing in symmetric monoidal categories
Applications of category theory often involve symmetric monoidal categor...
read it

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
The third annual International Applied Category Theory Conference (ACT20...
read it

Monitoring and Diagnosability of Perception Systems
Perception is a critical component of highintegrity applications of rob...
read it

A Categorical Semantics for Guarded Petri Nets
We build on the correspondence between Petri nets and frees ymmetric str...
read it

Generalized Lens Categories via functors C^ opβCat
Lenses have a rich history and have recently received a great deal of at...
read it

Categorical Data Integration for Computational Science
Categorical Query Language is an opensource query and data integration ...
read it

Graphical Regular Logic
Regular logic can be regarded as the internal language of regular catego...
read it

Hypergraph Categories
Hypergraph categories have been rediscovered at least five times, under ...
read it

Abstraction, Composition and Contracts: A Sheaf Theoretic Approach
Complex systems of systems (SoS) are characterized by multiple interconn...
read it

Backprop as Functor: A compositional perspective on supervised learning
A supervised learning algorithm searches over a set of functions A β B p...
read it

Ologs: a categorical framework for knowledge representation
In this paper we introduce the olog, or ontology log, a categorytheoret...
read it
David I. Spivak
is this you? claim profile