Category Theory

Authors and titles for June 2022

[1] arXiv:2206.00698 [pdf, other]

Title: Labelled cospan categories and properads

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, other]

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

Paul Lessard

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

[3] arXiv:2206.00949 [pdf, other]

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

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, other]

Title: Generalized point-free spaces, pointwise

Steven Vickers

Comments: 32 pages

Subjects: Category Theory (math.CT)

[5] arXiv:2206.01180 [pdf, other]

Title: Baumslag-Solitar graphs through colours

Katie Buchhorn

Comments: Not intended for publication

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

[6] arXiv:2206.01416 [pdf, other]

Title: Multipliers of a semigroup object in a monoidal category

Laurent Poinsot (CReA, LIPN)

Subjects: Category Theory (math.CT)

[7] arXiv:2206.01994 [pdf, other]

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

Shoma Fujino, Makoto Matsumoto

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

[8] arXiv:2206.02744 [pdf, other]

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

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

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

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, other]

Title: Value Iteration is Optic Composition

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, other]

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

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, other]

Title: Enriched purity and presentability in Banach spaces

Jiří Rosický

Comments: a revised version, 27 pages

Journal-ref: Comm. Alg. 51 (2023), 5242-5262

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

[14] arXiv:2206.09646 [pdf, other]

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

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

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

Matthias Hutzler

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

[17] arXiv:2206.12724 [pdf, other]

Title: T-structures on unbounded twisted complexes

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, other]

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

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

Paul Lessard

Subjects: Category Theory (math.CT)

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

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

Vladimir Hinich, Ieke Moerdijk

Comments: 31 pages, the final version, accepted for publication by Journal of Topology

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

[21] arXiv:2206.14629 [pdf, other]

Title: Goodness in $n$-angulated categories

Sebastian H. Martensen

Comments: 21 pages

Subjects: Category Theory (math.CT)

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

Title: Algebras over a symmetric fusion category and integrations

Xiao-Xue Wei

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

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

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

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

Á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, other]

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

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, other]

Title: Global homotopy theory via partially lax limits

Sil Linskens, Denis Nardin, Luca Pol

Comments: 70 pages. Improved introduction plus small reorganization of some results. Comments welcome!

Journal-ref: Geom. Topol. 29 (2025) 1345-1440

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

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

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

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, other]

Title: Ramification theory from homotopical point of view, I

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, other]

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

Viktoriya Ozornova, Martina Rovelli

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

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

Title: Verdier duality on conically smooth stratified spaces

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, other]

Title: An axiomatic approach to the multiverse of sets

Alec Rhea

Comments: 16 pages

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

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

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

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.04814 (cross-list from quant-ph) [pdf, other]

Title: Universal Properties of Partial Quantum Maps

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)

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

Title: Ends of spaces via linear algebra

Jerzy Dydak, Hussain Rashed

Comments: 21 pages

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

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

Title: Compositional Exploration of Combinatorial Scientific Models

Kristopher Brown, Tyler Hanks, James Fairbanks

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

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

Title: Universal co-Extensions of torsion abelian groups

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)

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

Title: Clifford's theorem for orbit categories

Alexander Zimmermann

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

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

Title: Two results of $n$-exangulated categories

Jian He, Jing He, Panyue Zhou

Comments: 11 pages

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

[39] arXiv:2206.09784 (cross-list from quant-ph) [pdf, other]

Title: Extending Resource Monotones using Kan Extensions

Robin Cockett, Isabelle Jianing Geng, Carlo Maria Scandolo, Priyaa Varshinee Srinivasan

Comments: In Proceedings ACT 2022, arXiv:2307.15519

Journal-ref: EPTCS 380, 2023, pp. 203-223

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

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

Title: Semisimple Field Theories Detect Stable Diffeomorphism

David Reutter, Christopher Schommer-Pries

Comments: 63 pages

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

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

Title: An axiomatic approach to higher order set theory

Alec Rhea

Comments: 14 pages

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

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

Title: Categorical matrix factorizations

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)

[43] 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)

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)

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

Title: Homotopy cartesian squares in extriangulated categories

Jing He, Chenbei Xie, Panyue Zhou

Comments: 8 pages

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

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

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

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)

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

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

Yuxu Chen, Hui Kou, Xiaolin Xie

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

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

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

Ü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)

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

Title: Diegetic Representation of Feedback in Open Games

Matteo Capucci (University of Strathclyde)

Comments: In Proceedings ACT 2022, arXiv:2307.15519

Journal-ref: EPTCS 380, 2023, pp. 145-158

Subjects: Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA); Category Theory (math.CT)

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

Title: Introduction to 2-dimensional Topological Quantum Field Theory

Leon Menger

Comments: 94 pages + bibliography + index

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

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

Title: The Bicategory of Lie Groupoids within Diffeological Groupoids

Jordan Watts

Comments: 27 pages; v3 is a condensed version of v2, focusing on anafunctors and bibundles and new results, but without the bicategorical detail; v2 (84 pages) 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)