Category Theory Wiki
Search
Search
Dark mode
Light mode
Explorer
Home
❯
Papers
Folder: Papers
60 items under this folder.
Oct 01, 2026
A Theory of Changes for Higher-Order Languages
paper
Oct 01, 2026
A Type and Scope Safe Universe of Syntaxes with Binding
paper
Oct 01, 2026
Algebraic Data Integration
paper
Oct 01, 2026
Algebraic Databases
paper
Oct 01, 2026
Better Together - Unifying Datalog and Equality Saturation
paper
Oct 01, 2026
Categorical Data Structures for Technical Computing
paper
Oct 01, 2026
Categories with Families - Unityped, Simply Typed, and Dependently Typed
paper
Oct 01, 2026
Change Actions - Models of Generalised Differentiation
paper
Oct 01, 2026
Computational Category-Theoretic Rewriting
paper
Oct 01, 2026
Convergence of Datalog over (Pre-) Semirings
paper
Oct 01, 2026
Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog
paper
Oct 01, 2026
Graphical Conjunctive Queries
paper
Oct 01, 2026
Handling Algebraic Effects
paper
Oct 01, 2026
Hashing Modulo Alpha-Equivalence
paper
Oct 01, 2026
Logical Relations as Types - Proof-Relevant Parametricity for Program Modules
paper
Oct 01, 2026
Natural Models of Homotopy Type Theory
paper
Oct 01, 2026
Papers
index
Oct 01, 2026
Polynomial Functors - A Mathematical Theory of Interaction
paper
Oct 01, 2026
Polynomial Functors and Polynomial Monads
paper
Oct 01, 2026
Promonads and String Diagrams for Effectful Categories
paper
Oct 01, 2026
Regular and Relational Categories - Revisiting Cartesian Bicategories I
paper
Oct 01, 2026
Relational E-Matching
paper
Oct 01, 2026
Rewriting Modulo Symmetric Monoidal Structure
paper
Oct 01, 2026
Semantic Foundations of Equality Saturation
paper
Oct 01, 2026
egg - Fast and Extensible Equality Saturation
paper
Sep 30, 2026
A Category for Unifying Gaussian Probability and Nondeterminism
paper
Sep 30, 2026
A Synthetic Approach to Markov Kernels, Conditional Independence and Theorems on Sufficient Statistics
paper
Sep 30, 2026
Actegories for the Working Amthematician
paper
Sep 30, 2026
AutoBayes - A Compositional Framework for Generalized Variational Inference
paper
Sep 30, 2026
Backprop as Functor - A Compositional Perspective on Supervised Learning
paper
Sep 30, 2026
Bayesian Open Games
paper
Sep 30, 2026
Bayesian Updates Compose Optically
paper
Sep 30, 2026
Cartesian Differential Categories Revisited
paper
Sep 30, 2026
Categorical Foundations of Gradient-Based Learning
paper
Sep 30, 2026
Categories of Optics
paper
Sep 30, 2026
Causal Theories - A Categorical Perspective on Bayesian Networks
paper
Sep 30, 2026
Compositional Active Inference I - Bayesian Lenses and Statistical Games
paper
Sep 30, 2026
Compositional Game Theory
paper
Sep 30, 2026
Dependent Bayesian Lenses
paper
Sep 30, 2026
Disintegration and Bayesian Inversion via String Diagrams
paper
Sep 30, 2026
Double Categories of Open Dynamical Systems
paper
Sep 30, 2026
Fundamental Components of Deep Learning - A Category-Theoretic Approach
paper
Sep 30, 2026
Generalized Lens Categories via Functors from Cop to Cat
paper
Sep 30, 2026
Graphical Quadratic Algebra
paper
Sep 30, 2026
Hypergraph Categories
paper
Sep 30, 2026
Interacting Hopf Algebras
paper
Sep 30, 2026
Lenses and Learners
paper
Sep 30, 2026
Markov Categories and Entropy
paper
Sep 30, 2026
Mathematical Foundations for a Compositional Account of the Bayesian Brain
paper
Sep 30, 2026
Partial Markov Categories
paper
Sep 30, 2026
Profunctor Optics - a Categorical Update
paper
Sep 30, 2026
Representable Markov Categories and Comparison of Statistical Experiments
paper
Sep 30, 2026
Reverse Derivative Ascent - A Categorical Approach to Learning Boolean Circuits
paper
Sep 30, 2026
Reverse Derivative Categories
paper
Sep 30, 2026
Structured Cospans
paper
Sep 30, 2026
The Algebra of Open and Interconnected Systems
paper
Sep 30, 2026
The Compositional Structure of Bayesian Inference
paper
Sep 30, 2026
The d-separation Criterion in Categorical Probability
paper
Sep 30, 2026
Towards Foundations of Categorical Cybernetics
paper
Sep 30, 2026
Translating Extensive Form Games to Open Games with Agency
paper