Category Theory

Authors and titles for October 2019

[1] arXiv:1910.00769 [pdf, other]

Title: $FI$-modules over preadditive categories and torsion theories

Abhishek Banerjee

Comments: Minor updates

Subjects: Category Theory (math.CT)

[2] arXiv:1910.01014 [pdf, other]

Title: Codensity: Isbell duality, pro-objects, compactness and accessibility

Ivan Di Liberti

Comments: 20 pages. Final version. Accepted by Journal of Pure and Applied Algebra

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

[3] arXiv:1910.01220 [pdf, other]

Title: A bicategorical pasting theorem

Niles Johnson, Donald Yau

Comments: 18 pages

Journal-ref: Chapter 3 of "2-Dimensional Categories" (Oxford University Press, 2021)

Subjects: Category Theory (math.CT)

[4] arXiv:1910.01223 [pdf, other]

Title: Quillen's Theorem A and the Whitehead theorem for bicategories

Niles Johnson, Donald Yau

Comments: 26 pages

Journal-ref: Chapter 7 of "2-Dimensional Categories" (Oxford University Press, 2021)

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

[5] arXiv:1910.02540 [pdf, other]

Title: A Double Categorical View on Representations of Etendues

Darien DeWolf, Dorette Pronk

Comments: 35 pages

Subjects: Category Theory (math.CT)

[6] arXiv:1910.03121 [pdf, other]

Title: Stable factorization from a fibred algebraic weak factorization system

Evan Cavallo

Comments: 11 pages. v2: correct typos

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

[7] arXiv:1910.03542 [pdf, other]

Title: Canonical extensions of locally compact frames

Tomáš Jakl

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

[8] arXiv:1910.05172 [pdf, other]

Title: Categories for Me, and You?

Clément Aubert

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

[9] arXiv:1910.05617 [pdf, other]

Title: Tangent Categories from the Coalgebras of Differential Categories

Robin Cockett, Jean-Simon Pacaud Lemay, Rory B. B. Lucyshyn-Wright

Comments: This is an extended version of a conference paper for CSL2020

Subjects: Category Theory (math.CT)

[10] arXiv:1910.06531 [pdf, other]

Title: Another characterization of no-iteration distributive laws

Enrique Ruiz Hernández

Comments: 21 pages; explicit form added for the case $K=\mathbf{Cat}$ in last observation

Subjects: Category Theory (math.CT)

[11] arXiv:1910.08193 [pdf, other]

Title: Induced morphisms between Heyting-valued models

José Goudet Alvim, Arthur Francisco Schwerz Cahali, Hugo Luiz Mariano

Comments: 28 pages

Subjects: Category Theory (math.CT)

[12] arXiv:1910.08757 [pdf, other]

Title: Endomorphisms of the symmetric 2-rig of finite sets

Josep Elgueta

Comments: The main theorem is true, but the proof contains a mistake which makes the argument much more complicated, and at the end does not prove the theorem as stated

Subjects: Category Theory (math.CT)

[13] arXiv:1910.09148 [pdf, other]

Title: A syntactical and categorical analysis for Varieties with Right Existentially Defined Factor Congruences

William Zuluaga

Comments: This is a preprint

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

[14] arXiv:1910.09240 [pdf, other]

Title: Constructing symmetric monoidal bicategories functorially

Linde Wester Hansen, Michael Shulman

Comments: 62 pages; v2: updated references

Subjects: Category Theory (math.CT)

[15] arXiv:1910.09423 [pdf, other]

Title: Filters and G-convergence in Categories

Joaquin Luna-Torres

Subjects: Category Theory (math.CT)

[16] arXiv:1910.09816 [pdf, other]

Title: Internal Partial Combinatory Algebras and their Slices

Jetze Zoethout

Subjects: Category Theory (math.CT)

[17] arXiv:1910.10676 [pdf, other]

Title: Strong Generators in Dperf(X) for Schemes with a Separator

Victor Jatoba

Subjects: Category Theory (math.CT)

[18] arXiv:1910.11189 [pdf, other]

Title: Augmented virtual double categories

