Category Theory

Authors and titles for math.CT in Jun 2022

[1]  arXiv:2206.00698 [pdf, other]

Title: Labelled cospan categories and properads

Authors: Jonathan Beardsley, Philip Hackney

Comments: 63 pages. v2: Several updates based on suggestions from a referee

Journal-ref: J. Pure Appl. Algebra 228 (2024), no. 2, 107471

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

[2]  arXiv:2206.00849 [pdf, ps, other]

Title: $\mathbf{Z}$-Categories I

Authors: Paul Lessard

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

[3]  arXiv:2206.00949 [pdf, ps, other]

Title: A symmetric approach to higher coverings in categorical Galois theory

Authors: Fara Renaud, Tim Van der Linden

Comments: 27 pages

Journal-ref: Appl. Categ. Structures 31 (2023), no. 10

Subjects: Category Theory (math.CT)

[4]  arXiv:2206.01113 [pdf, ps, other]

Title: Generalized point-free spaces, pointwise

Authors: Steven Vickers

Comments: 32 pages

Subjects: Category Theory (math.CT)

[5]  arXiv:2206.01180 [pdf, ps, other]

Title: Baumslag-Solitar graphs through colours

Authors: Katie Buchhorn

Comments: Not intended for publication

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

[6]  arXiv:2206.01416 [pdf, ps, other]

Title: Multipliers of a semigroup object in a monoidal category

Authors: Laurent Poinsot (CReA, LIPN)

Subjects: Category Theory (math.CT)

[7]  arXiv:2206.01994 [pdf, ps, other]

Title: Lovàsz's hom-counting theorem by inclusion-exclusion principle

Authors: Shoma Fujino, Makoto Matsumoto

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

[8]  arXiv:2206.02744 [pdf, ps, other]

Title: Central extensions of associative algebras and weakly action representable categories

Authors: George Janelidze

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

[9]  arXiv:2206.03294 [pdf, other]

Title: A diagrammatic calculus for categorical quantum protocols

Authors: Dusan Dordevic, Zoran Petric, Mladen Zekic

Comments: 25 pages + appendix; continuation and application of arXiv:2001.09736; v2: section 9 added, references added; v3: references added, typos removed

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

[10]  arXiv:2206.03868 [pdf, other]

Title: Open Dynamical Systems as Coalgebras for Polynomial Functors, with Application to Predictive Processing

Authors: Toby St. Clere Smithe (Topos Institute)

Comments: In Proceedings ACT 2022, arXiv:2307.15519

Journal-ref: EPTCS 380, 2023, pp. 307-330

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

[11]  arXiv:2206.04547 [pdf, ps, other]

Title: Value Iteration is Optic Composition

Authors: Jules Hedges (University of Strathclyde), Riu Rodríguez Sakamoto (University of Strathclyde)

Comments: In Proceedings ACT 2022, arXiv:2307.15519

Journal-ref: EPTCS 380, 2023, pp. 417-432

Subjects: Category Theory (math.CT); Optimization and Control (math.OC)

[12]  arXiv:2206.06858 [pdf, ps, other]

Title: Monoidal Kleisli Bicategories and the Arithmetic Product of Coloured Symmetric Sequences

Authors: Nicola Gambino, Richard Garner, Christina Vasilakopoulou

Comments: Modifications according to referee's comments, final version to appear in Documenta Mathematica, 50 pages

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

[13]  arXiv:2206.08546 [pdf, ps, other]

Title: Enriched purity and presentability in Banach spaces

Authors: Jiří Rosický

Comments: a revised version, 27 pages

Subjects: Category Theory (math.CT); Functional Analysis (math.FA)

[14]  arXiv:2206.09646 [pdf, ps, other]

Title: Brown representability for triangulated categories with a linear action by a graded ring

Authors: Janina C. Letz

Comments: 10 pages, small changes for version 2, appeared in Archiv der Mathematik

Subjects: Category Theory (math.CT)

[15]  arXiv:2206.09678 [pdf, other]

Title: On the Pre- and Promonoidal Structure of Spacetime

Authors: James Hefford (University of Oxford), Aleks Kissinger (University of Oxford)

Comments: In Proceedings ACT 2022, arXiv:2307.15519

Journal-ref: EPTCS 380, 2023, pp. 284-306

