David I. Spivak

CoRR, 2023

2022

Fast Left Kan Extensions Using the Chase.

[BibT_eX]

[DOI]

Joshua Meyers

J. Autom. Reason., 2022

Dynamic categories, dynamic operads: From deep learning to prediction markets.

[BibT_eX]

[DOI]

Brandon Shapiro

Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022

Polynomial functors and Shannon entropy.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022

2021

Dirichlet Polynomials and Entropy.

[BibT_eX]

[DOI]

Timothy Hosgood

Entropy, 2021

Functorial aggregation.

[BibT_eX]

[DOI]

CoRR, 2021

Deep neural networks as nested dynamical systems.

[BibT_eX]

[DOI]

Timothy Hosgood

CoRR, 2021

Learners' languages.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Applied Category Theory, 2021

Monitoring and Diagnosability of Perception Systems.

[BibT_eX]

[DOI]

Pasquale Antonante

Luca Carlone

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

2020

Type theoretical databases.

[BibT_eX]

[DOI]

Henrik Forssell

Håkon Robbestad Gylterud

J. Log. Comput., 2020

Wiring diagrams as normal forms for computing in symmetric monoidal categories.

[BibT_eX]

[DOI]

Evan Patterson

Dmitry Vagner

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

Behavioral Mereology: A Modal Logic for Passing Constraints.

[BibT_eX]

[DOI]

David Jaz Myers

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

A Compositional Sheaf-Theoretic Framework for Event-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

Dynamical Systems and Sheaves.

[BibT_eX]

[DOI]

Christina Vasilakopoulou

Appl. Categorical Struct., 2020

A Categorical Semantics for Guarded Petri Nets.

[BibT_eX]

[DOI]

Fabrizio Genovese

Proceedings of the Graph Transformation - 13th International Conference, 2020

2019

Memoryless Systems Generate the Class of all Discrete Systems.

[BibT_eX]

[DOI]

Erwan Beurier

Dominique Pastor

Int. J. Math. Math. Sci., 2019

String Diagrams for Regular Logic (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Proceedings Applied Category Theory 2019, 2019

Generalized Lens Categories via functors C<sup>op</sup> → Cat.

[BibT_eX]

[DOI]

CoRR, 2019

Categorical Data Integration for Computational Science.

[BibT_eX]

[DOI]

Kristopher Brown

CoRR, 2019

Backprop as Functor: A compositional perspective on supervised learning.

[BibT_eX]

[DOI]

Rémy Tuyéras

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018

Graphical Regular Logic.

[BibT_eX]

[DOI]

CoRR, 2018

Hypergraph Categories.

[BibT_eX]

[DOI]

CoRR, 2018

Abstraction, Composition and Contracts: A Sheaf Theoretic Approach.

[BibT_eX]

[DOI]

Alberto Speranzon

Srivatsan Varadarajan

CoRR, 2018

2017

Using Category Theory to Facilitate Multiple Manufacturing Service Database Integration.

[BibT_eX]

[DOI]

J. Comput. Inf. Sci. Eng., 2017

Nesting of dynamical systems and mode-dependent networks.

[BibT_eX]

[DOI]

Joshua Tan

J. Complex Networks, 2017

2016

Algebraic Databases.

[BibT_eX]

[DOI]

Christina Vasilakopoulou

CoRR, 2016

Homotopy composition of cospans.

[BibT_eX]

[DOI]

Joachim Kock

CoRR, 2016

Algebraic Model Management: A Survey.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

Workshop on Topology and Abstract Algebra for Biomedicine.

[BibT_eX]

[DOI]

Proceedings of the Biocomputing 2016: Proceedings of the Pacific Symposium, 2016

Pixel matrices: An elementary technique for solving nonlinear systems.

[BibT_eX]

[DOI]

Dominique Ernadote

Omar Hammammi

Proceedings of the IEEE International Symposium on Systems Engineering, 2016

2015

Functorial Data Migration: From Theory to Practice.

[BibT_eX]

[DOI]

CoRR, 2015

A Purely Equational Formalism for Functorial Data Migration.

[BibT_eX]

[DOI]

CoRR, 2015

QINL: Query-integrated Languages.

[BibT_eX]

[DOI]

CoRR, 2015

Relational foundations for functorial data migration.

[BibT_eX]

[DOI]

Proceedings of the 15th Symposium on Database Programming Languages, 2015

2014

Database queries and constraints via lifting problems.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2014

Experience Implementing a Performant Category-Theory Library in Coq.

[BibT_eX]

[DOI]

Jason Gross

Adam Chlipala

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

Category Theory for the Sciences

[BibT_eX]

[DOI]

MIT Press, ISBN: 9780262320511, 2014

2013

The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits

[BibT_eX]

[DOI]

CoRR, 2013

The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes.

[BibT_eX]

[DOI]

Dylan Rupel

CoRR, 2013

2012

Functorial data migration.

[BibT_eX]

[DOI]

Inf. Comput., 2012

Kleisli Database Instances

[BibT_eX]

[DOI]

CoRR, 2012

2011

Ologs: a categorical framework for knowledge representation

[BibT_eX]

[DOI]

CoRR, 2011

2010

Table manipulation in simplicial databases

[BibT_eX]

[DOI]

CoRR, 2010

2009

Higher-dimensional models of networks

[BibT_eX]

[DOI]

CoRR, 2009

Simplicial Databases

[BibT_eX]

[DOI]