Category Theory

Authors and titles for July 2021

[1] arXiv:2107.01778 [pdf, other]

Title: Quantaloidal Approach to Constraint Satisfaction

Soichiro Fujii, Yuni Iwamasa, Kei Kimura

Comments: In Proceedings ACT 2021, arXiv:2211.01102

Journal-ref: EPTCS 372, 2022, pp. 289-305

Subjects: Category Theory (math.CT); Computational Complexity (cs.CC)

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

Title: The category of $π$-finite spaces

Mathieu Anel

Comments: v2. add an initiality result and the proof that not all pushout exist. v3 new appendix on univalent families in pretopoi and renew section on the universe of pi-finite spaces, corrected a few mistakes. v4 simplified a few proofs, last version before publication in JPAA

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

[3] arXiv:2107.02374 [pdf, other]

Title: Homological kernels of monoidal functors

Kevin Coulembier

Subjects: Category Theory (math.CT)

[4] arXiv:2107.03858 [pdf, html, other]

Title: Categories of quantum liquids II

Liang Kong, Hao Zheng

Comments: 35 pages. Final version

Journal-ref: Commun. Math. Phys. (2024) 405:203

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

[5] arXiv:2107.03880 [pdf, other]

Title: Monads on Categories of Relational Structures

Chase Ford, Stefan Milius, Lutz Schröder

Comments: 36 pages

Subjects: Category Theory (math.CT)

[6] arXiv:2107.06444 [pdf, other]

Title: Interaction decomposition for Hilbert spaces

Grégoire Sergeant-Perthuis

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

[7] arXiv:2107.07621 [pdf, other]

Title: Double Categories of Relations

Michael Lambert

Comments: 21 pages

Subjects: Category Theory (math.CT)

[8] arXiv:2107.07743 [pdf, other]

Title: Categorification of Harder-Narasimhan Theory via slope functions

Yao Li

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

[9] arXiv:2107.08612 [pdf, other]

Title: Flat vs. filtered colimits in the enriched context

Stephen Lack, Giacomo Tendas

Comments: Revised version: major changes to the introduction, added some words at the beginning of Sect. 3 and 4. To appear on Advances in Mathematics

Journal-ref: Advances in Mathematics, Volume 404, Part A, 6 August 2022, 108381

Subjects: Category Theory (math.CT)

[10] arXiv:2107.10526 [pdf, other]

Title: Bimonoidal Categories, $E_n$-Monoidal Categories, and Algebraic $K$-Theory

Niles Johnson, Donald Yau

Comments: This is an abridged version of the book for arxiv.org that contains the full list of open questions together with front and back matters. The complete pdf version is available on the authors' web pages: this https URL or this https URL

Subjects: Category Theory (math.CT); Algebraic Topology (math.AT); K-Theory and Homology (math.KT); Quantum Algebra (math.QA)

[11] arXiv:2107.11086 [pdf, other]

Title: Remarks on partially abelian exact categories

Theo Buehler

Comments: 5 pages

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

[12] arXiv:2107.11301 [pdf, other]

Title: Each closure operator induces a topology and vice-versa ("version for children")

Eduardo Ochs

Comments: 43 pages

Subjects: Category Theory (math.CT)

[13] arXiv:2107.11753 [pdf, other]

Title: On category of Lie algebras

P G Romeo, Arjun S N

Comments: 11 pages 0 figures

Subjects: Category Theory (math.CT)

[14] arXiv:2107.12356 [pdf, other]

Title: Cartesian Fibrations of $(\infty,2)$-categories

Andrea Gagna, Yonatan Harpaz, Edoardo Lanari

Comments: Final version accepted for publication. Preliminaries expanded and section 2 reorganized, with the main example now occupying section 3

Journal-ref: Algebr. Geom. Topol. 24 (2024) 4731-4778

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

[15] arXiv:2107.13623 [pdf, other]

Title: Yoneda extensions of abelian quotient categories

Ramin Ebrahimi

Comments: Revised version following referee's report. Comments are welcome!

Subjects: Category Theory (math.CT)

[16] arXiv:2107.13667 [pdf, other]

Title: The 2-category of 2-term complexes

Jonathan Wise

Comments: 14 pages

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

[17] arXiv:2107.13901 [pdf, other]

Title: The category of Silva spaces is not integral

Marianne Lawson, Sven-Ake Wegner

Comments: 5 pages

Journal-ref: Homology, Homotopy and Applications 25 (2023), no. 1, 367-374

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

[18] arXiv:2107.13989 [pdf, other]

Title: Inner automorphisms of presheaves of groups

Jason Parker

Comments: 35 pages

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

[19] arXiv:2107.14031 [pdf, other]

Title: Doctrines, modalities and comonads

Francesco Dagnino, Giuseppe Rosolini

Journal-ref: Math. Struct. Comp. Sci. 31 (2021) 769-798

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

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

Title: Coherent presentations of monoids with a right-noetherian Garside family

Pierre-Louis Curien, Alen Ðurić, Yves Guiraud

Journal-ref: J. Homotopy Relat. Struct. 18 (2023), 115-152

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

[21] arXiv:2107.01975 (cross-list from cs.IT) [pdf, other]

Title: The information loss of a stochastic map

James Fullwood, Arthur J. Parzygnat

Comments: 31 pages; Typos fixed in Defn 2.12 and the proofs of Prop 4.2 iii) and Prop 6.8 (numbering scheme differs from published version)

Journal-ref: Entropy 2021, 23(8), 1021

Subjects: Information Theory (cs.IT); Category Theory (math.CT); Probability (math.PR)

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

Title: Fully extended $\boldsymbol{r}$-spin TQFTs

Nils Carqueville, Lóránt Szegedy

Comments: 64 pages; v2: minor changes, Proposition 3.2 assumes a pivotal structure

Journal-ref: Quantum Topol. 14 (2023), no. 3, pp. 467-532

Subjects: Quantum Algebra (math.QA); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Algebraic Topology (math.AT); Category Theory (math.CT)

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

Title: On Frobenius exact symmetric tensor categories

Kevin Coulembier, Pavel Etingof, Victor Ostrik

Comments: With an appendix by Alexander Kleshchev

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

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

Title: Supports for constructible systems

Martin Gallauer

Comments: 31 pages; v2: many small improvements following referee report; published version

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

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

Title: Non-vanishing higher derived limits

Boban Velickovic, Alessandro Vignati

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