Seerp Roald Koudenburg

Comments: This article comprises a streamlined and expanded version of Sections 1, 2 and 3 of arXiv:1511.04070. v2 contains several improvements following the referee's suggestions. v3: minor corrections in 1.6, 1.9, 2.8, 7.1, 7.7, 9.4, 9.6; this is the revised version published in TAC. v4: minor corrections to 1.2 and 1.6, suggested by V. Sotirov

Journal-ref: Theory and Applications of Categories, 35(10):261-325, 2020

Subjects: Category Theory (math.CT)

[19] arXiv:1910.12517 [pdf, other]

Title: Products and coequalizers in pointed categories

Michael Hoefnagel

Comments: 14 pages

Subjects: Category Theory (math.CT)

[20] arXiv:1910.13417 [pdf, other]

Title: Lifting bicategories through the Grothendieck construction

Juan Orendain

Comments: 41 pages

Subjects: Category Theory (math.CT)

[21] arXiv:1910.13735 [pdf, other]

Title: Projective Covers of 2-star-permutable Categories

Vasileios Aravantinos-Sotiropoulos

Comments: 17 pages

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

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

Title: The Greenberg Functor is Site Cocontinuous

Geoff Vooys

Comments: 33 Pages

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

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

Title: The Hochschild Complex of a Finite Tensor Category

Christoph Schweigert, Lukas Woike

Comments: 26 pages, 5 figures; small changes, to appear in Alg. Geom. Top

Journal-ref: Algebr. Geom. Topol. 21 (2021) 3689-3734

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

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

Title: Algebras from Congruences

Peter Mayr, Agnes Szendrei

Comments: 39 pages

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

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

Title: Twisted loop transgression and higher Jandl gerbes over finite groupoids

Behrang Noohi, Matthew B. Young

Comments: 33 pages

Journal-ref: Algebr. Geom. Topol. 22 (2022) 1663-1712

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

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

Title: Higher-dimensional Auslander-Reiten theory on $(d+2)$-angulated categories

Panyue Zhou

Comments: In this version, we have changed the title, added some examples and more details

Journal-ref: Glasg. Math. J. 64 (2022), no. 3, 5-547

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

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

Title: Bundle gerbes and the Weyl map

Kimberly Becker

Comments: Masters thesis, 120 pages

Subjects: Differential Geometry (math.DG); Mathematical Physics (math-ph); Category Theory (math.CT)

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

Title: Incidence Hypergraphs: Injectivity, Uniformity, and Matrix-tree Theorems

Will Grilliette, Josephine Reynes, Lucas J. Rusnak

Comments: 27 pages, 10 figures

Journal-ref: Linear Algebra Appl. 634 (2022), 77-105

Subjects: Combinatorics (math.CO); Category Theory (math.CT)

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

Title: Parabolic Hecke eigensheaves

Ron Donagi, Tony Pantev

Comments: 243 pages, 8 figures, expanded and revised for publication

Subjects: Algebraic Geometry (math.AG); High Energy Physics - Theory (hep-th); Category Theory (math.CT); Representation Theory (math.RT)

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

Title: Faithful actions of braid groups by twists along ADE-configurations of spherical objects

Anya Nordskova, Yury Volkov

Comments: v3: minor improvements in the exposition, numerous typos fixed

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

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

Title: Quantales, persistence, and magnitude homology

Simon Cho

