Category Theory

Authors and titles for December 2024

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

Title: Twisted tensor product of dg categories and Kontsevich's Swiss Cheese conjecture

Michael Batanin, Boris Shoikhet

Comments: 19 pages v2: typos are corrected

Subjects: Category Theory (math.CT); K-Theory and Homology (math.KT); Quantum Algebra (math.QA)

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

Title: A characterisation for the category of Hilbert spaces

Stephen Lack, Shay Tobin

Comments: 20 pages

Journal-ref: Appl Categor Struct 33, 13 (2025)

Subjects: Category Theory (math.CT)

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

Title: Cotorsion pairs and Enochs Conjecture for object ideals

Dandan Sun, Qikai Wang, Haiyan Zhu

Subjects: Category Theory (math.CT)

[4] arXiv:2412.07475 [pdf, other]

Title: Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation

Nathanael Arkor, John Bourke, Joanna Ko

Comments: 49 pages

Subjects: Category Theory (math.CT)

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

Title: The Relational Quotient Completion

Francesco Dagnino, Fabio Pasquali

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

[6] arXiv:2412.11968 [pdf, html, other]

Title: Open Condensed Subgroups and Mackey's Formula

Jiacheng Tang

Comments: 10 pages

Subjects: Category Theory (math.CT)

[7] arXiv:2412.13123 [pdf, other]

Title: Partial actions of groups on monoidal categories

Eliezer Batista, Felipe Lopes Castro, Mykola Khrypchenko

Comments: 41 pages

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

[8] arXiv:2412.13310 [pdf, other]

Title: A Type-Theoretic Definition of Lax $(\infty,\infty)$-Limits

Thomas Jan Mikhail

Comments: 36 pages

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

[9] arXiv:2412.13347 [pdf, html, other]

Title: A remark on fibrancy of ($\mbox{A$_{\infty}$Cat}$,$W^{\tiny\mbox{A}_{\infty}}_{\tiny\mbox{qe}}$)

Xiaofa Chen, Mattia Ornaghi

Comments: 12 pages. Comments are welcome

Subjects: Category Theory (math.CT)

[10] arXiv:2412.13956 [pdf, html, other]

Title: Homological stratification and descent

Tobias Barthel, Drew Heard, Beren Sanders, Changhan Zou

Comments: 39 pages. Comments welcome

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

[11] arXiv:2412.15231 [pdf, html, other]

Title: Sur la structure des repr{é}sentations g{é}n{é}riques des groupes lin{é}aires infinis

Aurélien Djament (LAGA), Antoine Touzé (LPP)

Comments: in French language

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

[12] arXiv:2412.16386 [pdf, html, other]

Title: Groupoid Cardinality and Random Permutations

John C. Baez

Comments: 6 pages

Subjects: Category Theory (math.CT); Probability (math.PR)

[13] arXiv:2412.19697 [pdf, other]

Title: Differentiable groupoid objects and their abstract Lie algebroids

Lory Aintablian, Christian Blohmann

Comments: 88 pages, comments welcome

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

[14] arXiv:2412.19946 [pdf, other]

Title: Comparing semantic frameworks for dependently-sorted algebraic theories

Benedikt Ahrens, Peter LeFanu Lumsdaine, Paige Randall North

Comments: 24 pages. Presented at APLAS 2024; this version lightly revised and expanded, numbering unchanged

Journal-ref: Programming Languages and Systems (Proc. APLAS 2024), Oleg Kiselyov (ed.), 2025, Springer Nature Singapore, pp. 3-22

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

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

Title: Modular operads, distributive laws and a nerve theorem for circuit algebras

Sophie Raynor

Comments: 54 pages, many figures and diagrams. This paper and "Circuit algebras, modular operads and invariant theory" supercede "Brauer diagrams, modular operads, and a graphical nerve theorem for circuit algebras" arXiv:2108.04557. Comments welcome

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

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

Title: Revisiting Hugo Volger's paper Uber die Existenz der freien Algebren

Matias Menni, Walter Tholen

Subjects: Category Theory (math.CT)

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

Title: Compact generators of the contraderived category of contramodules

Leonid Positselski, Jan Stovicek

Comments: LaTeX 2e with mathrsfs and xy-pic; 54 pages, 6 commutative diagrams

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

[18] arXiv:2412.20999 [pdf, html, other]

Title: The Category of Operator Spaces and Complete Contractions

Bert Lindenhovius, Vladimir Zamdzhiev

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

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

Title: Enriched categorical aspects of homological perturbation theory

Lukáš Vokřínek

Subjects: Category Theory (math.CT)

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

Title: Approximation of graded bialgebras

Giovanna Carnovale, Francesco Esposito, Lleonard Rubio y Degrassi

Comments: showkeys removed

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

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

Title: Categorical approach to graph limits

Martin Doležal, Wiesław Kubiś

Comments: 44 pages

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

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

Title: The Langlands formula and perverse sheaves

Mikhail Kapranov, Vadim Schechtman, Olivier Schiffmann, Jiangfan Yuan

