Category Theory

Authors and titles for April 2018

[1] arXiv:1804.01345 [pdf, other]

Title: On functors from category of Giry algebras to category of convex spaces

Tomas Crhak

Comments: 12 pages, v2 has merely made the title more precise, v3 fixes some typos, v4 adds treatment of super convex spaces

Subjects: Category Theory (math.CT)

[2] arXiv:1804.02240 [pdf, other]

Title: Triangulated categories with a single compact generator and a Brown representability theorem

Amnon Neeman

Comments: Misprints corrected

Subjects: Category Theory (math.CT)

[3] arXiv:1804.03829 [pdf, other]

Title: The Enriched Grothendieck Construction

Jonathan Beardsley, Liang Ze Wong

Comments: Final version to appear in Advances in Mathematics, minor changes after further refereeing, 30 pages

Subjects: Category Theory (math.CT)

[4] arXiv:1804.04244 [pdf, other]

Title: The homotopy relation in a category with weak equivalences

Martin Szyld

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

[5] arXiv:1804.05045 [pdf, other]

Title: Morita equivalences between algebraic dependent type theories

Valery Isaev

Comments: 34 pages

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

[6] arXiv:1804.06485 [pdf, other]

Title: Endofunctors and Poincar\'e-Birkhoff-Witt theorems

Vladimir Dotsenko, Pedro Tamaroff

Comments: 18 pages, final version before submission for peer review, to appear in IMRN

Journal-ref: International Mathematics Research Notices, article ID rnz369, 2020

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

[7] arXiv:1804.07402 [pdf, other]

Title: Noncommutative Network Models

Joe Moeller

Comments: 18 pages

Journal-ref: Math. Struct. Comp. Sci. 30 (2020) 14-32

Subjects: Category Theory (math.CT)

[8] arXiv:1804.07857 [pdf, other]

Title: A Categorical Model for the Hopf Fibration

Björn Gohla

Comments: 8 pages

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

[9] arXiv:1804.08585 [pdf, other]

Title: On the local cartesian closure of exact completions

Jacopo Emmenegger

Comments: v1: 15 pages. v3: 21 pages, results are unchanged but the presentation has been completely revised. Accepted on J. Pure Appl. Algebra. v4: 20 pages, final journal version

Journal-ref: J. Pure Appl. Algebra 224 (2020)

Subjects: Category Theory (math.CT)

[10] arXiv:1804.08710 [pdf, other]

Title: Accessibility and presentability in 2-categories

Ivan Di Liberti, Fosco Loregian

Comments: Final version, accepted for publication on JPAA

Subjects: Category Theory (math.CT)

[11] arXiv:1804.09474 [pdf, other]

Title: Braiding for categorical algebras and crossed modules of algebras II: Leibniz algebras

Alejandro Fernández-Fariña, Manuel Ladra

Comments: 33 pages

Subjects: Category Theory (math.CT)

[12] arXiv:1804.10924 [pdf, other]

Title: Duals and adjoints in higher Morita categories

Owen Gwilliam, Claudia Scheimbauer

Comments: 44 pages, many pictures. Minor changes, now printable in grayscale. Comments welcome!

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

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

Title: Quantum sets

Andre Kornell

Comments: 49 pages; section 3 has been rewritten for readability

Journal-ref: J. Math. Phys. 61 (2020) 102202

Subjects: Operator Algebras (math.OA); Mathematical Physics (math-ph); Category Theory (math.CT)

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

Title: The categorified Grothendieck-Riemann-Roch theorem

Marc Hoyois, Pavel Safronov, Sarah Scherotzke, Nicolò Sibilla

Comments: 50 pages. v3: final version

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

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

Title: Descent of dg cohesive modules for open covers on complex manifolds

Zhaoting Wei

Comments: v3: major changes. Simplified the proof in Section 4. Note that this article draws heavily from a previous preprint of the author: arXiv:1605.07111

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

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

Title: Purity in compactly generated derivators and t-structures with Grothendieck hearts

Rosanna Laking

Comments: 25 pages

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

[17] arXiv:1804.01514 (cross-list from quant-ph) [pdf, other]

Title: Categories of Empirical Models

Martti Karvonen (University of Edinburgh)

Comments: In Proceedings QPL 2018, arXiv:1901.09476

Journal-ref: EPTCS 287, 2019, pp. 239-252

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

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

Title: Anti-Yetter-Drinfeld Modules for Quasi-Hopf Algebras

Ivan Kobyzev, Ilya Shapiro

Comments: This is a follow-up paper to arXiv:1803.09194. Section 3 (definition and properties of quasi-Hopf algebra) mostly overlaps

