Category Theory

Authors and titles for math.CT in Jul 2022

[1]  arXiv:2207.01366 [pdf, ps, other]

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

Authors: Philippe Gaucher

Comments: 9 pages

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

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

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

Authors: 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, ps, other]

Title: Comparing cubical and globular directed paths

Authors: 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, ps, other]

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

Authors: El Mehdi Cherradi

Comments: 31 pages

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

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

Title: Non-commutative Stone duality

Authors: 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, other]

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

Authors: Manuel Araújo

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

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

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

Title: Univalent categories of modules

Authors: 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, ps, other]

Title: Idempotent completions of $n$-exangulated categories

Authors: Carlo Klapproth, Dixy Msapato, Amit Shah

Comments: v3: 40 pages; minor changes to Lemma 2.4 and Remark 2.11; statement and proof of Proposition 5.2 changed slightly. v2: 41 pages, minor changes. v1: 41 pages. Comments very welcome!

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

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

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

Authors: Rory B. B. Lucyshyn-Wright, Jason Parker

Subjects: Category Theory (math.CT)

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

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

Authors: Shoma Fujino, Makoto Matsumoto

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

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

Title: Structured Decompositions: Structural and Algorithmic Compositionality

Authors: Benjamin Merlin Bumpus, Zoltan A. Kocsis, Jade Edenstar Master

Comments: Updated notation and simplified proofs

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

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

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

Authors: James Richard Andrew Gray

Subjects: Category Theory (math.CT)

[13]  arXiv:2207.06765 [pdf, other]

Title: Fibrational linguistics: Language acquisition

Authors: Fabrizio Genovese, Fosco Loregian, Caterina Puca

Comments: ACT2022 version; FibLang chapter 0 is at arXiv:2201.01136

Subjects: Category Theory (math.CT)

[14]  arXiv:2207.07063 [pdf, ps, other]

Title: Differential graded Koszul duality: an introductory survey

Authors: Leonid Positselski

Comments: LaTeX 2e with xy-pic, graphicx.sty, 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

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

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

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

Authors: Xianbo Yang, Dexue Zhang

Comments: 12 pages

Subjects: Category Theory (math.CT)

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

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

Authors: Francis Borceux, Federico Campanini, Marino Gran, Walter Tholen

Comments: 17 pages

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

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

Title: $n$-Complicial sets as a model of $(\infty,n)$-categories

Authors: Félix Loubaton

Comments: This text is a working paper. All comments, both mathematical and redactional, are welcome!

Subjects: Category Theory (math.CT)

[18]  arXiv:2207.09702 [pdf, ps, other]

Title: Non-existence of fiberwise localization for crossed modules

Authors: 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

Authors: 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

Authors: 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, ps, other]

Title: Closed categories

Authors: Gintaras Valiukevičius

Subjects: Category Theory (math.CT)

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

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

Authors: 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, ps, other]

Title: Ideal approximation in $n$-exangulated categories

Authors: 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

Authors: Andrea Censi, Emilio Frazzoli, Jonathan Lorand, Gioele Zardini

Comments: 21 pages, to appear in the Electronic Proceedings in Theoretical Computer Science (EPTCS), 5th Annual International Applied Category Theory Conference

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

[25]  arXiv:2207.13816 [pdf, ps, other]

Title: Torsion theories and TTF theories in Birkhoff subcategories of simplicial groups

Authors: Guillermo López Cafaggi

Comments: 21 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

Authors: 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, ps, other]

Title: A bi-variant algebraic cobordism via correspondences

Authors: Shoji Yokura

Comments: any comments are welcome

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

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

Title: On $τ$-tilting subcategories

Authors: 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.01232 (cross-list from math.RT) [pdf, ps, other]

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

Authors: 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)

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

Title: A Quillen model structure of local homotopy equivalences

Authors: Devarshi Mukherjee, Guillermo Cortiñas

Comments: Some improvements, new section added

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

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

Title: The quantum isomeric supercategory

Authors: Alistair Savage

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

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

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

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

Authors: 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 felix.kung@ulb.be

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

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

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

Authors: 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)

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

Title: Cubical models of higher categories without connections

Authors: Brandon Doherty

Comments: 62 pages; corrected typos and expanded introduction

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

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

Title: Skew category algebras and modules on ringed finite sites

Authors: Mawei Wu, Fei Xu

Journal-ref: Journal of Algebra 2023

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

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

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

Authors: Eugenia Ellis, Rafael Parra

Comments: 18 pages

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

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

Title: The d-separation criterion in Categorical Probability

Authors: 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)

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

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

Authors: 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)

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

Title: Spherical Morita contexts and relative Serre functors

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

Comments: 48 pages. Version 2: Added an interpretation of relative Serre functors as a pseudo-functor (Def. 4.13) and a bicategorical analog to the Radford $S^4$ theorem for a Morita context (Sect. 4.4)

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

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

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

Authors: Duo Zeng

Comments: 12 pages

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

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

Title: Arity Approximation of $\infty$-Operads

Authors: Shaul Barkan

Comments: 44 pages

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

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

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

Authors: 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)

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

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

Authors: 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)

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

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

Authors: 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)

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

Title: The $\infty$-Categorical Reflection Theorem and Applications

Authors: Shaul Ragimov, Tomer M. Schlank

Comments: 51 pages, comments are welcome!

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

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

Title: Categories of complex variations of Hodge structure over compact K"ahler manifolds

Authors: Hisashi Kasuya

Comments: 12 pages. Comments welcome

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

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

Title: The integration theory of curved absolute homotopy Lie algebras

Authors: Victor Roca i Lucio

Comments: The author's PhD Thesis. 191 pages. (In English)

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

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

Title: Lie-algebra centers via de-categorification

Authors: Alexandru Chirvasitu

Comments: 20 pages + references

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

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

Title: Mixed graded structure on Chevalley-Eilenberg functors

Authors: Emanuele Pavia

Comments: Added some more explicit and motivational descriptions of mixed graded complex in the introduction. Second chapter of my PhD thesis, 57 pages, comments welcome

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

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

Title: Basic Hopf algebras and symmetric bimodules

Authors: Katerina Hristova, Vanessa Miemietz

Comments: 28 pages

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