Category Theory

Authors and titles for math.CT in Apr 2021

[1]  arXiv:2104.00162 [pdf, other]

Title: Point-free Construction of Real Exponentiation

Authors: Ming Ng, Steven Vickers

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 3 (August 2, 2022) lmcs:7325

Subjects: Category Theory (math.CT)

[2]  arXiv:2104.00367 [pdf, ps, other]

Title: Completeness for monads and theories

Authors: Roman Kositsyn

Comments: 56 pages, v2: fixed an error in Lemma 5.28., minor improvements elsewhere

Subjects: Category Theory (math.CT)

[3]  arXiv:2104.00666 [pdf, ps, other]

Title: A note on deriving unbounded functors of exact categories, with applications to Ind- and Pro- functors

Authors: Jack Kelly

Comments: 24 pages, Preliminary version; comments welcome

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

[4]  arXiv:2104.02887 [pdf, ps, other]

Title: Variation on a comprehensive theme

Authors: Ross Street

Comments: 14 pages; Dedicated to the memory of R.F.C. (Bob) Walters

Subjects: Category Theory (math.CT)

[5]  arXiv:2104.03121 [pdf, ps, other]

Title: Enriched monoidal categories I: centers

Authors: Liang Kong, Wei Yuan, Zhi-Hao Zhang, Hao Zheng

Comments: 42 pages

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

[6]  arXiv:2104.03826 [pdf, ps, other]

Title: Transfer of CS-Rickart and dual CS-Rickart properties via functors between abelian categories

Authors: Septimiu Crivei, Simona Maria Radu

Comments: 14 pages

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

[7]  arXiv:2104.03832 [pdf, ps, other]

Title: Strongly CS-Rickart and dual strongly CS-Rickart objects in abelian categories

Authors: Septimu Crivei, Simona Maria Radu

Comments: 15 pages. arXiv admin note: text overlap with arXiv:2007.11059

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

[8]  arXiv:2104.04425 [pdf, ps, other]

Title: Compatible structures on unary binary nonsymmetric operads with quadratic and cubic relations

Authors: Xing Gao, Li Guo, Huhu Zhang

Comments: 26 pages

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

[9]  arXiv:2104.05616 [pdf, ps, other]

Title: Torsion theories and coverings of V-groups

Authors: Aline Michel

Comments: 21 pages

Subjects: Category Theory (math.CT)

[10]  arXiv:2104.05650 [pdf, ps, other]

Title: The over-topos at a model

Authors: Olivia Caramello, Axel Osmond

Comments: 30 pages

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

[11]  arXiv:2104.06362 [pdf, ps, other]

Title: Fibred categorical theory of obstruction and classification of morphisms

Authors: Alan S. Cigoli, Sandra Mantovani, Giuseppe Metere, Enrico M. Vitale

Subjects: Category Theory (math.CT)

[12]  arXiv:2104.06537 [pdf, ps, other]

Title: On coslices and commas of locally finitely presentable categories

Authors: Axel Osmond

Comments: 27 pages

Subjects: Category Theory (math.CT)

[13]  arXiv:2104.07090 [pdf, ps, other]

Title: On a notion of ring groupoid

Authors: Vladimir Drinfeld

Comments: 22 pages

Subjects: Category Theory (math.CT); Algebraic Geometry (math.AG); Algebraic Topology (math.AT); Number Theory (math.NT); Representation Theory (math.RT)

[14]  arXiv:2104.07747 [pdf, other]

Title: A Characterization of Braided Enriched Monoidal Categories

Authors: Zachary Dell

Comments: 33 pages, many TikZ diagrams

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

[15]  arXiv:2104.08583 [pdf, ps, other]

Title: The Logical Theory of Canonical Maps: The Elements & Distinctions Analysis of the Morphisms, Duality, Canonicity, and Universal Constructions in Set

Authors: David Ellerman

Comments: arXiv admin note: substantial text overlap with arXiv:2007.05733

Subjects: Category Theory (math.CT)

[16]  arXiv:2104.08999 [pdf, ps, other]

Title: Beck torsors, formally unramified objects, and Kähler differentials

Authors: Nicholas Mertes

Subjects: Category Theory (math.CT)

[17]  arXiv:2104.09421 [pdf, ps, other]

Title: A generalization of higher rank graphs