Comments: 48 pages, color figures

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

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

Title: Generating Higher Identity Proofs in Homotopy Type Theory

Thibaut Benjamin

Comments: 29 pages

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

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

Title: Six-Functor Formalisms II : The $\infty$-categorical compactification

Chirantan Chowdhury

Comments: Typos and minor mistakes in Proof of Theorem 4.2.1 and Theorem 5.2.1 have been fixed

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

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

Title: Higher crossed modules of algebras over an operad

Clovis Chabertier

Comments: 26 pages

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

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

Title: The diagonal $p$-permutation functor $kR_k$

Serge Bouc

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

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

Title: Finiteness and finite domination in stratified homotopy theory

Marco Volpe

Comments: 17 pages

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

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

Title: Constructing projective modules

Aravind Asok

Comments: 138 pages; comments welcome!

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

[29] arXiv:2412.06097 (cross-list from cs.CV) [pdf, other]

Title: Order Theory in the Context of Machine Learning

Eric Dolores-Cuenca, Aldo Guzman-Saenz, Sangil Kim, Susana Lopez-Moreno, Jose Mendoza-Cortes

Comments: We added experiments with ImageNet 100, and improved the exposition of the theory developed. Added examples. Poster presentation in NeurIPS WIML 2024, Talk in JMM 2025 section: Applied category theory II

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Category Theory (math.CT)

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

Title: Tube Category, Tensor Renormalization and Topological Holography

Tian Lan

Comments: 17 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)

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

Title: On The Telescopic Picard Group

Shai Keidar

Comments: 57 pages, comments are welcome!

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

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

Title: Extended (tri)dendriform algebras, pre-Lie algebras and post-Lie algebras as companion structures of extended Rota-Baxter algebras

Shanghua Zheng, Shiyu Huang, Li Guo

Comments: 30 pages

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

[33] arXiv:2412.08094 (cross-list from math.FA) [pdf, html, other]

Title: Single and multi-valued Hilbert-bundle renormings

Alexandru Chirvasitu

Comments: 14 pages + references

Subjects: Functional Analysis (math.FA); Category Theory (math.CT); General Topology (math.GN); Operator Algebras (math.OA)

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

Title: Intrinsically Correct Sorting in Cubical Agda

Cass Alexandru, Vikraman Choudhury, Jurriaan Rot, Niels van der Weide

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

[35] arXiv:2412.08935 (cross-list from hep-th) [pdf, html, other]

Title: Rational RG flow, extension, and Witt class

Ken Kikuchi

Comments: 31 pages; v2: typos fixed, minor modification of the proof, statement of the theorem unchanged

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

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

Title: Categorification of modules and construction of schemes

Abhishek Banerjee, Subhajit Das, Surjeet Kour

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

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

Title: Classification of localizing subcategories along t-structures

Torgeir Aambø

Comments: 26 pages. Comments very welcome!

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

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

Title: Defining extended TQFTs via handle attachments

Benjamin Haïoun

Comments: 19 pages. Comments welcome!

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

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

Title: A universal characterization of uncurving

Guillaume Laplante-Anfossi, Adrian Petr, Vivek Shende

Comments: 14 pages

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

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

Title: Bochvar algebras: A categorical equivalence and the generated variety

Stefano Bonzio, Francesco Paoli, Michele Pra Baldi

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

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

Title: Compact Semisimple Tensor 2-Categories are Morita Connected

Thibault D. Décoppet, Sean Sanford

Comments: Comments welcome!

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

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

Title: Frobenius monoidal functors induced by Frobenius extensions of Hopf algebras

Johannes Flake, Robert Laugwitz, Sebastian Posur

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

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

Title: Double categorical model of $(\infty,1)$-categories

Léonard Guetta, Lyne Moser

Comments: 37 pages; comments welcome

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

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

Title: Presentations for small reflection equation algebras of type A

Juliet Cooke, Robert Laugwitz

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

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

Title: Waldhausen's $S_\bullet$-construction

Viktoriya Ozornova, Martina Rovelli

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

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

Title: The $S_\bullet$-construction as an equivalence between 2-Segal spaces and stable augmented double Segal spaces

Martina Rovelli

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

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

Title: Rigidity of non-negligible objects of moderate growth in braided categories

Pavel Etingof, David Penneys

Comments: 12 pages, latex

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

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

Title: Towards structure-preserving quantum encodings

Arthur J. Parzygnat, Tai-Danae Bradley, Andrew Vlasic, Anh Pham

Comments: 17 pages body, 10 pages back matter; Comments welcome!

Subjects: Quantum Physics (quant-ph); Machine Learning (cs.LG); Category Theory (math.CT)

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

Title: On the architecture of the Symplectic $(A_\infty,2)$-Category

Nathaniel Bottman

Comments: 11 pages, 1 figure

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

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

Title: Vopěnka's Principle, Maximum Deconstructibility, and torsion classes generated by groups

Sean Cox

Comments: minor edits and corrections

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