🏛️ The Category Theory Crypt
math.CT: Where Category Theory papers rest without their code.
48
Total Papers
0
No Code
46
Twilight
2
Has Code
4.2%
Survival Rate
🔮
🔮
The Ethereal
🔮
🔮
The Ethereal
Algebraic Databases
🔮
🔮
The Ethereal
Open Diagrams via Coend Calculus
🔮
🔮
The Ethereal
Executions in (Semi-)Integer Petri Nets are Compact Closed Categories
🔮
🔮
The Ethereal
Compositional Scientific Computing with Catlab and SemanticModels
🔮
🔮
The Ethereal
Computational Petri Nets: Adjunctions Considered Harmful
🔮
🔮
The Ethereal
Formal composition of hybrid systems
🔮
🔮
The Ethereal
Higher-dimensional subdiagram matching
🔮
🔮
The Ethereal
The Compositional Structure of Bayesian Inference
🔮
🔮
The Ethereal
Structured Decompositions: Structural and Algorithmic Compositionality
🔮
🔮
The Ethereal
Data Structures for Topologically Sound Higher-Dimensional Diagram Rewriting
🔮
🔮
The Ethereal
Comparing semantic frameworks for dependently-sorted algebraic theories
🔮
🔮
The Ethereal
Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas
🔮
🔮
The Ethereal
Nucleus I: Adjunction spectra in recommender systems and descent
🔮
🔮
The Ethereal
A Categorical Semantics for Guarded Petri Nets
🔮
🔮
The Ethereal
Reversing information flow: retrodiction in semicartesian categories
🔮
🔮
The Ethereal
Cartesian Differential Kleisli Categories
🔮
🔮
The Ethereal
Time-reversal homotopical properties of concurrent systems
🔮
🔮
The Ethereal
Category Theory for Quantum Natural Language Processing
🔮
🔮
The Ethereal
The operadic theory of convexity
🔮
🔮
The Ethereal
A 2-Categorical Study of Graded and Indexed Monads
🔮
🔮
The Ethereal
Towards a Unified Theory of Time-Varying Data
🔮
🔮
The Ethereal
Free Doubly-Infinitary Distributive Categories are Cartesian Closed
🔮
🔮
The Ethereal