Category Theory

Authors and titles for April 2023

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

Title: Structured and Decorated Cospans from the Viewpoint of Double Category Theory

Evan Patterson (Topos Institute)

Comments: In Proceedings ACT 2023, arXiv:2312.08138

Journal-ref: EPTCS 397, 2023, pp. 210-225

Subjects: Category Theory (math.CT)

[2] arXiv:2304.02446 [pdf, other]

Title: Category-colored Operads, Internal Operads, and Markl $\mathbb{O}$-operads

Dominik Trnka

Journal-ref: Theory and Applications of Categories, Vol. 39, 2023, No. 30, pp 874-915

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

[3] arXiv:2304.02928 [pdf, other]

Title: Dagger categories via anti-involutions and positivity

Luuk Stehouwer, Jan Steinebrunner

Comments: 23 pages

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

[4] arXiv:2304.03008 [pdf, other]

Title: A categorical equivalence for odd or even involutive FL$_e$-chains

Sándor Jenei

Comments: arXiv admin note: text overlap with arXiv:2012.14181

Subjects: Category Theory (math.CT)

[5] arXiv:2304.03066 [pdf, other]

Title: Biased elementary doctrines and quotient completions

Cipriano Junior Cioffo

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

[6] arXiv:2304.03725 [pdf, other]

Title: An Infinitary Model of Diagrammatic Calculus in Unbiased Monoidal Categories

Vihaan Dheer

Comments: 25 pages

Subjects: Category Theory (math.CT)

[7] arXiv:2304.03751 [pdf, other]

Title: Ideal category of a Noetherian ring

P G Romeo, Minnumol P K

Comments: 9 pages no figures

Subjects: Category Theory (math.CT)

[8] arXiv:2304.03814 [pdf, other]

Title: Toposes have an optimal noetherian form

Zurab Janelidze, Francois van Niekerk

Comments: 69 pages, submitted for publication

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

[9] arXiv:2304.04382 [pdf, other]

Title: Birkhoff's variety theorem for relative algebraic theories

Yuto Kawase

Comments: 34 pages; A better alternative is available arXiv:2403.19661

Subjects: Category Theory (math.CT)

[10] arXiv:2304.05101 [pdf, other]

Title: Module des diff{é}rentielles

Michel Vaquié (IMT)

Comments: in French language

Subjects: Category Theory (math.CT)

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

Title: The homological spectrum via definable subcategories

Isaac Bird, Jordan Williamson

Comments: v3: 20pp. To appear in Bulletin of the LMS (this is the Author Accepted Manuscript version)

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

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

Title: On the profinite fundamental group of a connected Grothendieck topos

Clemens Berger, Victor Iwaniack

Comments: 24 pages. Changes in v5: Introduction, Section 3 and Section 4 expanded. Galois points defined and their essential uniqueness proved. Bibliography extended

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

[13] arXiv:2304.05796 [pdf, other]

Title: On diagrams of algebras

Vladimir Hinich

Comments: 6 pages

Subjects: Category Theory (math.CT)

[14] arXiv:2304.05965 [pdf, other]

Title: A model-independent Gray tensor product for $(\infty,2)$-categories

Timothy Campion, Yuki Maehara

Comments: 15 pages, comments welcome

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

[15] arXiv:2304.07539 [pdf, other]

Title: The Geometric Completion of a Doctrine

Joshua Wrigley

Comments: 63 pages

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

[16] arXiv:2304.08334 [pdf, other]

Title: Magnitude of arithmetic scalar and matrix categories

Steve Huntsman

Subjects: Category Theory (math.CT); Discrete Mathematics (cs.DM)

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

Title: Global Koszul duality

Matt Booth, Andrey Lazarev

Comments: 78 pages. v2: section 4.5 rewritten, other minor changes

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

[18] arXiv:2304.09000 [pdf, other]

Title: Flatness, weakly lex colimits, and free exact completions

Giacomo Tendas

