Category Theory

Authors and titles for January 2024

[1] arXiv:2401.01071 [pdf, other]

Title: Cartesian closed and stable subconstructs of [0,1]-Cat

Hongliang Lai, Qingzhu Luo

Comments: 18pages

Subjects: Category Theory (math.CT)

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

Title: On internal categories and crossed objects in the category of monoids

Ilia Pirashvili

Subjects: Category Theory (math.CT)

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

Title: The powerset monad on quantale-valued sets

Lili Shen, Xiaojuan Zhao

Comments: 17 pages, final version

Journal-ref: Fuzzy Sets and Systems, 479:108855, 2024

Subjects: Category Theory (math.CT)

[4] arXiv:2401.04242 [pdf, other]

Title: Automata and coalgebras in categories of species

Fosco Loregian

Comments: Hom. Il. 18.371-376; extended version of the note published in the proceedings of CMCS2024

Subjects: Category Theory (math.CT); Formal Languages and Automata Theory (cs.FL)

[5] arXiv:2401.04704 [pdf, other]

Title: All Segal objects are monads in generalised spans

David Kern

Comments: 25 pages. Comments are welcome!

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

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

Title: Categorical aspects of congruence distributivity

Michael Hoefnagel, Diana Rodelo

Subjects: Category Theory (math.CT)

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

Title: Constructor Theory as Process Theory

Stefano Gogioso (Hashberg Ltd), Vincent Wang-Maścianica (Quantinuum Ltd), Muhammad Hamza Waseem (Quantinuum Ltd), Carlo Maria Scandolo (University of Calgary), Bob Coecke (Quantinuum Ltd)

Comments: In Proceedings ACT 2023, arXiv:2312.08138

Journal-ref: EPTCS 397, 2023, pp. 137-151

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

[8] arXiv:2401.05974 [pdf, other]

Title: An Enriched Small Object Argument Over a Cofibrantly Generated Base

Jan Jurka

Comments: 30 pages, minor changes

Subjects: Category Theory (math.CT)

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

Title: A note on the atomicity of arithmeticity

Michael Hoefnagel, Pierre-Alain Jacqmin

Comments: 9 pages, 1 figure

Subjects: Category Theory (math.CT)

[10] arXiv:2401.06584 [pdf, other]

Title: Dagger categories and the complex numbers: Axioms for the category of finite-dimensional Hilbert spaces and linear contractions

Matthew Di Meglio, Chris Heunen

Comments: 27 pages

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

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

Title: Flat model structures for accessible exact categories

Jack Kelly

Comments: Preliminary Version; Comments very welcome! 73 pages

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

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

Title: Products in double categories, revisited

Evan Patterson

Comments: 52 pages

Subjects: Category Theory (math.CT)

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

Title: The diagrammatic presentation of equations in categories

Kevin Arlin, James Fairbanks, Tim Hosgood, Evan Patterson

Comments: 42 pages

Subjects: Category Theory (math.CT)

[14] arXiv:2401.09892 [pdf, other]

Title: Identity in the presence of adjunction

Mateusz Stroiński

Comments: 33 pages

Journal-ref: Int. Math. Res. Not. IMRN, 2024

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

[15] arXiv:2401.10117 [pdf, other]

Title: A Categorical Perspective on Gluing

Sophie Marques, Damas Mgani

Comments: 26 pages, 22 figures. arXiv admin note: text overlap with arXiv:2304.14093

Subjects: Category Theory (math.CT)

[16] arXiv:2401.11781 [pdf, other]

Title: Kleisli categories, T-categories and internal categories

Dominique Bourn

Comments: 46 pages

Subjects: Category Theory (math.CT)

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

Title: Constructing monoidal structures on fibered categories via factorizations

Luca Terenzi

Comments: 45 pages

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

[18] arXiv:2401.13491 [pdf, other]

Title: Tensor structures on fibered categories

Luca Terenzi

Comments: 78 pages; v2: revised introduction, some references added

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

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

Title: Extending monoidal structures on fibered categories via embeddings

Luca Terenzi

Comments: 55 pages

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

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

Title: On the functoriality of universal abelian factorizations

Luca Terenzi

Comments: 40 pages

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

[21] arXiv:2401.14059 [pdf, other]

Title: Functors induced by comma categories

Suddhasattwa Das

Subjects: Category Theory (math.CT)

[22] arXiv:2401.14311 [pdf, other]

Title: Higher categories

Rune Haugseng

Comments: 33 pages; contribution to Encyclopedia of Mathematical Physics, 2nd ed

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

[23] arXiv:2401.16900 [pdf, other]

Title: 2-classifiers via dense generators and Hofmann-Streicher universe in stacks

Luca Mesiti

Comments: Accepted in Canadian Journal of Mathematics

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

[24] arXiv:2401.17076 [pdf, other]

Title: The theory and applications of anticolimits

Calin Tataru, Jamie Vicary

Subjects: Category Theory (math.CT)

[25] arXiv:2401.17250 [pdf, other]

Title: Lifting twisted coreflections against delta lenses

Bryce Clarke

Comments: 40 pages, final version

Journal-ref: Theory and Applications of Categories, Vol. 41, 2024, No. 26, pp 838-877

Subjects: Category Theory (math.CT)

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

Title: Reversing information flow: retrodiction in semicartesian categories

Arthur J. Parzygnat

Comments: 20.5 pages + references, some diagrams

