Category Theory

Authors and titles for September 2025

[1] arXiv:2509.00995 [pdf, other]

Title: Anchored Planar Algebras and 3-Categorical Graphical Calculus

Brett Hungar

Comments: 20 pages, many diagrams

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

[2] arXiv:2509.01233 [pdf, html, other]

Title: McKinsey-Tarski algebras and Raney extensions

Guram Bezhanishvili, Ranjitha Raviprakash, Anna Laura Suarez, Joanne Walters-Wayland

Subjects: Category Theory (math.CT)

[3] arXiv:2509.01417 [pdf, html, other]

Title: Equivalence of the categories of categorical groups and cssc-crossed modules

Tamar Datuashvili, Osman Mucuk, Nazmiye Alemdar, Tunçar Şahan

Comments: 20 pages, research paper, LaTeX2e, xypic

Subjects: Category Theory (math.CT)

[4] arXiv:2509.03371 [pdf, other]

Title: Internal languages of locally cartesian closed $(\infty,1)$-categories

El Mehdi Cherradi

Comments: 65 pages, comments welcome!

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

[5] arXiv:2509.03450 [pdf, html, other]

Title: Addendum: localization of lax symmetric monoidal categories

Vladimir Hinich, Ieke Moerdijk

Comments: 6 pages

Subjects: Category Theory (math.CT)

[6] arXiv:2509.04255 [pdf, other]

Title: On the equivalence invariance of formal category theory

Paula Verdugo

Comments: Chapter of PhD thesis. Section 4 based on Section 6 of arXiv:2301.07801

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

[7] arXiv:2509.04435 [pdf, html, other]

Title: Cartesian Linearly Distributive Categories: Revisited

Rose Kudzman-Blais, Jean-Simon Pacaud Lemay

Subjects: Category Theory (math.CT)

[8] arXiv:2509.04639 [pdf, other]

Title: A limit lifting theorem for fibrations between bicategories

Patrick Nicodemus

Subjects: Category Theory (math.CT)

[9] arXiv:2509.05070 [pdf, other]

Title: Enriched bi(co)ends

Nicola Carissimi

Comments: 56 pages

Subjects: Category Theory (math.CT)

[10] arXiv:2509.05094 [pdf, other]

Title: Partializations of Markov categories

Areeb Shah Mohammed

Comments: 62 pages

Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Probability (math.PR)

[11] arXiv:2509.05462 [pdf, other]

Title: The compact double category $\mathbf{Int}(\mathbf{Poly}_*)$ models control flow and data transformations

Grigory Kondyrev, David I. Spivak

Comments: 28 pages including many diagrams

Subjects: Category Theory (math.CT); Programming Languages (cs.PL)

[12] arXiv:2509.05900 [pdf, other]

Title: Dynamical systems as enriched functors

Suddhasattwa Das, Tomoharu Suda

Subjects: Category Theory (math.CT)

[13] arXiv:2509.06193 [pdf, other]

Title: Simplicial Approach to Frobenius Algebras in the Category of Relations

Dominik Lachman

Subjects: Category Theory (math.CT)

[14] arXiv:2509.06363 [pdf, html, other]

Title: Categorical Tiling Theory: Constructing Directed Planar Tilings via Edge Reversal

Catherine DiLeo, Preston Sessoms, Brandon T. Shapiro

Comments: 38 pages + 4 page appendix, many pictures

Subjects: Category Theory (math.CT); Combinatorics (math.CO); Geometric Topology (math.GT); Metric Geometry (math.MG)

[15] arXiv:2509.06769 [pdf, other]

Title: Two-dimensional transducers

Fosco Loregian

Comments: Dedicated to Bob Paré, on the occasion of his 80th birthday

Subjects: Category Theory (math.CT)

[16] arXiv:2509.07241 [pdf, html, other]

Title: Very-Well-Behaved Epireflections for Categories of Models of Sketches

João J. Xarez

Subjects: Category Theory (math.CT)

[17] arXiv:2509.07645 [pdf, html, other]

Title: Coderived and contraderived categories for a cotorsion pair, flat-type cotorsion pairs, and relative periodicity

