We gratefully acknowledge support from
the Simons Foundation and member institutions.

Category Theory

Authors and titles for recent submissions

[ total of 17 entries: 1-17 ]
[ showing up to 25 entries per page: fewer | more ]

Fri, 20 Mar 2026

[1]  arXiv:2603.18321 [pdf, ps, other]
Title: A Simple Categorical Calculus of Interacting Processes
Authors: Chad Nester, Niels Voorneveld
Comments: In peer review
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
[2]  arXiv:2603.18264 (cross-list from math.RT) [pdf, ps, other]
Title: Classifying submodules over monoidal categories
Authors: Hadi Salmasian, Alistair Savage, Yaolong Shen
Comments: 36 pages
Subjects: Representation Theory (math.RT); Category Theory (math.CT); Quantum Algebra (math.QA)

Thu, 19 Mar 2026

[3]  arXiv:2603.17141 [pdf, ps, other]
Title: Separation and Gluing of Explanations on Sites of Dynamical Systems
Authors: Paul Z. Wang
Comments: 19 pages, draft/work in progress, comments welcome!
Subjects: Category Theory (math.CT)
[4]  arXiv:2603.17853 (cross-list from math.AT) [pdf, ps, other]
Title: Ambidextrous global spectra and tempered cohomology
Authors: William Balderrama, Jack Morgan Davies, Sil Linskens
Comments: 96 pages, comments welcome!
Subjects: Algebraic Topology (math.AT); Algebraic Geometry (math.AG); Category Theory (math.CT); K-Theory and Homology (math.KT)

Wed, 18 Mar 2026

[5]  arXiv:2603.16274 [pdf, ps, other]
Title: From Torsors to Topoi: An Introduction with a View Toward $Σ$-Protocols in Cryptography
Authors: Takao Inoué
Comments: 27 pages. Introductory but substantial note on torsors, sheaves, topoi, and internal logic, written as preparatory background for the author's sheaf-theoretic approach to cryptographic security and {\Sigma}-protocols. Includes appendices on category theory, Yoneda lemma, limits and colimits, Kan extensions, and exercises with solutions
Subjects: Category Theory (math.CT); Cryptography and Security (cs.CR)
[6]  arXiv:2603.16437 (cross-list from cs.PL) [pdf, ps, other]
Title: Dimensional Type Systems and Deterministic Memory Management: Design-Time Semantic Preservation in Native Compilation
Authors: Houston Haynes
Comments: 29 pages, 1 table, 3 appendices with extended examples
Subjects: Programming Languages (cs.PL); Category Theory (math.CT); Logic (math.LO)
[7]  arXiv:2603.16375 (cross-list from cs.LO) [pdf, ps, other]
Title: Monoidal categories graded by partial commutative monoids
Authors: Matthew Earnshaw, Chad Nester, Mario Román
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[8]  arXiv:2603.16123 (cross-list from cs.LG) [pdf, ps, other]
Title: Functorial Neural Architectures from Higher Inductive Types
Authors: Karen Sargsyan
Comments: 20 pages, 10 tables. Code and Cubical Agda formalization: this https URL
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Algebraic Topology (math.AT); Category Theory (math.CT)
[9]  arXiv:2603.15858 (cross-list from math.DG) [pdf, ps, other]
Title: Remarks on the structure and integrability of LA-groups
Authors: Camilo Angulo
Subjects: Differential Geometry (math.DG); Category Theory (math.CT)

Tue, 17 Mar 2026

[10]  arXiv:2603.13569 [pdf, ps, other]
Title: Polarities, voltages, and capacitors: a categorical approach to hulls, envelopes, and completions
Authors: Ivan Di Liberti, Martino Lupini
Comments: 27 pages
Subjects: Category Theory (math.CT); Commutative Algebra (math.AC); Logic (math.LO); Operator Algebras (math.OA); Rings and Algebras (math.RA)
[11]  arXiv:2603.15048 (cross-list from math.RA) [pdf, ps, other]
Title: Homomorphisms of topological rings and change-of-scalar functors
Authors: Leonid Positselski
Comments: LaTeX 2e with mathrsfs and xy-pic; 53 pages, 15 commutative diagrams
Subjects: Rings and Algebras (math.RA); Algebraic Geometry (math.AG); Category Theory (math.CT)
[12]  arXiv:2603.13946 (cross-list from quant-ph) [pdf, ps, other]
Title: Generalized Inverses of Quantum Channels: a categorical perspective
Authors: Robin Cockett, Jean-Simon Pacaud Lemay, Priyaa Varshinee Srinivasan
Subjects: Quantum Physics (quant-ph); Category Theory (math.CT)

Mon, 16 Mar 2026

[13]  arXiv:2603.13002 [pdf, ps, other]
Title: Classes of Universal Epi- and Monomorphisms in Quasi-Abelian Categories
Authors: Max Zinchenko
Subjects: Category Theory (math.CT)
[14]  arXiv:2603.12302 [pdf, ps, other]
Title: Decorated Cospans at Work: Coupling Heterogeneous Dynamical Systems via Pushouts and Particle Filters
Authors: Wesley Phoa
Comments: 30 pages, 7 figures. Companion paper: "Particle Filters and Factor Graphs for Narrative Space" [in preparation]
Subjects: Category Theory (math.CT)
[15]  arXiv:2603.12301 [pdf, ps, other]
Title: A Double Categorical Framework for Multi-Stage Portfolio Construction and Alignment
Authors: Wesley Phoa
Comments: 181 pages
Subjects: Category Theory (math.CT); General Economics (econ.GN)
[16]  arXiv:2603.13022 (cross-list from math.RT) [pdf, ps, other]
Title: The resolving completion of an exact category
Authors: Marianne Lawson, Janina C. Letz, Julia Sauter
Comments: 35 pages
Subjects: Representation Theory (math.RT); Category Theory (math.CT)
[17]  arXiv:2603.12323 (cross-list from hep-th) [pdf, ps, other]
Title: On the SymTFTs of Finite Non-Abelian Symmetries
Authors: Oren Bergman, Jonathan J. Heckman, Max Hübner, Daniele Migliorati, Xingyang Yu, Hao Y. Zhang
Comments: 58 pages + appendices, 7 figures
Subjects: High Energy Physics - Theory (hep-th); Strongly Correlated Electrons (cond-mat.str-el); Category Theory (math.CT)
[ total of 17 entries: 1-17 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, new, 2603, contact, help  (Access key information)