Category Theory

Authors and titles for July 2022

[1] arXiv:2207.01366 [pdf, other]

Title: Erratum to "Homotopy theory of Moore flows I"

Philippe Gaucher

Comments: 9 pages

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

[2] arXiv:2207.01371 [pdf, other]

Title: Comparing the non-unital and unital settings for directed homotopy

Philippe Gaucher

Comments: 15 pages

Journal-ref: Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques, vol LXIV-2 (2023)

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

[3] arXiv:2207.01378 [pdf, other]

Title: Comparing cubical and globular directed paths

Philippe Gaucher

Comments: 24 pages; last section rewritten due to a mistake in the proof of the main theorem: notion of spatial precubical set introduced

Journal-ref: Fundamenta Mathematicae, 2023

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

[4] arXiv:2207.01967 [pdf, other]

Title: Interpreting type theory in a quasicategory: a Yoneda approach

El Mehdi Cherradi

Comments: 31 pages

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

[5] arXiv:2207.02686 [pdf, other]

Title: Non-commutative Stone duality

Mark V. Lawson

Comments: Minor corrections have been made throughout. New sections 9 and 10 added

Subjects: Category Theory (math.CT)

[6] arXiv:2207.02935 [pdf, html, other]

Title: Coherence for adjunctions in a $4$-category

Manuel Araújo

Comments: arXiv admin note: text overlap with arXiv:2104.09897

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

[7] arXiv:2207.03261 [pdf, other]

Title: Univalent categories of modules

Jarl G. Taxerås Flaten

Comments: 19 pages

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

[8] arXiv:2207.04023 [pdf, other]

Title: Idempotent completions of $n$-exangulated categories

Carlo Klapproth, Dixy Msapato, Amit Shah

Comments: v4: 42 pages; Correction of typos; Changed statements concerning 2-universality; Added corollaries concerning idempotent completions of n-exact categories; Comments very welcome!

Journal-ref: Appl. Categ. Structures 32: Paper 7 (2024)

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

[9] arXiv:2207.05184 [pdf, other]

Title: Diagrammatic presentations of enriched monads and varieties for a subcategory of arities

Rory B. B. Lucyshyn-Wright, Jason Parker

Comments: Minor changes to reflect final version

Subjects: Category Theory (math.CT)

[10] arXiv:2207.05702 [pdf, other]

Title: Locally-finite extensive categories, their semi-rings, and decomposition to connected objects

Shoma Fujino, Makoto Matsumoto

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

[11] arXiv:2207.06091 [pdf, other]

Title: Structured Decompositions: Structural and Algorithmic Compositionality

Benjamin Merlin Bumpus, Zoltan A. Kocsis, Jade Edenstar Master, Emilio Minichiello

Comments: This version is a major rewrite. 29 pages and an appendix. Comments and suggestions welcome!

Subjects: Category Theory (math.CT); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)

[12] arXiv:2207.06149 [pdf, other]

Title: A note on the relationship between action accessible and weakly action representable categories

James Richard Andrew Gray

Subjects: Category Theory (math.CT)

[13] arXiv:2207.06765 [pdf, other]

Title: Fibrational Linguistics (FibLang): Language Acquisition

Fabrizio Genovese (20[]), Fosco Loregian (Tallinn University of Technology), Caterina Puca (Quantinuum, 17 Beaumont Street, Oxford, OX1 2NA, United Kingdom)

Comments: In Proceedings ACT 2022, arXiv:2307.15519

Journal-ref: EPTCS 380, 2023, pp. 224-236

Subjects: Category Theory (math.CT)

[14] arXiv:2207.07063 [pdf, other]

Title: Differential graded Koszul duality: an introductory survey

Leonid Positselski

Comments: LaTeX 2e with xy-pic, this http URL, and one mathb symbol; 96 pages, 2 commutative diagrams; v.2: Sections 8 and 9 added -- this is intended as a complete version; v.3: new Remark 7.14 inserted, Subsections 4.5 and 9.8 added, other small additions; v.4: Example 2.3, Remark 3.5, and Propositions 3.4, 6.1, and 6.3 inserted; v.5: several misprints corrected, two references updated

Journal-ref: Bulletin of the London Math. Society 55 (2023), #4, p.1551-1640

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

[15] arXiv:2207.08324 [pdf, other]

Title: Formal balls of ${\sf Q}$-categories

Xianbo Yang, Dexue Zhang

Comments: 12 pages

Subjects: Category Theory (math.CT)

[16] arXiv:2207.08487 [pdf, other]