Comments: 24 pages. Weakened the statement of Lemma 15 to work around a gap in the proof of the original statement. All other mathematical content unchanged (including Theorem 25', which only relied on the weakened version to begin with). Some changes to writing style

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

[32] arXiv:1910.03029 (cross-list from math.NT) [pdf, other]

Title: The Tambara Structure of the Trace Ideal for Cyclic Extensions

Maxine Calle, Sam Ginnett, Harry Chen, Xinling Chen

Comments: 25 pages, comments welcome. This version is the pre-proof of the article published in the Journal of Algebra

Journal-ref: Journal of Algebra, Vol. 560. October 15, 2020

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

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

Title: Extension theory for braided-enriched fusion categories

Corey Jones, Scott Morrison, David Penneys, Julia Plavnik

Comments: 36 pages

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

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

Title: Axiomatic representation theory of finite groups by way of groupoids

Ivo Dell'Ambrogio

Comments: 44 pages, final version. Internal numbering differs from the published version

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

[35] arXiv:1910.03656 (cross-list from cs.GT) [pdf, other]

Title: Bayesian open games

Joe Bolt, Jules Hedges, Philipp Zahn

Journal-ref: Compositionality, Volume 5 (2023) (October 4, 2023) compositionality:13528

Subjects: Computer Science and Game Theory (cs.GT); Category Theory (math.CT)

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

Title: Probability, valuations, hyperspace: Three monads on Top and the support as a morphism

Tobias Fritz, Paolo Perrone, Sharwin Rezagholi

Comments: 65 pages

Journal-ref: Mathematical Structures in Computer Science 31(8), 850-897 (2021)

Subjects: General Topology (math.GN); Logic in Computer Science (cs.LO); Category Theory (math.CT); Functional Analysis (math.FA); Probability (math.PR)

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

Title: String and band complexes over SAG algebras

Andrés Franco, Hernán Giraldo, Pedro Rizzo

Comments: We have added new examples. Also, we have renewed some proofs and corrected minor typos

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

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

Title: Higher homotopy categories, higher derivators, and K-theory

George Raptis

Comments: minor revisions; to appear in Forum of Mathematics, Sigma

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

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

Title: Detecting isomorphisms in the homotopy category

Kevin Arlin, J. Daniel Christensen

Comments: 12 pages

Journal-ref: Algebr. Geom. Topol. 23 (2023) 2975-2991

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

[40] arXiv:1910.04383 (cross-list from cs.AI) [pdf, other]

Title: Causality and deceit: Do androids watch action movies?

Dusko Pavlovic, Temra Pavlovic

Comments: 29 pages, 14 figures

Subjects: Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Category Theory (math.CT)

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

Title: Properadic homotopical calculus

Eric Hoffbeck, Johan Leray, Bruno Vallette

Comments: Submitted version

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

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

Title: Davydov-Yetter cohomology, comonads and Ocneanu rigidity

Azat M. Gainutdinov, Jonas Haferkamp, Christoph Schweigert

Comments: 45 pages; v2: typos fixed, proof of Cor. 4.8 added, the version for publication in Advances in Mathematics

Journal-ref: Advances in Mathematics, Volume 414, 2023, Article 108853

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

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

Title: The Duskin nerve of 2-categories in Joyal's cell category Theta_2

Viktoriya Ozornova, Martina Rovelli

Comments: Final version, plus an expository appendix

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

[44] arXiv:1910.06165 (cross-list from math.RA) [pdf, other]

Title: Formal proofs of operator identities by a single formal computation

Clemens G. Raab, Georg Regensburger, Jamal Hossein Poor

Comments: 22 pages

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

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

Title: A relative 2-nerve

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

Comments: 30 pages, 1 figure, v2:minor revisions, v3: final version accepted for publication in Algebr. Geom. Topol

Journal-ref: Algebr. Geom. Topol. 20 (2020) 3147-3182

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

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

Title: On maximal green sequences in abelian length categories

Fang Li, Siyang Liu

Comments: 18 pages

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

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

Title: Reverse derivative categories

Robin Cockett, Geoffrey Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon Plotkin, Dorette Pronk

Comments: Extended version of paper to appear at CSL 2020

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

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

Title: Adams' cobar construction revisited

Manuel Rivera

Comments: Final version. To appear in Documenta Mathematica

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

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

Title: Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory

Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT); Quantum Physics (quant-ph)

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

Title: Sandwich semigroups in diagram categories

Ivana Đurđev, Igor Dolinka, James East

Comments: 50 pages, 13 figures. The second named author dedicates his contribution to this work to the memory of his father Vojin, who passed away exactly 10 years ago

Subjects: Group Theory (math.GR); Combinatorics (math.CO); Category Theory (math.CT); Rings and Algebras (math.RA)