Category Theory

Authors and titles for September 2020

[1] arXiv:2009.00405 [pdf, other]

Title: A 3-categorical perspective on G-crossed braided categories

Corey Jones, David Penneys, David Reutter

Comments: 66 pages, many figures

Journal-ref: J. London Math. Soc. (2023)

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

[2] arXiv:2009.02303 [pdf, other]

Title: Duality theory for enriched Priestley spaces

Dirk Hofmann, Pedro Nora

Subjects: Category Theory (math.CT)

[3] arXiv:2009.05390 [pdf, other]

Title: The 2-Localization of a Quillen's model category

Jaqueline Girabel

Comments: Degree thesis, advisor Eduardo Dubuc, in Spanish, many diagrams

Subjects: Category Theory (math.CT)

[4] arXiv:2009.05545 [pdf, other]

Title: Bi-initial objects and bi-representations are not so different

Tslil Clingman, Lyne Moser

Comments: 52 pages; we fixed issues pointed out by an anonymous referee

Subjects: Category Theory (math.CT)

[5] arXiv:2009.06127 [pdf, other]

Title: Mathematical Morphology via Category Theory

Hossein Memarzadeh Sharifipour, Bardia Yousefi

Subjects: Category Theory (math.CT); Computer Vision and Pattern Recognition (cs.CV)

[6] arXiv:2009.06832 [pdf, other]

Title: Interfacing biology, category theory and mathematical statistics

Dominique Pastor (IMT Atlantique, LabSTICC, Université de Bretagne-Loire), Erwan Beurier (IMT Atlantique, LabSTICC, Université de Bretagne-Loire), Andrée Ehresmann (Faculté des Sciences, Mathématiques, LAMFA, Université de Picardie Jules Verne), Roger Waldeck (IMT Atlantique, LEGO, Université de Bretagne-Loire)

Comments: In Proceedings ACT 2019, arXiv:2009.06334

Journal-ref: EPTCS 323, 2020, pp. 136-148

Subjects: Category Theory (math.CT); Computational Engineering, Finance, and Science (cs.CE); Statistics Theory (math.ST)

[7] arXiv:2009.06835 [pdf, other]

Title: Internal lenses as functors and cofunctors

Bryce Clarke

Comments: In Proceedings ACT 2019, arXiv:2009.06334

Journal-ref: EPTCS 323, 2020, pp. 183-195

Subjects: Category Theory (math.CT)

[8] arXiv:2009.07302 [pdf, other]

Title: Partial Evaluations and the Compositional Structure of the Bar Construction

Carmen Constantin, Paolo Perrone, Tobias Fritz, Brandon T. Shapiro

Comments: 41 pages. Updated theorem numbering. This work arose out of the 2019 Applied Category Theory Adjoint School

Journal-ref: Theory Appl. Categ. 39(11), 322--364 (2023)

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

[9] arXiv:2009.07320 [pdf, other]

Title: The Scott adjunction

Ivan Di Liberti

Comments: PhD thesis

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

[10] arXiv:2009.09195 [pdf, other]

Title: Centers of categorified endomorphism rings

Alexandru Chirvasitu

Comments: 10 pages + references; final version

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

[11] arXiv:2009.09486 [pdf, other]

Title: Action representability of the category of internal groupoids

Marino Gran, James Richard Andrew Gray

Comments: 13 pages

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

[12] arXiv:2009.10024 [pdf, other]

Title: On the lattices of exact and weakly exact structures

Rose-Line Baillargeon, Thomas Brüstle, Mikhail Gorsky, Souheila Hassoun

Comments: v1: 41 pages. v2: 43 pages, minor edits, Definition 6.10 and Section 7.7 added, Section 7.6 expanded. v3: 40 pages, minor edits, title changed, presentation improved. Lemmas 5.16 and 5.19 and references added. v4: An abridged version accepted to Journal of Algebra

Journal-ref: Journal of Algebra, Volume 612, 2022, Pages 77-109, ISSN 0021-8693

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

[13] arXiv:2009.10041 [pdf, other]

Title: Mapping Coalgebras I: Comonads

Brice Le Grignou

Comments: 49 pages