Title: Groupoids and skeletal categories form a pretorsion theory in $\mathsf{Cat}$

Francis Borceux, Federico Campanini, Marino Gran, Walter Tholen

Comments: 17 pages

Journal-ref: Advances in Mathematics, Volume 426, 1 August 2023, 109110

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

[17] arXiv:2207.08504 [pdf, other]

Title: The complicial model of $(\infty,ω)$-categories

Félix Loubaton

Comments: 147 pages

Subjects: Category Theory (math.CT)

[18] arXiv:2207.09702 [pdf, other]

Title: Non-existence of fiberwise localization for crossed modules

Olivia Monjon, Jérôme Scherer, Florence Sterck

Comments: 19 pages

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

[19] arXiv:2207.10041 [pdf, other]

Title: Barr-Exact Categories and Soft Sheaf Representations

Marco Abbadini, Luca Reggio

Comments: 39 pages. v4: revised version, to appear in the Journal of Pure and Applied Algebra

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

[20] arXiv:2207.11994 [pdf, other]

Title: A $t$-structure on the $\infty$-category of mixed graded modules

Emanuele Pavia

Comments: First chapter of my PhD thesis, 35 pages, comments welcome

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

[21] arXiv:2207.13379 [pdf, other]

Title: Closed categories

Gintaras Valiukevičius

Subjects: Category Theory (math.CT)

[22] arXiv:2207.13452 [pdf, other]

Title: Bifunctor Theorem and strictification tensor product for double categories with lax double functors

Bojana Femić

Comments: 47 pages; changes: 2-categorical isomorphisms are upgraded to double categorical ones, old Definition 2.1 spelled out in details

Subjects: Category Theory (math.CT)

[23] arXiv:2207.13465 [pdf, other]

Title: Ideal approximation in $n$-exangulated categories

Yucheng Wang, Jiaqun Wei

Comments: 29 pages. arXiv admin note: text overlap with arXiv:1709.06689 by other authors

Subjects: Category Theory (math.CT)

[24] arXiv:2207.13589 [pdf, other]

Title: Categorification of Negative Information using Enrichment

Andrea Censi (ETH Zurich), Emilio Frazzoli (ETH Zurich), Jonathan Lorand (ETH Zurich), Gioele Zardini (ETH Zurich)

Comments: In Proceedings ACT 2022, arXiv:2307.15519

Journal-ref: EPTCS 380, 2023, pp. 22-40

Subjects: Category Theory (math.CT); Robotics (cs.RO)

[25] arXiv:2207.13816 [pdf, other]

Title: Torsion aspects of varieties of simplicial groups

Guillermo López Cafaggi

Comments: 26 pages

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

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

Title: $m$-periodic Gorenstein objects

Mindy Huerta, Octavio Mendoza, Marco A. Pérez

Comments: 33 pages, 5 figures. Comments are welcome

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

[27] arXiv:2207.00269 (cross-list from math.AG) [pdf, html, other]

Title: A bi-variant algebraic cobordism via correspondences

Shoji Yokura

Comments: any comments are welcome. Substantial revised version to appear in Pure and Applied Mathematics Quarterly

Journal-ref: Pure and Applied Mathematics Quarterly, Volume 20, Number 2, 955-1004, 2024

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

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

Title: On $τ$-tilting subcategories

Javad Asadollahi, Somayeh Sadeghi, Hipolito Treffinger

Comments: 38 pages. Comments welcome

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

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

Title: Regular Monoidal Languages

Matthew Earnshaw, Paweł Sobociński

Comments: Full version of a paper accepted for MFCS 2022

Subjects: Formal Languages and Automata Theory (cs.FL); Category Theory (math.CT)

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

Title: What Makes a Strong Monad?

Dylan McDermott, Tarmo Uustalu

Comments: In Proceedings MSFP 2022, arXiv:2206.09534

Journal-ref: EPTCS 360, 2022, pp. 113-133

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

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

Title: Idempotent completion of certain $n$-exangulated categories

Jian He, Jing He, Panyue Zhou

Comments: 11 pages. arXiv admin note: text overlap with arXiv:2206.09658. substantial text overlap with arXiv:2109.02068; text overlap with arXiv:2011.00729, arXiv:2109.12954, arXiv:2108.07985, arXiv:2006.02223

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

[32] arXiv:2207.02979 (cross-list from math.KT) [pdf, html, other]

Title: A Quillen model structure of local homotopy equivalences

Devarshi Mukherjee, Guillermo Cortiñas