Subjects: Category Theory (math.CT); General Relativity and Quantum Cosmology (gr-qc)

[16]  arXiv:2206.11244 [pdf, other]

Title: Syntactic presentations for glued toposes and for crystalline toposes

Authors: Matthias Hutzler

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

[17]  arXiv:2206.12724 [pdf, ps, other]

Title: T-structures on unbounded twisted complexes

Authors: Francesco Genovese

Comments: 48 pages, first version. Comments are welcome!

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

[18]  arXiv:2206.12855 [pdf, ps, other]

Title: A note on the Huq-commutativity of normal monomorphisms

Authors: James Richard Andrew Gray, Tamar Janelidze-Gray

Subjects: Category Theory (math.CT)

[19]  arXiv:2206.13725 [pdf, other]

Title: On The Combinatorics of the Gray Cylinder

Authors: Paul Lessard

Subjects: Category Theory (math.CT)

[20]  arXiv:2206.14033 [pdf, ps, other]

Title: On the equivalence of the Lurie's $\infty$-operads and dendroidal $\infty$-operads

Authors: Vladimir Hinich, Ieke Moerdijk

Comments: 30 pages

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

[21]  arXiv:2206.14629 [pdf, ps, other]

Title: Goodness in $n$-angulated categories

Authors: Sebastian H. Martensen

Comments: 21 pages

Subjects: Category Theory (math.CT)

[22]  arXiv:2206.00475 (cross-list from math.QA) [pdf, ps, other]

Title: Algebras over a symmetric fusion category and integrations

Authors: Xiao-Xue Wei

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

[23]  arXiv:2206.00660 (cross-list from math.AT) [pdf, ps, other]

Title: Model independence of $(\infty,2)$-categorical nerves

Authors: Lyne Moser, Viktoriya Ozornova, Martina Rovelli

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

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

Title: Quantization of algebraic invariants through Topological Quantum Field Theories

Authors: Ángel González-Prieto

Comments: Introduction section improved. Typos corrected. 28 pages, 7 figures, 1 table. Comments are welcome!

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

[25]  arXiv:2206.01045 (cross-list from math.QA) [pdf, ps, other]

Title: Landau-Ginzburg/Conformal Field Theory Correspondence for $x^d$ and Module Tensor Categories

Authors: Ana Ros Camacho, Thomas A. Wasserman

Comments: Comments welcome!

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

[26]  arXiv:2206.01556 (cross-list from math.AT) [pdf, ps, other]

Title: Global homotopy theory via partially lax limits

Authors: Sil Linskens, Denis Nardin, Luca Pol

Comments: 70 pages. Comments welcome!

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

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

Title: Locally Self-injective Property of FI$^m$

Authors: Duo Zeng

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

[28]  arXiv:2206.02401 (cross-list from math.AG) [pdf, ps, other]

Title: Ramification theory from homotopical point of view, I

Authors: Tomoyuki Abe

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

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

Title: A Quillen adjunction between globular and complicial approaches to $(\infty,n)$-categories

Authors: Viktoriya Ozornova, Martina Rovelli

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

[30]  arXiv:2206.02728 (cross-list from math.AT) [pdf, ps, other]

Title: Verdier duality on conically smooth stratified spaces

Authors: Marco Volpe

Comments: 30 pages

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

[31]  arXiv:2206.03169 (cross-list from math.LO) [pdf, ps, other]

Title: An axiomatic approach to the multiverse of sets

Authors: Alec Rhea

Comments: 16 pages

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

[32]  arXiv:2206.03911 (cross-list from math.RT) [pdf, ps, other]

Title: The Grothendieck Groups of Discrete Cluster Categories of Dynkin Type $A_{\infty}$

Authors: Dave Murphy

Comments: V2: 18 pages, updated some figures, restated Theorem 4.4, comments welcome!

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

[33]  arXiv:2206.08151 (cross-list from math.MG) [pdf, ps, other]

Title: Ends of spaces via linear algebra

Authors: Jerzy Dydak, Hussain Rashed

Comments: 21 pages

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

[34]  arXiv:2206.08857 (cross-list from math.GR) [pdf, ps, other]

Title: Universal co-Extensions of torsion abelian groups

Authors: Alejandro Argudín-Monroy, Carlos E. Parra

Comments: 26 pages

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