Subjects: Category Theory (math.CT)

[14] arXiv:2009.10980 [pdf, other]

Title: Enriched Locally Generated Categories

Ivan Di Liberti, Jiří Rosický

Comments: Comments are welcome! v2: very mild update. 2.9 and 2.10 are new examples

Subjects: Category Theory (math.CT)

[15] arXiv:2009.11969 [pdf, other]

Title: Enhanced twisted arrow categories

Fernando Abellán García, Walker H. Stern

Comments: 35 pages

Subjects: Category Theory (math.CT)

[16] arXiv:2009.12241 [pdf, other]

Title: An essential, hyperconnected, local geometric morphism that is not locally connected

Jens Hemelaer, Morgan Rogers

Comments: 3 pages

Subjects: Category Theory (math.CT)

[17] arXiv:2009.12301 [pdf, other]

Title: Connected objects in categories of $S$-acts

Josef Dvořák, Jan Žemlička

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

[18] arXiv:2009.12432 [pdf, other]

Title: Tensor-restriction categories

C. Heunen, J. S. Pacaud Lemay

Comments: 31 pages

Journal-ref: Theory and Applications of Categories 37(21):635-670, 2021

Subjects: Category Theory (math.CT)

[19] arXiv:2009.12670 [pdf, other]

Title: Effective Kan fibrations in simplicial sets

Benno van den Berg, Eric Faber

Comments: 197 pages

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

[20] arXiv:2009.14023 [pdf, other]

Title: General facts on the Scott Adjunction

Ivan Di Liberti

Comments: Final version. Accepted by Applied Categorical Structures

Journal-ref: Applied Categorical Structures 2022

Subjects: Category Theory (math.CT)

[21] arXiv:2009.14145 [pdf, other]

Title: Towards Higher Topology

Ivan Di Liberti

Comments: Final version. Accepted by Journal of Pure and Applied Algebra. arXiv admin note: text overlap with arXiv:2010.00319

Journal-ref: Journal of Pure and Applied Algebra Volume 226, Issue 3, March 2022, 106838

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

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

Title: Internal $\infty$-Categorical Models of Dependent Type Theory: Towards 2LTT Eating HoTT

Nicolai Kraus

Comments: 33 pages

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

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

Title: Quasiexcellence implies strong generation

Ko Aoki

Comments: 5 pages

Journal-ref: J. Reine Angew. Math. 780 (2021), 133--138

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

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

Title: An equivalence between enriched $\infty$-categories and $\infty$-categories with weak action

Hadrian Heine

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

[25] arXiv:2009.02822 (cross-list from q-bio.GN) [pdf, other]

Title: Applied Category Theory for Genomics -- An Initiative

Yanying Wu

Comments: 26 pages, 6 figures

Subjects: Genomics (q-bio.GN); Category Theory (math.CT)

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

Title: Hofmann-Lawson duality for locally small spaces

Artur Piękosz

Comments: 8 pages

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

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

Title: Flat commutative ring epimorphisms of almost Krull dimension zero

Leonid Positselski

Comments: LaTeX 2e, 17 pages; v.2: small expositional improvements, references updated; v.3: two misprints corrected -- this is intended as the final version

Journal-ref: J. of Algebra and its Appl. 22 no.3 (2023), 2350060, 18 pp

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

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

Title: Filter pairs and natural extensions of logics

Peter Arndt, Hugo Luiz Mariano, Darllan Conceição Pinto

Comments: 32 pages, to appear in Archive for Mathematical Logic

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

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

Title: Defects in the 3-dimensional toric code model form a braided fusion 2-category

Liang Kong, Yin Tian, Zhi-Hao Zhang

Comments: 30 pages, 29 figures. Comments are welcome

Journal-ref: J. High Energ. Phys. 2020, 78 (2020)

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

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

Title: Quantum Frobenius Heisenberg categorification

Jonathan Brundan, Alistair Savage, Ben Webster

Comments: 44 pages

Journal-ref: Journal of Pure and Applied Algebra 226 (2022), no. 1, 106792

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

[31] arXiv:2009.06837 (cross-list from cs.LG) [pdf, other]

