- Effective codescent morphisms of Hausdorff topological spaces
2026/07/24 by Dali Zangurashvili · 1 voice
#math.GN #math.CT
- The shifted symplectic geometry of derived higher groupoids
2026/07/19 by Miquel Cueca, Florian Dorsch, Reyer Sjamaar +1 · 1 voice
#math.SG #math.CT #math.DG
- Rzk: a Proof Assistant for Synthetic ∞-Categories
2026/07/13 by Nikolai Kudasov, Violetta Sim, Benedikt Ahrens · 1 voice
#cs.LO #cs.PL #math.CT
- Locally subcartesian closed categories
2026/07/11 by Charles Walker · 1 voice
Mathematics · #math.CT
- Categorical Foundations for CuTe Layouts
2026/01/09 by Jack Carlisle, Jay Shah, Reuben Stern +1 · 3 voices · 1 citation
#cs.PL #math.CT
- High schoolers excel at Oxford quantum course using pictorial mathematics
2025/11/28 by Bob Coecke, Aleks Kissinger, Coecke, Bob +27 · 5 voices
#physics.ed-ph #cs.LO #math.CT #quant-ph
- Continuous six-functor formalism on locally compact Hausdorff spaces
2025/07/17 by Qingchong Zhu, Zhu, Qingchong · 3 voices · 1 citation
Mathematics · #Advanced Operator Algebra Research #Algebraic structures and combinatorial models #Homotopy and Cohomology in Algebraic Topology #math.AT #math.CT #math.KT
- Dose-Escalation Trial Protocols that Extend Naturally to Admit Titration
2025/07/02 by David C. Norris, Norris, David C. · 1 voice
Biochemistry, Genetics and Molecular Biology · Mathematics · Medicine · #18A40 #18B35 #92C50 #Cancer Genomics and Diagnostics #Category Theory (math.CT) #Ethics in Clinical Research #FOS: Mathematics #Statistical Methods in Clinical Trials #math.CT
- Algebraic Type Theory, Part 1: Martin-Löf algebras
2025/05/16 by Steve Awodey, Awodey, Steve · 2 voices · 1 citation
Computer Science · Mathematics · #03B38 #18C40 #18C50 #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Logic, programming, and type systems #math.CT #math.LO
- Empirical Measures and Strong Laws of Large Numbers in Categorical Probability
2025/03/27 by Tobias Fritz, Tomáš Gonda, Fritz, Tobias +7 · 1 voice · 4 citations
#math.PR #cs.LO #math.CT #math.ST
- Topological Kleene Field Theories as a model of computation
2025/03/20 by Ángel González-Prieto, Eva Miranda, González-Prieto, Ángel +4 · 2 voices · 1 citation
Computer Science · Mathematics · #Computability, Logic, AI Algorithms #Topological and Geometric Data Analysis #cs.FL #math.CT #math.DG #math.DS
- Gapless Phases in (2+1)d with Non-Invertible Symmetries
2025/03/16 by Lakshya Bhardwaj, Yuhan Gai, Bhardwaj, Lakshya +11 · 8 citations
#cond-mat.str-el #hep-th #math-ph #math.CT #math.MP
- A Bayesian Interpretation of the Internal Model Principle
2025/03/01 by Manuel Baltieri, Baltieri, Manuel, Martin Biehl +5 · 2 voices · 5 citations
#math.OC #eess.SY #math.CT
- Generalised Process Theories
2025/02/14 by John H. Selby, Maria E. Stasinou, Selby, John H. +5 · 1 voice · 1 citation
Computer Science · Mathematics · #Advanced Topics in Algebra #Homotopy and Cohomology in Algebraic Topology #Logic, programming, and type systems #math-ph #math.CT #quant-ph
- The Yoneda embedding in simplicial type theory
2025/01/22 by Daniel Gratzer, Jonathan Weinberger, Gratzer, Daniel +3 · 1 voice · 3 citations
Mathematics · #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models #Homotopy and Cohomology in Algebraic Topology #cs.LO #math.AT #math.CT
- Rigidity of non-negligible objects of moderate growth in braided categories
2024/12/23 by Pavel Etingof, Etingof, Pavel, David Penneys +1 · 7 citations
#math.QA #math.CT #math.RT
- Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation
2024/12/10 by Nathanael Arkor, Arkor, Nathanael, John Bourke +3 · 2 voices · 2 citations
Computer Science · Mathematics · #18C10 #18C30 #18C40 #18D20 #18M65 #18N10 #Category Theory (math.CT) #Data Visualization and Analytics #FOS: Mathematics #math.CT
- The Aldous\unicodex2013Hoover Theorem in Categorical Probability
2024/11/19 by Leihao Chen, Chen, Leihao, Tobias Fritz +7 · 1 voice · 2 citations
#math.ST #cs.LO #math.CT #math.PR
- Simons Lectures on Categorical Symmetries
2024/11/13 by Davi Costa, Costa, Davi, Clay Córdova +25 · 2 voices · 3 citations
Computer Science · Mathematics · Physics and Astronomy · #Algebraic Topology (math.AT) #Category Theory (math.CT) #Data Visualization and Analytics #FOS: Mathematics #FOS: Physical sciences #High Energy Physics - Theory (hep-th) #Mathematical Physics (math-ph) #Quantum Algebra (math.QA) #hep-th #math-ph #math.AT #math.CT #math.QA
- On the Anatomy of Attention
2024/07/02 by Nikhil Khatri, Tuomas Laakkonen, Khatri, Nikhil +5 · 1 voice · 1 citation
#cs.LG #math.CT
- Compositional imprecise probability
2024/05/15 by Jack Liell-Cock, Sam Staton, Liell-Cock, Jack +1 · 2 voices · 3 citations
Computer Science · #cs.PL #cs.LO #math.CT #math.PR
- Qualia and the Formal Structure of Meaning
2024/05/02 by Xerxes D. Arsiwalla, Arsiwalla, Xerxes D. · 1 voice
Arts and Humanities · Biochemistry, Genetics and Molecular Biology · Computer Science · Mathematics · Physics and Astronomy · #Artificial Intelligence (cs.AI) #Category Theory (math.CT) #Classical Philosophy and Thought #FOS: Biological sciences #FOS: Computer and information sciences #FOS: Mathematics #FOS: Physical sciences #History and Philosophy of Physics (physics.hist-ph) #Medieval and Classical Philosophy #Neurons and Cognition (q-bio.NC) #cs.AI #math.CT #physics.hist-ph #q-bio.NC
- Representing Knowledge and Querying Data using Double-Functorial Semantics
2024/03/28 by Michael Lambert, Mike Lambert, Lambert, Michael +2 · 1 voice
Computer Science · #math.CT #cs.DB #cs.LO
- The Topos of Transformer Networks
2024/03/27 by Mattia Jacopo Villani, Peter McBurney, Villani, Mattia Jacopo +1 · 1 voice · 1 citation
Computer Science · Engineering · Mathematics · #Category Theory (math.CT) #Control and Stability of Dynamical Systems #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Neural Networks and Applications #cs.LG #math.CT
- Applied Category Theory in the Wolfram Language using Categorica I: Diagrams, Functors and Fibrations
2024/03/24 by Jonathan Gorard, Gorard, Jonathan · 1 voice
Computer Science · #Cognitive Computing and Networks #cs.SC #math.CT
- Fundamental Components of Deep Learning: A category-theoretic approach
2024/03/13 by Bruno Gavranović, Gavranović, Bruno · 2 voices · 2 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · Mathematics · #Artificial Intelligence (cs.AI) #Category Theory (math.CT) #Cell Image Analysis Techniques #FOS: Computer and information sciences #FOS: Mathematics #Image Processing Techniques and Applications #Machine Learning (cs.LG) #cs.AI #cs.LG #math.CT
- Position: Categorical Deep Learning is an Algebraic Theory of All Architectures
2024/02/23 by Bruno Gavranović, Paul Lessard, Gavranović, Bruno +9 · 2 voices · 9 citations
Computer Science · Engineering · Mathematics · #Artificial Intelligence (cs.AI) #Category Theory (math.CT) #Data Visualization and Analytics #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Psychiatry, Mental Health, Neuroscience #Rings and Algebras (math.RA) #Urban Design and Spatial Analysis #cs.AI #cs.LG #math.CT #math.RA #stat.ML
- Polynomial Functors: A Mathematical Theory of Interaction
2023/12/02 by Nelson Niu, David I. Spivak, Niu, Nelson +1 · 3 voices · 2 citations
#math.CT
- Hoàng Xuân Sính's Thesis: Categorifying Group Theory
2023/08/08 by John C. Baez, Baez, John C. · 2 voices · 1 citation
Mathematics · #Advanced Topology and Set Theory #History and Theory of Mathematics #Homotopy and Cohomology in Algebraic Topology #math.CT #math.HO
- Reverse Tangent Categories
2023/08/02 by G. S. H. Cruttwell, Geoffrey Cruttwell, Jean-Simon Pacaud Lemay +2 · 3 voices · 1 citation
Computer Science · Engineering · Mathematics · #18F40 #Advanced Numerical Analysis Techniques #Category Theory (math.CT) #D.3.1 #F.3.2 #FOS: Mathematics #Image Retrieval and Classification Techniques #Neural Networks and Applications #math.CT
more