Category Theory

Authors and titles for October 2025

[1] arXiv:2510.00488 [pdf, html, other]

Title: Cohomology of Small Cartesian Closed Categories

Mirai Ikebuchi

Subjects: Category Theory (math.CT)

[2] arXiv:2510.00854 [pdf, other]

Title: Stable first order theories as simplicial profinite sets

Misha Gavrilovich

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

[3] arXiv:2510.00912 [pdf, other]

Title: Notions of Cauchy completeness for normed categories

Dirk Hofmann, Walter Tholen

Subjects: Category Theory (math.CT)

[4] arXiv:2510.00979 [pdf, html, other]

Title: Category Theory for Supercomputing: The Tensor Product of Linear BSP Algorithms

Thomas Koopman, Rob H. Bisseling, Sven-Bodo Scholz

Subjects: Category Theory (math.CT)

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

Title: Accepting Normalization via Markov Magmoids

Elena Di Lavore, Mario Román

Comments: 9 pages, preliminary

Subjects: Category Theory (math.CT)

[6] arXiv:2510.01946 [pdf, other]

Title: Colored Petri Nets are Monoidal Double Functors

Jade Master, Joe Moeller

Comments: 21 pages

Subjects: Category Theory (math.CT)

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

Title: How to invert well-pointed endofunctors

Matt Booth

Comments: 8 pages, comments welcome!

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

[8] arXiv:2510.02607 [pdf, other]

Title: Homotopy Languages

César Bardomiano Martínez, Simon Henry

Comments: 157 pages

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

[9] arXiv:2510.02748 [pdf, other]

Title: Simplicial Perspectives on (Pseudo) Effect Algebras

Dominik Lachman

Subjects: Category Theory (math.CT)

[10] arXiv:2510.03953 [pdf, other]

Title: An algebra modality admitting countably many deriving transformations

Jean-Baptiste Vienney

Comments: 45 pages. Fixed an issue with hyperlinks

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

[11] arXiv:2510.04254 [pdf, other]

Title: An Enriched Approach to the Strictification of $(\infty,1)$-Categories

Kimball Strong

Comments: 32 pages. Comments welcome!

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

[12] arXiv:2510.05371 [pdf, other]

Title: Zigzags and free adjunctions

Lorenzo Riva, Martina Rovelli

Comments: 28 pages. Comments welcome!

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

[13] arXiv:2510.06886 [pdf, html, other]

Title: On actions and split extensions in varieties of hoops: the case of strong section

Manuel Mancini, Giuseppe Metere, Federica Piazza

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

[14] arXiv:2510.07040 [pdf, other]

Title: Pretorsion theories in prenormal categories

Sandra Mantovani, Mariano Messora

Subjects: Category Theory (math.CT)

[15] arXiv:2510.07553 [pdf, html, other]

Title: Concentration structures on categories and horizontal categorification

Yangxiao Luo, Shunyu Wan

Comments: 32 pages, 6 figures. Comments are welcome

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

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

Title: Morita Equivalence for Quantales

Moacyr Rodrigues, Ciro Russo

Subjects: Category Theory (math.CT)

[17] arXiv:2510.08861 [pdf, other]

Title: Instances of models of double-categorical theories

Kevin Carlson, Evan Patterson

Comments: 51 pp

Subjects: Category Theory (math.CT)

[18] arXiv:2510.09625 [pdf, other]

Title: Extensions between functors from Jacobi diagrams in handlebodies

Mai Katada

Comments: 17 pages

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

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

Title: Quantaloid-enriched categories: Factorization, weak classifiers, and symmetry

Javier Gutiérrez García, Ulrich Höhle

Subjects: Category Theory (math.CT)

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

Title: Universal properties of Delannoy categories

Kevin Coulembier, Nate Harman, Andrew Snowden

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

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

Title: The smallest $n$-pure subtopos and dimension theory

Jens Hemelaer

Comments: 63 pages

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

[22] arXiv:2510.11672 [pdf, other]

Title: Some Properties of Homology and Exactness of Nomura's Homology Sequences in a Grandis Homological Category

Yaroslav Kopylov, Vadim Leshkov

Subjects: Category Theory (math.CT)

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

Title: Cartesian closedness of the category of real-valued sets, I

Lili Shen, Jian Zhang

Comments: 17 pages

Subjects: Category Theory (math.CT)

[24] arXiv:2510.12324 [pdf, html, other]

Title: From Abelianization to Tangent Categories

Sacha Ikonicoff, Jean-Simon Pacaud Lemay, Tim Van der Linden

Comments: comments welcome!

Subjects: Category Theory (math.CT)

[25] arXiv:2510.12937 [pdf, html, other]

Title: Framed Polytopes and Higher Categories

Guillaume Laplante-Anfossi, Anibal M. Medina-Mardones, Arnau Padrol

Comments: 66 pages

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