Comments: Journal version, minor changes

Journal-ref: Annali di Matematica Pura ed Applicata, 2023

Subjects: Category Theory (math.CT)

[19] arXiv:2304.09216 [pdf, other]

Title: Higher-dimensional subdiagram matching

Amar Hadzihasanovic, Diana Kessler

Comments: Accepted for LICS 2023. 13 pages + appendix 9 pages

Subjects: Category Theory (math.CT); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)

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

Title: Categories of hypermagmas, hypergroups, and related hyperstructures

So Nakamura, Manuel L. Reyes

Comments: 54 pages, 3 figures. Corrections made throughout, but especially to Theorem 1.1, Lemma 2.13, and Theorem 4.19. Added Lemma 4.22 and Proposition 4.23. Final version

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

[21] arXiv:2304.10956 [pdf, other]

Title: Ultraposet, Distributive Lattice, and Coherent Locale

Lingyuan Ye

Comments: 36 pages excluding appendix

Subjects: Category Theory (math.CT)

[22] arXiv:2304.11227 [pdf, other]

Title: Categories enriched over symmetric closed multicategories

Volodymyr Lyubashenko

Comments: 76 pp, this http URL (version 3.96). Missing information for proofs can be recovered with some work or with the help of version 4. Corrected typos and typographically corrected

Subjects: Category Theory (math.CT)

[23] arXiv:2304.13580 [pdf, other]

Title: Introduction to inverse semigroups

Mark V. Lawson

Comments: arXiv admin note: text overlap with arXiv:2006.01628

Subjects: Category Theory (math.CT)

[24] arXiv:2304.14093 [pdf, other]

Title: Gluing Data categories and gluing data functors

Sophie Marques, Damas Mgani

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

[25] arXiv:2304.14128 [pdf, other]

Title: Ideals and continuity for quantaloid-enriched categories

Min Liu, Shengwei Han, Isar Stubbe

Comments: 27 pages; preprint

Subjects: Category Theory (math.CT)

[26] arXiv:2304.14788 [pdf, other]

Title: Pseudocommutativity and Lax Idempotency for Relative Pseudomonads

Andrew Slattery

Comments: 28 pages, to be published in Theories and Applications of Categories

Subjects: Category Theory (math.CT)

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

Title: Deformations of objects in $n$-categories

Fei Yu Chen

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

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

Title: Algebraic and Geometric Models for Space Networking

William Bernardoni, Robert Cardona, Jacob Cleveland, Justin Curry, Robert Green, Brian Heller, Alan Hylton, Tung Lam, Robert Kassouf-Short

Comments: Figures updated and improved based on more exhaustive simulations. Conjecture 2.27 now has weak and strong variations

Subjects: Algebraic Topology (math.AT); Machine Learning (cs.LG); Networking and Internet Architecture (cs.NI); Category Theory (math.CT)

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

Title: A Complete V-Equational System for Graded lambda-Calculus

Fredrik Dahlqvist, Renato Neves

Comments: Conference paper accepted at MFPS'23. Omitted proofs can be found in arXiv:2304.02082v1

Journal-ref: Electronic Notes in Theoretical Informatics and Computer Science, Volume 3 - Proceedings of MFPS XXXIX (November 23, 2023) entics:12299

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

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

Title: Generalized Charges, Part I: Invertible Symmetries and Higher Representations

Lakshya Bhardwaj, Sakura Schafer-Nameki

Comments: 77 pages, v4: minor revision

Journal-ref: SciPost Phys. 16, 093 (2024)

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

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

Title: IE-closed subcategories of commutative rings are torsion-free classes

Haruhisa Enomoto

Comments: 10 pages, ver 2: Changed title, added characterization of "torf = serre" in the non-commutative setting

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

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

Title: On the classification of symplectic DQ-algebroids

Paul Bressler, Juan Diego Rojas

Comments: 36 pages