Authors: M. V. Lawson, A. Vdovina

Subjects: Category Theory (math.CT)

[18]  arXiv:2104.09601 [pdf, other]

Title: Localisation of cubical model categories

Authors: Brice Le Grignou

Comments: 24 pages

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

[19]  arXiv:2104.09840 [pdf, ps, other]

Title: Abstractly constructed prime spectra

Authors: Alberto Facchini, Carmelo Antonio Finocchiaro, George Janelidze

Subjects: Category Theory (math.CT)

[20]  arXiv:2104.09897 [pdf, other]

Title: Coherence for adjunctions in a $3$-category via string diagrams

Authors: Manuel Araújo

Journal-ref: Compositionality 4, 2 (2022)

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

[21]  arXiv:2104.11399 [pdf, ps, other]

Title: On analytic groupoid cardinality

Authors: James Fullwood

Comments: No figures

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

[22]  arXiv:2104.12188 [pdf, ps, other]

Title: Characterization of coextensive varieties of universal algebras II

Authors: David Neal Broodryk

Comments: This paper is an updated version of the pre-print arXiv:2008.03474

Subjects: Category Theory (math.CT)

[23]  arXiv:2104.12498 [pdf, ps, other]

Title: Partial Serre duality and cocompact objects

Authors: Steffen Oppermann, Chrysostomos Psaroudakis, Torkil Stai

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

[24]  arXiv:2104.12662 [pdf, other]

Title: Homology of strict $ω$-categories

Authors: Léonard Guetta

Comments: PhD Thesis, 223 pages, english (with both english and french introductions)

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

[25]  arXiv:2104.13239 [pdf, other]

Title: The (2,1)-category of small coherent categories

Authors: Kristóf Kanalas

Subjects: Category Theory (math.CT)

[26]  arXiv:2104.13487 [pdf, ps, other]

Title: Covariant Isotropy of Grothendieck Toposes

Authors: Jason Parker

Comments: 21 pages plus 6 page appendix

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

[27]  arXiv:2104.14021 [pdf, ps, other]

Title: The Gödel Fibration

Authors: Davide Trotta, Matteo Spadetto, Valeria de Paiva

Comments: 39 pages

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

[28]  arXiv:2104.14877 [pdf, ps, other]

Title: Graph Traversals as Universal Constructions

Authors: Siddharth Bhaskar, Robin Kaarsgaard

Comments: 21 pages (including 9 pages in appendix), 3 figures

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

[29]  arXiv:2104.01057 (cross-list from math.KT) [pdf, ps, other]

Title: Motivic colimits and extended powers

Authors: Tom Bachmann, Elden Elmanto, Jeremiah Heller

Comments: 32 pages, comments welcome, first of a series on motivic power operations

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

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

Title: Towards a tensor-classification of Harish-Chandra modules: The case ${\rm SL}_2(\mathbb R)$

Authors: Fabian Januszewski

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

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

Title: The Monadic Tower for $\infty$-Categories

Authors: Lior Yanovski

Comments: 25 pages. Moved example 4.1 to the introduction, replaced remark 2.15 with a more detailed discussion and made minor corrections. Final version to appear in JPAA

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

[32]  arXiv:2104.01841 (cross-list from math.CO) [pdf, ps, other]

Title: Spined categories: generalizing tree-width beyond graphs

Authors: Benjamin Merlin Bumpus, Zoltan A. Kocsis

Comments: 28 pages

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

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

Title: Profunctors between posets and Alexander duality

Authors: Gunnar Fløystad

Comments: Minor changes and corrections, added reference, 32 pages

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

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

Title: A universal characterization of noncommutative motives and secondary algebraic K-theory

Authors: Aaron Mazel-Gee, Reuben Stern

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

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

Title: Torsion pairs and recollements of extriangulated categories

Authors: Jian He, Yonggang Hu, Panyue Zhou

Comments: 19 pages

Journal-ref: Comm. Algebra 50 (2022), no. 5, 2018-2036

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

[36]  arXiv:2104.05517 (cross-list from math.AG) [pdf, ps, other]

Title: Quasi-coherent torsion sheaves, the semiderived category, and the semitensor product: Semi-infinite algebraic geometry of quasi-coherent sheaves on ind-schemes

Authors: Leonid Positselski

