Category Theory

Authors and titles for September 2025

[51] arXiv:2509.10288 (cross-list from math.AT) [pdf, html, other]

Title: Derived mapping spaces of $\infty$-categories

Kensuke Arakawa, Daniel Carranza, Chris Kapulkin

Comments: 26 pages; comments welcome

Subjects: Algebraic Topology (math.AT); Category Theory (math.CT)

[52] arXiv:2509.10603 (cross-list from math-ph) [pdf, html, other]

Title: The Classification of 3+1d Symmetry Enriched Topological Order

Thibault D. Décoppet, Matthew Yu

Comments: 31 pages

Subjects: Mathematical Physics (math-ph); Strongly Correlated Electrons (cond-mat.str-el); High Energy Physics - Theory (hep-th); Category Theory (math.CT); Quantum Algebra (math.QA)

[53] arXiv:2509.10636 (cross-list from math.QA) [pdf, other]

Title: Higher tensor categories and their extensions: notes from the Scottish Talbot On Algebra and Topology

Diogo Andrade, Julia Bierent, Jennifer Brown, Tudor Caba, Matthew Cellot, Jonathan Davies, Adrien DeLazzer Meunier, Jannik Gröne, Benjamin Haïoun, Alea Hofstetter, Theo Johnson-Freyd, David Jordan, Tessa Kammermeier, Patrick Kinnear, Cameron Krulewski, Theodoros Lagiotis, Leon Liu, Adrià Marín Salvador, Nivedita, David Reutter, Lorenzo Riva, Iordanis Romaidis, Jack Romo, Sean Sanford, Michail Tagaris, Daniel Teixeira, Jackson van Dyke, Matthias Vancraeynest, Chetan Vuppulury, Matthew Yu, Markus Zetto

Subjects: Quantum Algebra (math.QA); Category Theory (math.CT); Representation Theory (math.RT)

[54] arXiv:2509.11331 (cross-list from math.CO) [pdf, html, other]

Title: Tight complexity bounds for diagram commutativity verification

Artem Malko, Igor Spiridonov

Comments: 30 pages, 4 figures

Subjects: Combinatorics (math.CO); Category Theory (math.CT)

[55] arXiv:2509.11405 (cross-list from math.AG) [pdf, html, other]

Title: Stability conditions on irreducible projective curves

Ziqi Liu

Comments: 18 pages. v2: the last subsection replace by something more interesting. Comments are welcome!

Subjects: Algebraic Geometry (math.AG); Category Theory (math.CT)

[56] arXiv:2509.12983 (cross-list from math.RT) [pdf, other]

Title: Detecting derived equivalences with the CHZ criterion

Sergio Pavon

Comments: 18 pages, 2 figures. Comments welcome

Subjects: Representation Theory (math.RT); Commutative Algebra (math.AC); Category Theory (math.CT)

[57] arXiv:2509.13026 (cross-list from cs.LO) [pdf, other]

Title: The Hidden Strength of Costrong Functors

Adriana Balan (Department of Mathematical Methods and Models, and Fundamental Sciences Applied in Engineering Research Center, National University of Science and Technology POLITEHNICA Bucharest), Silviu-George Pantelimon (Department of Computer Science, National University of Science and Technology POLITEHNICA Bucharest)

Comments: In Proceedings FROM 2025, arXiv:2509.11877

Journal-ref: EPTCS 427, 2025, pp. 141-154

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT)

[58] arXiv:2509.13058 (cross-list from math.LO) [pdf, html, other]

Title: Finite coproducts, coregularity and coexactness for profinite interior algebras

Matteo De Berardinis

Subjects: Logic (math.LO); Category Theory (math.CT)

[59] arXiv:2509.13073 (cross-list from math.RA) [pdf, html, other]

Title: Dualizing complexes over $\mathbb{Z}$-algebras

Yuki Mizuno

Comments: 41 pages. Comments are welcome

Subjects: Rings and Algebras (math.RA); Algebraic Geometry (math.AG); Category Theory (math.CT)