Leonid Positselski

Comments: LaTeX 2e with xy-pic; 59 pages, 4 commutative diagrams; v.2: Small additions, corrections, and improvements, Abstract expanded, Example 10.7 added

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

[18] arXiv:2509.07719 [pdf, other]

Title: On fibred products of toposes

Léo Bartoli, Olivia Caramello

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

[19] arXiv:2509.08144 [pdf, html, other]

Title: Proto-Exact Categories of Matroids over Idylls and Tropical Toric Reflexive Sheaves

Jaiung Jun, Alex Sistko, Cameron Wright

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

[20] arXiv:2509.09992 [pdf, html, other]

Title: Hopf formulae for cocommutative Hopf algebras

Marino Gran, Andrea Sciandra

Comments: 22 pages

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

[21] arXiv:2509.10204 [pdf, html, other]

Title: A Categorical Approach to Finiteness Conditions

David Forsman

Comments: 24 pages, 35 diagrams

Subjects: Category Theory (math.CT)

[22] arXiv:2509.11321 [pdf, other]

Title: Hilbert spaces admit no finitary discrete imaginaries

Ruiyuan Chen, Isabel Trindade

Comments: 10 pages

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

[23] arXiv:2509.11423 [pdf, html, other]

Title: Berger-Joyal duality and traces I

Nicholas Cecil, Benjamin Cooper

Subjects: Category Theory (math.CT)

[24] arXiv:2509.13602 [pdf, other]

Title: From Hopf Algebras in Model Categories to Hopf Algebras in $\infty$-categories

Inbar Klang, Josefien Kuijper, Cary Malkiewich, David Mehrle, Thor Wittich

Comments: v1: Comments welcome!

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

[25] arXiv:2509.15101 [pdf, other]

Title: Coherence for Pseudo Commutative Monads

Diego Manco

Comments: Comments welcome!

Subjects: Category Theory (math.CT)

[26] arXiv:2509.15524 [pdf, other]

Title: The formal theory of tangentads

Marcello Lanfranchi

Subjects: Category Theory (math.CT)

[27] arXiv:2509.16626 [pdf, other]

Title: Invertible projective 2-representations from invertible 2d TQFTs with defects

Domenico Fiorenza, Chetan Vuppulury

Comments: 30 pages

Subjects: Category Theory (math.CT); Mathematical Physics (math-ph); Quantum Algebra (math.QA); Representation Theory (math.RT)

[28] arXiv:2509.18410 [pdf, other]

Title: Lie groups in tangent join restriction categories

Robin Cockett, Florian Schwarz

Subjects: Category Theory (math.CT); Differential Geometry (math.DG)

[29] arXiv:2509.20019 [pdf, html, other]

Title: Enriched positive logic

Jiří Rosický, Giacomo Tendas

Subjects: Category Theory (math.CT)

[30] arXiv:2509.20930 [pdf, other]

Title: Learners are Almost Free Compact Closed

Mitchell Riley

Comments: In Proceedings ACT 2024, arXiv:2509.18357

Journal-ref: EPTCS 429, 2025, pp. 49-62

Subjects: Category Theory (math.CT)

[31] arXiv:2509.21472 [pdf, other]

Title: The Morita $(\infty,2)$-category of a monoidal category as a $2$-complicial set

Arghan Dutta, Stefano Luneia, Martina Rovelli, Sam Silver

Comments: 34 pages; comments welcome!

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

[32] arXiv:2509.21564 [pdf, other]

Title: Galois Connections and Preradicals in Abelian Categories

Rogelio Fernández-Alonso, Janeth Magaña, Martha Lizbeth Shaid Sandoval-Miranda, Valente Santiago-Vargas

Comments: 36 pages

Subjects: Category Theory (math.CT)

[33] arXiv:2509.22208 [pdf, other]

Title: Parametric Distributive Laws: uniform monad composition

Lorenzo Perticone

Comments: 46 pages

Subjects: Category Theory (math.CT)

[34] arXiv:2509.22575 [pdf, other]

Title: Symmetric monoidal extensions and graph cobordisms between finite sets

