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)

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

Title: The Diffeological \v{C}ech-de Rham Obstruction

Emilio Minichiello

Comments: 41 pages, comments welcome!

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

[52] arXiv:2401.09427 (cross-list from math.DS) [pdf, html, other]

Title: An Abstract Category of Dynamical Systems

James Schmidt

Subjects: Dynamical Systems (math.DS); Category Theory (math.CT)

[53] arXiv:2401.10008 (cross-list from cs.CR) [pdf, html, other]

Title: Attack tree metrics are operad algebras

Milan Lopuhaä-Zwakenberg

Subjects: Cryptography and Security (cs.CR); Category Theory (math.CT)

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

Title: Categories of Pseudocones and Equivariant Descent

Geoff Vooys

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

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

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

Title: On the Equivariant Derived Category of Perverse Sheaves

Geoff Vooys

Comments: 40 Pages. Comments welcome!

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

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

Title: Single-set cubical categories and their formalisation with a proof assistant (extended version)

Philippe Malbos, Tanguy Massacrier, Georg Struth

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

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

Title: Univalent Enriched Categories and the Enriched Rezk Completion

Niels van der Weide

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

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

Title: Dualizations of approximations, $\aleph_1$-projectivity, and Vop\v{e}nka's Principles

Asmae Ben Yassine, Jan Trlifaj

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

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

Title: On The Axioms Of $\mathcal{M},\mathcal{N}$-Adhesive Categories

Davide Castelnovo, Marino Miculan

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

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

Title: Exodromy beyond conicality

Peter J. Haine, Mauro Porta, Jean-Baptiste Teyssier

Comments: Comments very welcome. 73 pages

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

[61] arXiv:2401.13255 (cross-list from cs.CR) [pdf, html, other]

Title: Constructing a fully homomorphic encryption scheme with the Yoneda Lemma

Rémy Tuyéras

Comments: 52 pages; corrected typos; generalized and extended section 5, added section on refreshable ciphertexts

Subjects: Cryptography and Security (cs.CR); Category Theory (math.CT)

[62] arXiv:2401.13283 (cross-list from gr-qc) [pdf, other]

Title: Functoriality in Finitary Vacuum Einstein Gravity and Free Yang-Mills Theories from an Abstract Differential Geometric Perspective

Ioannis Raptis

Comments: This is an invited paper contribution to a Special Volume titled `Physical Geometry: Unravelling the Weave of Quantum Geometry' in memory and honour of Professor Anastasios Mallios, edited by Dr Elias Zafiris. Extended latest version includes two Addenda and an Appendix at the back

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

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

Title: Homology Generators and Relations for the Ordered Configuration Space of a Star Graph

Nicholas Wawrykow

Comments: 26 pages, 20 figures

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

[64] arXiv:2401.13838 (cross-list from cond-mat.str-el) [pdf, other]

Title: Levin-Wen is a gauge theory: entanglement from topology

Kyle Kawagoe, Corey Jones, Sean Sanford, David Green, David Penneys

Comments: 16 pages, 1 figure

Subjects: Strongly Correlated Electrons (cond-mat.str-el); Mathematical Physics (math-ph); Category Theory (math.CT); Operator Algebras (math.OA); Quantum Algebra (math.QA)

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

Title: Epimorphisms and Acyclic Types in Univalent Foundations

Ulrik Buchholtz, Tom de Jong, Egbert Rijke

Comments: To appear in The Journal of Symbolic Logic

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

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

Title: Universal Weil cohomology

L. Barbieri-Viale, B. Kahn

Comments: Appendix on gradings added

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

[67] arXiv:2401.14669 (cross-list from math.ST) [pdf, html, other]

Title: Hidden Markov Models and the Bayes Filter in Categorical Probability

Tobias Fritz, Andreas Klingler, Drew McNeely, Areeb Shah-Mohammed, Yuwen Wang

Comments: 76 pages. v2: added Examples 3.8 and 3.23 on possibilistic filter and Section 1.5 on implementation

Subjects: Statistics Theory (math.ST); Systems and Control (eess.SY); Category Theory (math.CT)

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

Title: Foundations of Substructural Dependent Type Theory

C.B. Aberlé

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

[69] arXiv:2401.16739 (cross-list from math.CO) [pdf, other]

Title: Independence numbers in certain families of highly symmetric graphs

David Guan, Eric Ramos

Comments: Associated code can be found here: this https URL

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

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

Title: Classification diagrams of simplicial categories

Kensuke Arakawa

Comments: 10 pages; comments welcome

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

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

Title: An Analysis of Symmetry in Quantitative Semantics

Pierre Clairambault, Simon Forest

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