Comments: Some improvements, new section added. Final version

Journal-ref: Theory and Applications of Categories 41:9 (2024) 268-287

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

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

Title: The quantum isomeric supercategory

Alistair Savage

Comments: 39 pages; v2: corrected Remark 4.10 and other minor corrections; v3: published version

Journal-ref: J. Inst. Math. Jussieu 23 (2024) 1077-1124

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

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

Title: Twisted Hodge diamonds give rise to non-Fourier-Mukai functors

Felix Küng

Comments: 45 Pages, minor typos corrected, changed internal referencing to make use of assumptions clearer, improved clarity of arguments using generators. Accepted to be published in "Journal of Noncommutative Geometry". Comments are welcome, please email to this http URL@ulb.be

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

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

Title: Non-Abelian extensions of groupoids and their groupoid rings

Natã Machado, Johan Öinert, Stefan Wagner

Comments: Minor changes. 27 pages

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

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

Title: Cubical models of higher categories without connections

Brandon Doherty

Comments: 62 pages; corrected typos and expanded introduction

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

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

Title: String Diagrams for Layered Explanations

Leo Lobski, Fabio Zanasi

Comments: In Proceedings ACT 2022, arXiv:2307.15519

Journal-ref: EPTCS 380, 2023, pp. 362-382

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

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

Title: Skew category algebras and modules on ringed finite sites

Mawei Wu, Fei Xu

Journal-ref: Journal of Algebra 2023

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

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

Title: On the K-theory of $\mathbb{Z}$-categories

Eugenia Ellis, Rafael Parra

Comments: 18 pages

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

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

Title: The d-separation criterion in Categorical Probability

Tobias Fritz, Andreas Klingler

Comments: 42 pages, v2: more examples and an extended introduction, v3: corrected typo in Def. 4

Journal-ref: J. Mach. Learn. Res. 24(46), 1-49 (2023)

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

[41] arXiv:2207.06433 (cross-list from hep-th) [pdf, other]

Title: Symmetry enhancement in RCFT II

Ken Kikuchi

Comments: 28 pages + 3 Appendices; v2: found new TDLs in $m=7$ model based on Yu Nakayama's observation and discussed additional consistency condition

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

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

Title: Two stability results for the Kawahara equation with a time-delayed boundary control

Roberto de A. Capistrano-Filho (UFPE), Boumediène Chentouf (Kuwait University), Luan S. de Sousa (UFPE), Victor H. Gonzalez Martinez (UFPE)

Comments: 20 pages - comments are welcome

Journal-ref: Z. Angew. Math. Phys. 74, 16 (2023)

Subjects: Analysis of PDEs (math.AP); Category Theory (math.CT)

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

Title: Spherical Morita contexts and relative Serre functors

Jürgen Fuchs, César Galindo, David Jaklitsch, Christoph Schweigert

Comments: 53 pages. Version 3: Several typos are corrected. A Radford isomorphism for arbitrary bimodule categories is now included (page 29). The discussion of sphericality has been extended (subsection 5.6). In particular, the property of sphericality is shown to be invariant under pivotal Morita equivalence (Cor. 5.19)

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

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

Title: A classification of injective FI$^m$-modules

Duo Zeng

Comments: 12 pages

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

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

Title: Arity Approximation of $\infty$-Operads

Shaul Barkan

Comments: 44 pages

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

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

Title: A category-theoretic proof of the ergodic decomposition theorem

Sean Moss, Paolo Perrone

Comments: 29 pages

Journal-ref: Ergodic Theory and Dynamical Systems, 2023

Subjects: Dynamical Systems (math.DS); Logic in Computer Science (cs.LO); Category Theory (math.CT); Probability (math.PR)

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

Title: Pre-$(n+2)$-angulated categories

Jing He, Panyue Zhou, Xingjia Zhou

Comments: 20 pages. arXiv admin note: text overlap with arXiv:2108.07985, arXiv:2006.02223

Journal-ref: J. Algebra 620 (2023), 452-477

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

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

Title: Non-unital algebraic $K$-theory and almost mathematics

Yuki Kato

Comments: This version is corrected colimits of non-unital algebras by Hovey's Smith ideal theory language

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

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

Title: Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus

Marcelo Fiore

Comments: This is a slight revision, with an implementation, of the full version, with proofs, of February 2003 for the extended abstract with the same title published in the Proceedings of the 4th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP) in October 2002

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

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

Title: Quantitative Hennessy-Milner Theorems via Notions of Density

Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild

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