LudwigAbap

math.CT

Subcategories

Papers

paper A. Castillo-Ramirez · 2026 A categorical framework for cellular automata cs.FL math.CT math.DS nlin.CG

paper Bruno Gavranović · 2024 Position: Categorical Deep Learning is an Algebraic Theory of All Architectures cs.AI cs.LG math.CT math.RA stat.ML
paper David Pym · 2024 Categorical Proof-Theoretic Semantics cs.LO math.CT math.LO
paper Egbert Rijke · 2022 Introduction to Homotopy Type Theory math.CT math.LO

paper Daniel Rosiak · 2020 Sheaf Theory through Examples (Abridged Version) math.CT

paper Mitchell Riley · 2024 A Type Theory with a Tiny Object cs.PL math.CT math.LO

paper David Pym · 2024 Categorical Proof-Theoretic Semantics cs.LO math.CT math.LO
paper David Pym · 2024 Categorical Proof-Theoretic Semantics cs.LO math.CT math.LO
paper Matthew Di Meglio · 2025 Hilbert $*$-categories: Where limits in analysis and category theory meet math.CT math.FA math.OA
paper Tom Leinster · 2025 Basic Category Theory math.AT math.CT math.LO
paper Fosco Loregian · 2021 Coend calculus math.CT
paper Bruno Gavranović · 2024 Position: Categorical Deep Learning is an Algebraic Theory of All Architectures cs.AI cs.LG math.CT math.RA stat.ML

paper Benedikt Ahrens · 2022 Category Theory for Programming cs.PL math.CT