Comments: LaTeX 2e with xy-pic and mathrsfs.sty; 185 pages, 26 commutative diagrams; v.7: improvement in Lemma 5.2(c), Subsections 0.1-0.4 inserted in the Introduction, Appendix added; v.8: Remark 7.6 inserted; v.9: Subsection 11.4, discussing the loop group example, added; v.10: numbering of theorems in the Appendix corrected, no other changes -- the publisher's version is more complete

Journal-ref: Birkhauser/Springer Nature, Cham, Switzerland, 2023, xix+216 pp

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

[37]  arXiv:2104.07405 (cross-list from math.LO) [pdf, ps, other]

Title: On logical parameterizations and functional representability in local set theories

Authors: Enrique Ruiz Hernández, Pedro Solórzano

Comments: 28 pages. New Introductory text

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

[38]  arXiv:2104.08602 (cross-list from math.RT) [pdf, ps, other]

Title: The cotorsion pair generated by the Gorenstein projective modules and $λ$-pure-injective modules

Authors: Manuel Cortés-Izurdiaga, Jan Šaroch

Comments: 18 pages

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

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

Title: Pathlike Co/Bialgebras and their Antipodes with Applications to Bi- and Hopf Algebras Appearing in Topology, Number Theory and Physics

Authors: Ralph M. Kaufmann, Yang Mo

Journal-ref: SIGMA 18 (2022), 053, 42 pages

Subjects: Quantum Algebra (math.QA); Mathematical Physics (math-ph); Algebraic Topology (math.AT); Category Theory (math.CT); Rings and Algebras (math.RA)

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

Title: Exactness of Bousfield localizations of simplicial presheaves and local lifting

Authors: Fritz Hörmann

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

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

Title: Relative tilting theory in abelian categories I: Auslander-Buchweitz-Reiten approximations theory in subcategories and cotorsion pairs

Authors: Alejandro Argudín Monroy, Octavio Mendoza Hernández

Comments: 28 pages

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

[42]  arXiv:2104.11860 (cross-list from math.AT) [pdf, ps, other]

Title: On loop spaces with marking

Authors: Ryo Horiuchi

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

[43]  arXiv:2104.12415 (cross-list from math.OA) [pdf, ps, other]

Title: Dauns-Hofmann-Kumjian-Renault Duality for Fell Bundles and Structured C*-Algebras

Authors: Tristan Bice

Comments: This paper will not be updated in its present form - the material will instead be revised and expanded in separate papers. Part I is now superseded by arXiv:2312.01161 "Sections of Fell Bundles over \'Etale Groupoids"

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

[44]  arXiv:2104.13006 (cross-list from math.NT) [pdf, ps, other]

Title: On the exponent of convergence of Engel series

Authors: Lei Shang, Min Wu

Comments: 15 pages

Subjects: Number Theory (math.NT); Category Theory (math.CT)

[45]  arXiv:2104.13610 (cross-list from math.AG) [pdf, ps, other]

Title: A Refined Derived Torelli Theorem for Enriques surfaces, II: the non-generic case

Authors: Chunyi Li, Paolo Stellari, Xiaolei Zhao

Comments: 25 pages. Final version to appear in Math. Z. (special volume in honor of O. Debarre)

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

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

Title: Relating stated skein algebras and internal skein algebras

Authors: Benjamin Haïoun

Journal-ref: SIGMA 18 (2022), 042, 39 pages

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

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

Title: An Initial Algebra Theorem Without Iteration

Authors: Jiří Adámek, Stefan Milius, Lawrence S. Moss

Journal-ref: Proc. 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021), volume 211 of LIPIcs, pages 5:1-5:20

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

[48]  arXiv:2104.11241 (cross-list from quant-ph) [pdf, other]

Title: Closing Bell: Boxing black box simulations in the resource theory of contextuality

Authors: Rui Soares Barbosa, Martti Karvonen, Shane Mansfield

Comments: Corrected a mistake in Theorem 44 and other fixes stemming from it. This supersedes the published version and should be considered the version of reference

Journal-ref: In: A. Palmigiano, M. Sadrzadeh (eds), Samson Abramsky on Logic and Structure in Computer Science and Beyond. Outstanding Contributions to Logic, vol 25. Springer, Cham (2023)

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

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

Title: String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure

Authors: Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi

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