Category Theory

Authors and titles for May 2021

[26] arXiv:2105.09604 [pdf, other]

Title: A note on the category of equivalence relations

Valentino Delle Rose, Luca San Mauro, Andrea Sorbi

Comments: 14 pages, forthcoming in Algebra and Logic

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

[27] arXiv:2105.10028 [pdf, html, other]

Title: Escrows are optics

Fabrizio Genovese, Fosco Loregian, Daniele Palombi

Comments: 16 pages, like a camel in a drainpipe. Published in the Journal of Financial Technology (the JFT). Accepted June 19, 2023. Published Jun 26, 2023

Subjects: Category Theory (math.CT)

[28] arXiv:2105.10143 [pdf, other]

Title: An Essential Local Geometric Morphism which is not Locally Connected though its Inverse Image Part defines an Exponential Ideal

Richard Garner, Thomas Streicher

Comments: This is a preliminary version of the paper which has appeared at TAC. It contains a modification of the second counterexample as required by one of the reviewers. A few typos have been corrected in March 2022

Subjects: Category Theory (math.CT)

[29] arXiv:2105.10531 [pdf, other]

Title: Cotorsion Pairs and Quillen Adjunctions

Rene Recktenwald

Comments: 36 pages

Subjects: Category Theory (math.CT)

[30] arXiv:2105.10811 [pdf, other]

Title: On tensor products of matrix factorizations

Yves Baudelaire Fomatati

Comments: 36 pages, revised version accepted in a peer-reviewed journal

Subjects: Category Theory (math.CT)

[31] arXiv:2105.10822 [pdf, other]

Title: Homotopies in Multiway (Non-Deterministic) Rewriting Systems as $n$-Fold Categories

Xerxes D. Arsiwalla, Jonathan Gorard, Hatem Elshatlawy

Comments: 16 pages, 5 figures

Subjects: Category Theory (math.CT); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Mathematical Physics (math-ph); Combinatorics (math.CO)

[32] arXiv:2105.11483 [pdf, other]

Title: The left heart and exact hull of an additive regular category

Ruben Henrard, Sondre Kvamme, Adam-Christiaan van Roosmalen, Sven-Ake Wegner

Journal-ref: Rev. Mat. Iberoam. 39 (2023), no. 2, 439-494

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

[33] arXiv:2105.11736 [pdf, other]

Title: Fredholm modules over categories, Connes periodicity and classes in cyclic cohomology

Mamta Balodi, Abhishek Banerjee

Comments: This paper supersedes and replaces both arXiv:1912.12658 [math.CT] and also arXiv:1901.09580 [math.CT]

Subjects: Category Theory (math.CT)

[34] arXiv:2105.11943 [pdf, other]

Title: Homology of infinity-operads

Eric Hoffbeck, Ieke Moerdijk

Comments: 25 pages

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

[35] arXiv:2105.12282 [pdf, other]

Title: Operadic Modeling of Dynamical Systems: Mathematics and Computation

Sophie Libkind, Andrew Baas, Evan Patterson, James Fairbanks

Comments: In Proceedings ACT 2021, arXiv:2211.01102

Journal-ref: EPTCS 372, 2022, pp. 192-206

Subjects: Category Theory (math.CT)

[36] arXiv:2105.12316 [pdf, other]

Title: Fibrations and Koszul duality in locally Cartesian localisations

Andrew W. Macpherson

Comments: 20 pages. v2: Examples substantially expanded, added Koszul duality statements. The title of this paper was previously "Locally Cartesian localisations and the higher Thomason model structure." Keywords: model infinity category, right proper, nullification, A1 homotopy, plus construction, groupoid completion, Koszul duality

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

[37] arXiv:2105.12801 [pdf, html, other]

Title: Dialectica Petri Nets

Elena Di Lavore, Wilmer Leal, Valeria de Paiva

Comments: Reorder sections

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

[38] arXiv:2105.12905 [pdf, other]

Title: Composing Behaviors of Networks

Jade Master

Comments: 101 pages

Subjects: Category Theory (math.CT)

[39] arXiv:2105.13166 [pdf, other]

Title: Composing PROBs

Daniel Graves

Comments: 11 pages. Some minor additions and revisions to the previous version. Published in Theory and Applications of Categories

Journal-ref: Theory and Applications of Categories, Vol. 38, 2022, No. 26, pp 1050-1061

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

[40] arXiv:2105.13642 [pdf, other]

Title: Category Algebras and States on Categories

Hayato Saigo

Comments: 16 pages

Subjects: Category Theory (math.CT); Combinatorics (math.CO); Functional Analysis (math.FA); Quantum Algebra (math.QA); Rings and Algebras (math.RA)

[41] arXiv:2105.14654 [pdf, other]

Title: Factorization systems in $\infty$-categories

Roman Kositsyn

Comments: 44 pages, v2: fixed typos

Subjects: Category Theory (math.CT)

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

Title: Types are Internal $\infty$-Groupoids

Antoine Allioux, Eric Finster, Matthieu Sozeau

Comments: Extended version of the LICS 2021 article

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

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

Title: Chase's lemma and its context

Henning Krause

Comments: 6 pages, contribution to the series `Selected Topics in Representation Theory' at Bielefeld University

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

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

Title: Traces for factorization homology in dimension 1

David Ayala, John Francis

Comments: 33 pages

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

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

Title: Metric Comparisons of Relations

Kenneth P. Ewing, Michael Robinson

Comments: 38 pages, 6 figures

Subjects: Geometric Topology (math.GT); Category Theory (math.CT)

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

Title: On the minimal extension and structure of weakly group-theoretical braided fusion categories

Victor Ostrik, Zhiqiang Yu

Comments: 15 pages, final version

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

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

Title: Recursion and Sequentiality in Categories of Sheaves

Cristina Matache, Sean Moss, Sam Staton

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

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

Title: Perfect monoids with zero and categories of $S$-acts

Josef Dvořák, Jan Žemlička

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

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

Title: De Finetti's Theorem in Categorical Probability

Tobias Fritz, Tomáš Gonda, Paolo Perrone

Comments: 26 pages. v3: referee's suggestions incorporated

Journal-ref: J. Stoch. Anal. 2(4), 6 (2021)

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

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

Title: Constructing Initial Algebras Using Inflationary Iteration

Andrew M. Pitts (University of Cambridge), S. C. Steenkamp (University of Cambridge)

Comments: In Proceedings ACT 2021, arXiv:2211.01102

Journal-ref: EPTCS 372, 2022, pp. 88-102

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