[60] arXiv:2509.13973 (cross-list from math.GR) [pdf, other]

Title: Split Lemma and First Isomorphism Theorem for groupoids

Davide Ferri

Comments: This is a preliminary version, to be expanded. Comments (including suggested references) are welcome

Subjects: Group Theory (math.GR); Category Theory (math.CT)

[61] arXiv:2509.14137 (cross-list from math.QA) [pdf, html, other]

Title: Generalized splitting of algebras with application to a bialgebra structure of Leibniz algebras induced from averaging Lie bialgebras

Chengming Bai, Li Guo, Guilai Liu, Quan Zhao

Comments: 29 pages

Subjects: Quantum Algebra (math.QA); Category Theory (math.CT); Representation Theory (math.RT)

[62] arXiv:2509.14774 (cross-list from math.KT) [pdf, html, other]

Title: $c$-structures and trace methods beyond connective rings

Ishan Levy, Vladimir Sosnilo

Subjects: K-Theory and Homology (math.KT); Algebraic Geometry (math.AG); Algebraic Topology (math.AT); Category Theory (math.CT)

[63] arXiv:2509.14823 (cross-list from math.QA) [pdf, html, other]

Title: Integrals for Bialgebras

Alessandro Ardizzoni, Claudia Menini, Paolo Saracco

Subjects: Quantum Algebra (math.QA); Category Theory (math.CT); Rings and Algebras (math.RA); Representation Theory (math.RT)

[64] arXiv:2509.15301 (cross-list from hep-th) [pdf, other]

Title: Higher-form symmetries as higher automorphism bundles

Alonso Perez-Lona

Comments: References added

Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Category Theory (math.CT)

[65] arXiv:2509.18290 (cross-list from math.RT) [pdf, html, other]

Title: Functor categories, Recollements, Triangular Matrix category

M. L. S. Sandoval-Miranda, V. Santiago-Vargas, E. O. Velasco-Páez

Comments: File with 32 pages

Subjects: Representation Theory (math.RT); Category Theory (math.CT); Rings and Algebras (math.RA)

[66] arXiv:2509.18475 (cross-list from eess.SY) [pdf, html, other]

Title: Compositional System Dynamics: The Higher Mathematics Underlying System Dynamics Diagrams & Practice

Xiaoyan Li, Evan Patterson, Patricia L. Mabry, Nathaniel D. Osgood

Subjects: Systems and Control (eess.SY); Category Theory (math.CT); Dynamical Systems (math.DS)

[67] arXiv:2509.20137 (cross-list from math.RA) [pdf, html, other]

Title: Properties of quasi-projective dimension over abelian categories

Hongxing Chen, Xiaohu Chen, Mengge Liu

Comments: 19 pages

Subjects: Rings and Algebras (math.RA); Commutative Algebra (math.AC); Category Theory (math.CT)

[68] arXiv:2509.21435 (cross-list from math.RA) [pdf, html, other]

Title: Coassociative structures on self-injective algebras

Alexandru Chirvasitu

Comments: 14 pages + references

Subjects: Rings and Algebras (math.RA); Category Theory (math.CT); Quantum Algebra (math.QA); Representation Theory (math.RT)

[69] arXiv:2509.22413 (cross-list from math.AT) [pdf, html, other]

Title: Models for rational $(\infty, 1)$-categories

Eleftherios Chatzitheodoridis

Comments: 12 pages

Subjects: Algebraic Topology (math.AT); Category Theory (math.CT)

[70] arXiv:2509.23181 (cross-list from math.AT) [pdf, other]

Title: Double categorical equivalences

Lyne Moser, Maru Sarazola, Paula Verdugo

Comments: Comments welcome!

Subjects: Algebraic Topology (math.AT); Category Theory (math.CT)

[71] arXiv:2509.25474 (cross-list from math.GR) [pdf, html, other]

Title: Applications of Borel-definable homological algebra to locally compact groups

Martino Lupini

Comments: 36 pages

Subjects: Group Theory (math.GR); Category Theory (math.CT); General Topology (math.GN); Logic (math.LO)