Journal-ref: Theorey and Applications of Categories, Vol. 38, No. 3, 2022, pp. 64-100

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

[33] arXiv:2304.03789 (cross-list from hep-th) [pdf, other]

Title: Higher representations for extended operators

Thomas Bartsch, Mathew Bullimore, Andrea Grigoletto

Comments: 60 pages + appendix. v2: minor corrections

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)

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

Title: On comparison of the Tamarkin and the twisted tensor product 2-operads

Boris Shoikhet

Comments: v1 25 pages It is an improved and corrected version of Appendix B of the previous version of arXiv:1807.04305, which has been removed from the most recent version v2 (Nov 2023): 26 pages, 2-operadic whiskering map (Section 2) is fixed, misprints are corrected

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

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

Title: Relative weak global Gorenstein dimension, AB-contexts and model structures

Driss Bennis, Rachid EL Maaouy, Juan Ramon Garcia Rozas, Luis Oyonarte

Comments: to appear in Homology, Homotopy and Applications

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

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

Title: Categorical Structure in Theory of Arithmetic

Lingyuan Ye

Comments: 40 pages excluding appendix

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

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

Title: Fixed-point statistics from spectral measures on tensor envelope categories

Arthur Forey, Javier Fresán, Emmanuel Kowalski

Comments: v2; 19 pages; changes in presentation and new result related to FI-modules added

Subjects: Representation Theory (math.RT); Category Theory (math.CT); Number Theory (math.NT); Probability (math.PR)

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

Title: Pointfree topology and constructive mathematics

Graham Manuell

Comments: 52 pages. Lecture notes for my course at the TACL Summer School in Praia de Mira in June 2022. Made some small corrections and improvements

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

[39] arXiv:2304.06633 (cross-list from math.DG) [pdf, other]

Title: Higher Geometric Structures on Manifolds and the Gauge Theory of Deligne Cohomology

Severin Bunk, C. S. Shahbazi

Comments: 102 pages; comments welcome

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

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

Title: Biset functors for categories

Peter Webb

Comments: 80 pages

Subjects: Representation Theory (math.RT); Category Theory (math.CT); K-Theory and Homology (math.KT)

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

Title: Categorical Quantum Groups and Braided Monoidal 2-Categories

Hank Chen, Florian Girelli

Comments: 90 pages (v3: clarified introduction; fixed labels and references)

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

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

Title: Causal models in string diagrams

Robin Lorenz, Sean Tull

Comments: 105 pages, lots of diagrams; comments very welcome

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

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

Title: Derived $C^{\infty}$-Geometry I: Foundations

Pelle Steffens

Comments: Version 2 (minor corrections); 205 pages; comments welcome

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

[44] arXiv:2304.08836 (cross-list from math.OA) [pdf, other]

Title: A systematic approach for invariants of C*-algebras

Laurent Cantier

Comments: v.3: 32 pages - change of notation for hausdorffized algebraic K1 group - (already) Accepted for publication in Studia Mathematica

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

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

Title: A categorical account of composition methods in logic

Tomáš Jakl, Dan Marsden, Nihil Shah

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

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

Title: Towards coherence theorems for equational extensions of type theories

Rafaël Bocquet

Comments: Subsumes arXiv:2010.14166

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

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

Title: The first step towards symplectic homotopy theory

Vardan Oganesyan

Comments: Significant changes. Proved new theorems and added a few more sections. 70 pages

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

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

Title: The Algebra for Stabilizer Codes

Cole Comfort

Comments: Fixed errors. Made presentation much cleaner. Made results more precise

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

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

Title: Model theory in compactly generated (tensor-)triangulated categories

Mike Prest, Rose Wagstaffe

Comments: minor changes

Journal-ref: Model Th. 3 (2024) 147-197

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

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

Title: Effectful Semantics in Bicategories: Strong, Commutative, and Concurrent Pseudomonads

Hugo Paquet, Philip Saville

Comments: LICS 2024 + Appendix

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