🏛️ The Category Theory Crypt

🔮 🔮 The Ethereal

Backprop as Functor: A compositional perspective on supervised learning

Brendan Fong, David I. Spivak, Rémy Tuyéras

math.CT 🏛 Logic in Computer Science 📚 118 cites 8 years ago

🔮 🔮 The Ethereal

Algebraic Databases

Patrick Schultz, David I. Spivak, ... (+2 more)

math.CT 🏛 Theory and Applications of Categories 📚 35 cites 10 years ago

🔮 🔮 The Ethereal

Open Diagrams via Coend Calculus

Mario Román

math.CT 🏛 ACT 📚 23 cites 5 years ago

🔮 🔮 The Ethereal

Executions in (Semi-)Integer Petri Nets are Compact Closed Categories

Fabrizio Genovese, Jelle Herold

math.CT 🏛 QPL 📚 15 cites 7 years ago

🔮 🔮 The Ethereal

Compositional Scientific Computing with Catlab and SemanticModels

Micah Halter, Evan Patterson, ... (+2 more)

math.CT 🏛 arXiv 📚 14 cites 5 years ago

🔮 🔮 The Ethereal

Computational Petri Nets: Adjunctions Considered Harmful

Fabrizio Genovese, Alex Gryzlov, ... (+4 more)

math.CT 🏛 arXiv 📚 14 cites 6 years ago

🔮 🔮 The Ethereal

Formal composition of hybrid systems

Jared Culbertson, Paul Gustafson, ... (+2 more)

math.CT 🏛 Theory and Applications of Categories 📚 11 cites 6 years ago

🔮 🔮 The Ethereal

Higher-dimensional subdiagram matching

Amar Hadzihasanovic, Diana Kessler

math.CT 🏛 Logic in Computer Science 📚 7 cites 2 years ago

🔮 🔮 The Ethereal

The Compositional Structure of Bayesian Inference

Dylan Braithwaite, Jules Hedges, Toby St Clere Smithe

math.CT 🏛 MFCS 📚 7 cites 2 years ago

🔮 🔮 The Ethereal

Structured Decompositions: Structural and Algorithmic Compositionality

Benjamin Merlin Bumpus, Zoltan A. Kocsis, ... (+2 more)

math.CT 🏛 arXiv 📚 7 cites 3 years ago

🔮 🔮 The Ethereal

Data Structures for Topologically Sound Higher-Dimensional Diagram Rewriting

Amar Hadzihasanovic, Diana Kessler

math.CT 🏛 ACT 📚 6 cites 3 years ago

🔮 🔮 The Ethereal

Comparing semantic frameworks for dependently-sorted algebraic theories

Benedikt Ahrens, Peter LeFanu Lumsdaine, Paige Randall North

math.CT 🏛 Asian Symposium on Programming Languages and Systems 📚 5 cites 1 year ago

🔮 🔮 The Ethereal

Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas

Fernando Lucatelli Nunes, Matthijs Vákár

math.CT 🏛 arXiv 📚 5 cites 1 year ago

🔮 🔮 The Ethereal

Nucleus I: Adjunction spectra in recommender systems and descent

Dusko Pavlovic, Dominic J. D. Hughes

math.CT 🏛 arXiv 📚 5 cites 5 years ago

🔮 🔮 The Ethereal

A Categorical Semantics for Guarded Petri Nets

Fabrizio Genovese, David I. Spivak

math.CT 🏛 ICGT 📚 5 cites 6 years ago

🔮 🔮 The Ethereal

Reversing information flow: retrodiction in semicartesian categories

Arthur J. Parzygnat

math.CT 🏛 arXiv 📚 4 cites 2 years ago

🔮 🔮 The Ethereal

Cartesian Differential Kleisli Categories

Jean-Simon Pacaud Lemay

math.CT 🏛 Mathematical Foundations of Programming Semantics 📚 4 cites 2 years ago

🔮 🔮 The Ethereal

Time-reversal homotopical properties of concurrent systems

Cameron Calk, Eric Goubault, Philippe Malbos

math.CT 🏛 Homology, Homotopy and Applications 📚 4 cites 7 years ago

🔮 🔮 The Ethereal

Category Theory for Quantum Natural Language Processing

Alexis Toumi

math.CT 🏛 arXiv 📚 4 cites 3 years ago

🔮 🔮 The Ethereal

The operadic theory of convexity

Redi Haderi, Cihan Okay, Walker H. Stern

math.CT 🏛 Applied Categorical Structures 📚 3 cites 2 years ago

🔮 🔮 The Ethereal

A 2-Categorical Study of Graded and Indexed Monads

Soichiro Fujii

math.CT 🏛 arXiv 📚 3 cites 6 years ago

🔮 🔮 The Ethereal

Towards a Unified Theory of Time-Varying Data

Benjamin Merlin Bumpus, James Fairbanks, ... (+3 more)

math.CT 🏛 arXiv 📚 2 cites 2 years ago

🔮 🔮 The Ethereal

Free Doubly-Infinitary Distributive Categories are Cartesian Closed

Fernando Lucatelli Nunes, Matthijs Vákár

math.CT 🏛 arXiv 📚 2 cites 2 years ago

🔮 🔮 The Ethereal

A Type Theory with a Tiny Object

Mitchell Riley

math.CT 🏛 arXiv 📚 2 cites 2 years ago