Andrea Bianchi

Comments: 85 pages, comments welcome!

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

[35] arXiv:2509.22584 [pdf, other]

Title: Double Categories of Open Systems: the Cospan Approach

John C. Baez

Comments: 55 pages, TikZ figures

Subjects: Category Theory (math.CT)

[36] arXiv:2509.24810 [pdf, other]

Title: A functorial approach to $0$-abelian categories

Vitor Gulisz

Comments: 47 pages. This is a continuation of arXiv:2409.10438

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

[37] arXiv:2509.26343 [pdf, other]

Title: Double Orthogonal Factorization Systems

C. B. Aberlé, Elena Caviglia, Matthew Kukla, Rubén Maldonado, Luca Mesiti, Dorette Pronk, Tanjona Ralaivaosaona

Subjects: Category Theory (math.CT)

[38] arXiv:2509.26563 [pdf, other]

Title: Homotopy theory of stricter $n$-categories

Clémence Chanavat

Comments: 54 pages, comments welcome

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

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

Title: Permutation twisted cohomology, remixed

Sam K. Miller

Comments: 32 pages. Comments very welcome! v2: Minor changes

Subjects: Representation Theory (math.RT); Algebraic Geometry (math.AG); Category Theory (math.CT); Group Theory (math.GR)

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

Title: The singularity category as a stable module category

Xiao-Wu Chen, Zhengfang Wang

Comments: 19 pages, comments are very welcome

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

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

Title: Finite-dimensional modules over associative equivariant map algebras

Alexandru Chirvasitu

Comments: 8 pages + references

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

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

Title: Open 2D TFTs admit initial open-closed extensions

Shaul Barkan, Jan Steinebrunner, Adela YiYu Zhang

Comments: 44 pages (37 plus appendix), 11 figures

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

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

Title: An axiomatic approach to analytic $1$-affineness

Matteo Montagnani, Emanuele Pavia

Comments: Comments welcome!

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

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

Title: Virtually Gorenstein algebras of infinite dominant dimension

Hongxing Chen, Changchang Xi

Comments: 11 pages

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

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

Title: Classification of silted algebras for two quivers of Dynkin type $\mathbb{D}_{n}$

Houjun Zhang

Comments: 40 pages

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

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

Title: From objects finitely presented by a rigid object in a triangulated category to 2-term complexes

Dong Yang

Comments: 36 pages

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

[47] arXiv:2509.08323 (cross-list from quant-ph) [pdf, html, other]

Title: The Born rule as a natural transformation of functors

Boyu Yang, James Fullwood

Comments: 10 pages, no figures only diagrams

Subjects: Quantum Physics (quant-ph); Category Theory (math.CT)

[48] arXiv:2509.08433 (cross-list from cs.DB) [pdf, other]

Title: Un cadre paraconsistant pour l'{é}valuation de similarit{é} dans les bases de connaissances

José-Luis Vilchis Medina (ENSTA Bretagne, Lab-STICC, Lab-STICC_ROBEX)

Comments: in French language, 19{è}mes Journ{é}es d'Intelligence Artificielle Fondamentale et 20{è}mes Journ{é}es Francophones sur la Planification, la D{é}cision et l'Apprentissage pour la conduite de syst{è}mes, JIAF-JFPDA 2025, Coll{è}ge Repr{é}sentation et Raisonnement de l'AFIA, Jul 2025, Dijon, France

Subjects: Databases (cs.DB); Information Theory (cs.IT); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC); Category Theory (math.CT)

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

Title: From Link Homology to Topological Quantum Field Theories

Paul Wedrich

Comments: 20 pages, survey article written for the proceedings of the 2025 International Congress of Basic Science (ICBS), minor changes in v2

Subjects: Quantum Algebra (math.QA); Category Theory (math.CT); Geometric Topology (math.GT)

[50] arXiv:2509.09941 (cross-list from math.AC) [pdf, html, other]

Title: Regular sequences for triangulated categories

Antonia Kekkou, Janina C. Letz, Marc Stephan

Comments: 37 pages; comments are welcome

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