Subjects: Category Theory (math.CT); Information Theory (cs.IT); Probability (math.PR); Quantum Physics (quant-ph)

[27] arXiv:2401.17494 [pdf, other]

Title: Premonoidal and Kleisli double categories

Bojana Femić

Comments: The definition of centers corrected and the condition of monoidality of the double monad in Section 6 removed

Subjects: Category Theory (math.CT)

[28] arXiv:2401.18078 [pdf, other]

Title: Structures on the Category of N-Complexes

Felix Küng

Comments: 58 pages, upload of thesis completed 2018. Comments are very welcome at this http URL@ulb.be

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

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

Title: Bounded $t$-structures, finitistic dimensions, and singularity categories of triangulated categories

Rudradip Biswas, Hongxing Chen, Kabeer Manali Rahul, Chris J. Parker, Junhua Zheng

Comments: 42 pages

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

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

Title: Representability in non-linear elliptic Fredholm analysis

John Pardon

Comments: 20 pages, for the proceedings of the ICBS 2023

Subjects: Analysis of PDEs (math.AP); Algebraic Topology (math.AT); Category Theory (math.CT); Differential Geometry (math.DG); Symplectic Geometry (math.SG)

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

Title: Orthogonal webs and semisimplification

Elijah Bodish, Daniel Tubbenhauer

Comments: 51 pages, many figures, comments welcome

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

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

Title: Hereditary $n$-exangulated categories

Jian He, Jing He, Panyue Zhou

Comments: 15 pages. arXiv admin note: substantial text overlap with arXiv:2109.12954, arXiv:2006.02223, arXiv:2108.07985, arXiv:2111.06522, arXiv:1909.13284

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

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

Title: The weak categorical quiver minor theorem and its applications: matchings, multipaths, and magnitude cohomology

Luigi Caputi, Carlo Collari, Eric Ramos

Comments: 18 pages, 6 figures, comments are welcome!

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

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

Title: Profinite equivariant spectra and their tensor-triangular geometry

Scott Balchin, David Barnes, Tobias Barthel

Comments: 88 pages, all comments welcome!

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

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

Title: Iyama-Solberg correspondence for exact dg categories

Xiaofa Chen

Comments: v2, a subsection on an equivalence of $\infty$-groupoids is added. Comments are very welcome!

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

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

Title: Quantum Sets of Compact Quantum Groups

Mainak Ghosh

Comments: 14 pages, tikz figures, comments are welcome

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

[37] arXiv:2401.02091 (cross-list from cs.LO) [pdf, html, other]

Title: Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem

Adriano Barile, Stefano Berardi, Luca Roversi

Comments: Presented at the 24th Italian Conference on Theoretical Computer Science (ICTCS 2023), September 13-15, 2023, Palermo, Italy

Journal-ref: CEUR Workshop Proceedings, Vol-3587, Proceedings of the 24th Italian Conference on Theoretical Computer Science, Giuseppa Castiglione and Marinella Sciortino (eds.), 2023, pp. 31-43, https://ceur-ws.org/Vol-3587/

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

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

Title: Globalizing and stabilizing global $\infty$-categories

Sil Linskens

Comments: 40 pages. Comments welcome!

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

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

Title: The spectrum of Artin motives

Paul Balmer, Martin Gallauer

Comments: 21 pages; v2: minor changes before publication

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

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

Title: The categories of corings and coalgebras over a ring are locally countably presentable

Leonid Positselski

Comments: LaTeX 2e with xy-pic; 24 pages, 6 commutative diagrams; v.3: small mistake in the proof of Theorem 4.2 corrected; v.4: two paragraphs on motivation added at the end of the Introduction, assumptions of Theorems 1.2 and 1.3 relaxed, a new Section 2 (on the categories of comonoid objects in accessible monoidal categories) inserted

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

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

Title: Simple tilts of length hearts and simple-minded mutation

Nathan Broomhead, Raquel Coelho Simoes, David Pauksztello, Jon Woolf

Comments: 27 pages, 3 figures

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

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

Title: A braided monoidal $(\infty,2)$-category of Soergel bimodules

Yu Leon Liu, Aaron Mazel-Gee, David Reutter, Catharina Stroppel, Paul Wedrich

Comments: 142 pages, comments welcome, v2 with minor change in title

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

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

Title: Infinitely ludic categories

Matheus Duzi, Paul Szeptycki, Walter Tholen

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

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

Title: Locally finitely presented Grothendieck categories and the pure semisimplicity conjecture

Ziba Fazelpour, Alireza Nasr-Isfahani

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

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

Title: Contraderived categories of CDG-modules

Leonid Positselski, Jan Stovicek

Comments: LaTeX 2e with xy-pic and one mathb symbol; 66 pages, 5 commutative diagrams

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

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

Title: Diagrammatic Algebra of First Order Logic

Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski

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

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

Title: Graphical Symplectic Algebra

Robert I. Booth, Titouan Carette, Cole Comfort

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

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

Title: Model structure from one hereditary complete cortorsion pair

Jian Cui, Xue-Song Lu, Pu Zhang

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

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

Title: Fundamental Theorems of Calculus and Zinbiel Algebras

Jean-Simon Pacaud Lemay

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

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

Title: The index with respect to a contravariantly finite subcategory

Francesca Fedele, Peter Jorgensen, Amit Shah

Comments: Minor corrections, 13 pages

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