Title: Learning Functors using Gradient Descent

Bruno Gavranović

Comments: In Proceedings ACT 2019, arXiv:2009.06334. This paper is a condensed version of the master thesis of the author (arXiv:1907.08292)

Journal-ref: EPTCS 323, 2020, pp. 230-245

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Category Theory (math.CT)

[32] arXiv:2009.07125 (cross-list from quant-ph) [pdf, other]

Title: A functorial characterization of von Neumann entropy

Arthur J. Parzygnat

Comments: 30 pages; slightly reorganized and more concise

Journal-ref: Cah. Topol. G\'eom. Diff\'er. Cat\'eg. LXIII, 1 (2022), 89-128

Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT); Category Theory (math.CT); Operator Algebras (math.OA)

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

Title: Hermitian K-theory for stable $\infty$-categories I: Foundations

Baptiste Calmès, Emanuele Dotto, Yonatan Harpaz, Fabian Hebestreit, Markus Land, Kristian Moi, Denis Nardin, Thomas Nikolaus, Wolfgang Steimle

Comments: 178 pages v2: minor improvements, updated references. v3: slightly reorganised the discussion of periodicity; otherwise minor improvements following a referee report

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

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

Title: Hermitian K-theory for stable $\infty$-categories II: Cobordism categories and additivity

Baptiste Calmès, Emanuele Dotto, Yonatan Harpaz, Fabian Hebestreit, Markus Land, Kristian Moi, Denis Nardin, Thomas Nikolaus, Wolfgang Steimle

Comments: 149 pages. v5: major revision following an editorial request. Sections 1 and Appendix A partially rewritten as well as Section 2.4 on algebraic surgery, all with strengthened results; outsourced the discussion of almost rings to arXiv:2409.01940. Otherwise, minor and not-quite-minor changes throughout

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

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

Title: Hearts for commutative noetherian rings: torsion pairs and derived equivalences

Sergio Pavon, Jorge Vitória

Comments: 24 pages, comments are welcome! Version 2 contains some minor changes and clarifications

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

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

Title: The K-theory of left pointed derivators

Ian Coley

Comments: 46 pages, many large diagrams; comments welcome, especially in response to Remarks 3.7, 5.18

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

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

Title: Standard $λ$-lattices, rigid ${\rm C}^*$ tensor categories, and (bi)modules

Quan Chen

Comments: 81 pages, many figures

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

[38] arXiv:2009.12647 (cross-list from cs.SE) [pdf, other]

Title: Operads for Designing Systems of Systems

John C. Baez, John Foley

Comments: 2 pages, TikZ figure

Journal-ref: Notices of the American Mathematical Society, Vol. 68, No. 6, 2021, pp 1005-1007

Subjects: Software Engineering (cs.SE); Category Theory (math.CT)

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

Title: Skew Braces as Remnants of Co-quasitriangular Hopf Algebras in $\mathrm{SupLat}$

Aryan Ghobadi

Comments: 34 pages, 6 figures in Appendix, Comments are welcome!

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

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

Title: The universal six-functor formalism

Brad Drew, Martin Gallauer

Comments: 50 pages; v2: new introduction, other minor changes; v3: accepted version; v4: corrects a small mistake in published version

Journal-ref: Ann. K-Th. 7 (2022) 599-649

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

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

Title: Finite permutation resolutions

Paul Balmer, Martin Gallauer

Comments: 24 pages; v2: minor changes before publication

Journal-ref: Duke Math. J. 172 (2023), no. 2, 201-229

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

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

Title: Permutation modules and cohomological singularity

Paul Balmer, Martin Gallauer

Comments: 14 pages; v2: new introduction, shorter discussion of `big' triangulated categories; v3: minor changes before publication

Journal-ref: Comment. Math. Helv. 97 (2022), no. 3, 413-430

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

[43] arXiv:2009.14576 (cross-list from cs.FL) [pdf, other]

Title: A String Diagrammatic Axiomatisation of Finite-State Automata

Robin Piedeleu, Fabio Zanasi

Comments: Minor corrections, in particular in the proof of completeness (including the ordering of the steps of Brzozowski's algorithm)

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Category Theory (math.CT)