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

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

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. v3: presentation improved. Title modified to reflect change in presentation

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: 33 pages; changes: statements about the Gray type monoidal product are corrected

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)