[26] arXiv:2510.13503 [pdf, html, other]

Title: Higher presentable categories and limits

Ko Aoki

Comments: 14 pages

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

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

Title: Silting reduction, relative AGK's construction and Higgs construction

Yilin Wu

Comments: 24 pages

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

[28] arXiv:2510.00987 (cross-list from math.GN) [pdf, html, other]

Title: Joins of closed sublocales are not always a coframe

Igor Arrieta

Subjects: General Topology (math.GN); Category Theory (math.CT)

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

Title: Comparing dg category models for path spaces via $A_\infty$-functors

Manuel Rivera, Yi Wang

Comments: fixed typos

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

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

Title: The ribbon category of representations of a crossed module

Ony Aubril

Comments: 15 pages, suggestions are welcome

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

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

Title: Operadic twisting as an adjunction

Guillaume Laplante-Anfossi, Adrian Petr, Vivek Shende

Comments: 42 pages

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

[32] arXiv:2510.02959 (cross-list from math.RA) [pdf, other]

Title: Abstract Cluster Structures

Jan E. Grabowski, Sira Gratz

Comments: 81 pages

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

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

Title: One rig to control them all

Chris Heunen, Robin Kaarsgaard, Louis Lemonnier

Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Quantum Physics (quant-ph)

[34] arXiv:2510.05277 (cross-list from math.AG) [pdf, other]

Title: Geometric Construction of Quiver Tensor Products

Daigo Ito, John S. Nolan

Comments: 46 pages, comments welcome!

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

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

Title: Quantum Concept Music Score from Quantum Picturalism: Musical Incarnation of a Bell-Pair under Measurements

Rakhat-Bi Abdyssagin, Bob Coecke

Comments: 6 pages, musical score

Subjects: Quantum Physics (quant-ph); Computation and Language (cs.CL); Category Theory (math.CT)

[36] arXiv:2510.06206 (cross-list from math.OA) [pdf, html, other]

Title: Equivariant Eilenberg-Watts theorems for locally compact quantum groups

Joeri De Ro

Comments: 36 pages. Comments are welcome!

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

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

Title: Hopf bimodules for bialgebroids

Sophie Chemla, Niels Kowalzig

Comments: 19 pages

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

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

Title: Generalized Clifford algebras, weighted polynomial laws, and adjunction

Nguyen Xuan Bach

Comments: 31 pages, penultimate version, comments are welcome

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

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

Title: Abelian quotients of categories of $n$-exangles

Yutong Zhou

Comments: 20 pages

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

[40] arXiv:2510.07170 (cross-list from math.KT) [pdf, other]

Title: Localisation theorems for the connective K-theory of exact categories

Christoph Winges

Comments: 42 pages

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

[41] arXiv:2510.07408 (cross-list from hep-th) [pdf, other]

Title: TASI Lectures On Topological Field Theories And Differential Cohomology

Gregory W. Moore, Vivek Saxena

Comments: Includes an Appendix by Daniel S. Freed. 279 pages + references = 331 pages, 70 figures

Subjects: High Energy Physics - Theory (hep-th); Strongly Correlated Electrons (cond-mat.str-el); Algebraic Topology (math.AT); Category Theory (math.CT); Geometric Topology (math.GT)

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

Title: Measure theory via Locales

Georg Lehner

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

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

Title: Homological epimorphisms in functor categories and singularity categories

Juan Andrés Orozco Gutiérrez, Valente Santiago Vargas

Comments: 19 pages

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

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

Title: Reconstruction of tensor categories of type $G_2$

Lilit Martirosyan, Hans Wenzl

Comments: 36 pages

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

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

Title: Simple $B_4$ representations associated to cyclotomic Hecke algebras

Lilit Martirosyan, Hans Wenzl

Comments: 32 pages

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

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

Title: A new criterion for integral modular categorification

Jingcheng Dong, Sebastien Palcoux

Comments: 8 pages. Comments are welcome!

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

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

Title: Oriented Category Theory

David Gepner, Hadrian Heine

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

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

Title: The Freed--Quinn line bundle from higher geometry

Daniel Berwick-Evans, Emily Cliff, Laura Murray

Subjects: Algebraic Topology (math.AT); Mathematical Physics (math-ph); Category Theory (math.CT)

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

Title: Generalized Rank via Minimal Subposet

Thomas Brüstle, Justin Desrochers, Samuel Leblanc

Comments: 20 pages, 1 figure

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

[50] arXiv:2510.10867 (cross-list from math.SG) [pdf, other]

Title: Explicitly Computing with Fukaya Categories of Surfaces with Boundary

Chris Grossack

Comments: 19 pages, 88 figures (nicer figures to come soon), based on a talk given at the 2025 AWM WiSCon Special Session. Comments welcome

Subjects: Symplectic Geometry (math.SG); Category Theory (math.CT)