Journal-ref: SIGMA 14 (2018), 098, 10 pages

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

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

Title: Enriched categories of correspondences and characteristic classes of singular varieties

Shoji Yokura

Comments: 35 pages, comments are welcome; to appear in Fundamenta Mathematicae

Journal-ref: Fundamenta Mathematicae 253 (2021), 17-60

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

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

Title: The Category of Von Neumann Algebras

Abraham A. Westerbaan

Comments: Ph.D. thesis

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

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

Title: Hochschild-Mitchell (co)homology of skew categories and of Galois coverings

Claude Cibils, Eduardo N. Marcos

Comments: A new document is written and will be submitted to arXiv. It differs significantly from this one to be withdraw. It has a new main important viewpoint, namely the resolving category. In addition the new paper contains several new results. It has been improved and reorganized

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

[22] arXiv:1804.02265 (cross-list from quant-ph) [pdf, other]

Title: A Categorical Reconstruction of Quantum Theory

Sean Tull

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 1 (January 17, 2020) lmcs:5076

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

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

Title: A topological origin of quantum symmetric pairs

T.A.N. Weelinck

Comments: 41 pages, 12 figures

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

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

Title: A Quillen's Theorem A for strict $\infty$-categories II: the $\infty$-categorical proof

Dimitri Ara, Georges Maltsiniotis

Comments: 123 pages, in French, v2: revised according to the excellent suggestions of the referee, introduction partially rewritten, Section 7 slightly reorganized (see in particular Theorem 7.7 and Remark 7.9), first part of Appendix A rewritten, final version

Journal-ref: Higher Structures, 2020, vol. 4, no 1, p. 284-388

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

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

Title: Bimonoidal Structure of Probability Monads

Tobias Fritz, Paolo Perrone

Comments: 39 pages, 58 figures, MFPS 2018 conference paper. Fixed minor issue in published version, see footnote 2

Journal-ref: Electron. Notes Theor. Comput. Sci. 341, 121-149 (2018)

Subjects: Probability (math.PR); Logic in Computer Science (cs.LO); Category Theory (math.CT); Quantum Algebra (math.QA)

[26] arXiv:1804.05356 (cross-list from quant-ph) [pdf, other]

Title: ZX-Rules for 2-qubit Clifford+T Quantum Circuits

Bob Coecke, Quanlong Wang

Comments: 17+4 pages

Subjects: Quantum Physics (quant-ph); Category Theory (math.CT)

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

Title: Derived equivalences via HRS-tilting

Xiao-Wu Chen, Zhe Han, Yu Zhou

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

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

Title: On dualizability of braided tensor categories

Adrien Brochier, David Jordan, Noah Snyder

Comments: Minor updates and edits; final version

Journal-ref: Compositio Math. 157 (2021) 435-483

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

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

Title: New counts for the number of triangulations of cyclic polytopes

Michael Joswig, Lars Kastner

Comments: 8 pages, 4 figures

Journal-ref: Mathematical software - ICMS 2018, LNCS 10931, pages 264-271

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

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

Title: Trihedral Soergel bimodules

Marco Mackaay, Volodymyr Mazorchuk, Vanessa Miemietz, Daniel Tubbenhauer

Comments: 61 pages, many colored figures, revised version, comments welcome, to appear in Fund. Math

Journal-ref: Fund. Math. 248 (2020), no. 3, 219-300

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

[31] arXiv:1804.08953 (cross-list from hep-th) [pdf, other]

Title: Geometry and 2-Hilbert Space for Nonassociative Magnetic Translations

Severin Bunk, Lukas Müller, Richard J. Szabo

Comments: 34 pages, 1 figure; v2: exposition improved, references added; Final version to be published in Letters in Mathematical Physics

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

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

Title: Real representation theory of finite categorical groups

Matthew B. Young

Comments: 51 pages, many figures

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

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

Title: A simplicial groupoid for plethysm

Alex Cebrian

Comments: 23 pages, expository improvements

Journal-ref: Algebr. Geom. Topol. 21 (2021) 421-445

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

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

Title: Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams

Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev

Comments: To appear in LICS 2018

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

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

Title: The Category TOF

J.R.B. Cockett, Cole Comfort

Comments: In Proceedings QPL 2018, arXiv:1901.09476

Journal-ref: EPTCS 287, 2019, pp. 67-84

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

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

Title: Derived decompositions of abelian categories I

Hongxing Chen, Changchang Xi

Comments: 27 pages. This is a revision of arXiv:1804.10759. The main results are extended

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