[35]  arXiv:2206.09394 (cross-list from math.RT) [pdf, ps, other]

Title: Clifford's theorem for orbit categories

Authors: Alexander Zimmermann

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

[36]  arXiv:2206.09658 (cross-list from math.RT) [pdf, ps, other]

Title: Two results of $n$-exangulated categories

Authors: Jian He, Jing He, Panyue Zhou

Comments: 11 pages

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

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

Title: Semisimple Field Theories Detect Stable Diffeomorphism

Authors: David Reutter, Christopher Schommer-Pries

Comments: 63 pages

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

[38]  arXiv:2206.10060 (cross-list from math.LO) [pdf, ps, other]

Title: An axiomatic approach to higher order set theory

Authors: Alec Rhea

Comments: 14 pages

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

[39]  arXiv:2206.10755 (cross-list from math.KT) [pdf, ps, other]

Title: Categorical matrix factorizations

Authors: Petter Andreas Bergh, David A. Jorgensen

Comments: 18 pages

Journal-ref: Ann. K-Th. 8 (2023) 355-378

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

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

Title: Classification of nondegenerate $G$-categories (with an appendix written jointly with Germán Stefanich)

Authors: Tom Gannon

Comments: Some material of version 1 has been moved to the companion paper "The universal category O and the Gelfand-Graev action" following referee comments

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

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

Title: Homotopy cartesian squares in extriangulated categories

Authors: Jing He, Chenbei Xie, Panyue Zhou

Comments: 8 pages

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

[42]  arXiv:2206.11630 (cross-list from math.KT) [pdf, ps, other]

Title: Non-abelian and $\varepsilon$-curved homological algebra with arrow categories

Authors: Tobias Fritz

Comments: 25 pages. v2: minor revision

Journal-ref: J. Pure Appl. Algebra 227(6), 107314 (2023)

Subjects: K-Theory and Homology (math.KT); Category Theory (math.CT); Functional Analysis (math.FA)

[43]  arXiv:2206.12075 (cross-list from math.GN) [pdf, ps, other]

Title: Cartesian closed coreflective subcategories of topological spaces determined by monotone convergence classes

Authors: Yuxu Chen, Hui Kou, Xiaolin Xie

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

[44]  arXiv:2206.12096 (cross-list from math.RA) [pdf, ps, other]

Title: Associativity and the cosmash product in operadic varieties of algebras

Authors: Ülo Reimaa, Tim Van der Linden, Corentin Vienne

Comments: Final accepted version; small changes throughout the text; 30 pages; ancillary files contain code used in generating equations

Journal-ref: Illinois J. Math. 67(3): 563-598 (September 2023)

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

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

Title: Introduction to 2-dimensional Topological Quantum Field Theory

Authors: Leon Menger

Comments: 94 pages + bibliography + index

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

[46]  arXiv:2206.12730 (cross-list from math.DG) [pdf, ps, other]

Title: Bicategories of Diffeological Groupoids

Authors: Jordan Watts

Comments: 84 pages; v2 is essentially the same as v1 with some small modifications to the introduction and typographical corrections

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

[47]  arXiv:2206.13643 (cross-list from math.LO) [pdf, ps, other]

Title: Definable and Non-definable Notions of Structure

Authors: Andrew W. Swan

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

[48]  arXiv:2206.15271 (cross-list from math.RT) [pdf, ps, other]

Title: The spectrum of Grothendieck monoid: classifying Serre subcategories and reconstruction theorem

Authors: Shunya Saito

Comments: 29 pages, Added new and corrected an error in the previous version, comments welcome!

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

[49]  arXiv:2206.15337 (cross-list from math.RA) [pdf, ps, other]

Title: Comodule theories in Grothendieck categories and relative Hopf objects

Authors: Mamta Balodi, Abhishek Banerjee, Surjeet Kour

Comments: Minor updates

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

[50]  arXiv:2206.04814 (cross-list from quant-ph) [pdf, ps, other]

Title: Universal Properties of Partial Quantum Maps

Authors: Pablo Andrés-MartíÂ-nez (Quantinuum), Chris Heunen (University of Edinburgh), Robin Kaarsgaard (University of Southern Denmark)

Comments: In Proceedings QPL 2022, arXiv:2311.08375

Journal-ref: EPTCS 394, 2023, pp. 192-207

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