Category Theory

Authors and titles for October 2022

[1] arXiv:2210.00078 [pdf, html, other]

Title: A 2-categorical proof of Frobenius for fibrations defined from a generic point

Sina Hazratpour, Emily Riehl

Comments: 20 pages; v3 fixes some typos in the text and in couple of diagrams, it improves the introduction, and it adds new references in the bibliography. v2 adds an appendix on the constructive implications of this proof for structured fibrations

Journal-ref: Math. Struct. Comp. Sci. 34 (2024) 258-280

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

[2] arXiv:2210.00302 [pdf, other]

Title: The eventual image

Tom Leinster

Comments: 40 pages. V2: very minor edits; references added. To appear in Theory and Applications of Categories

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

[3] arXiv:2210.00505 [pdf, other]

Title: Simple semigroups in finite categories

Najwa Ghannoum, Carlos Simpson

Comments: 12 pages

Subjects: Category Theory (math.CT)

[4] arXiv:2210.00748 [pdf, other]

Title: On the concept of Algebraic Crystallography

Dominique Bourn

Comments: 18 pages

Subjects: Category Theory (math.CT)

[5] arXiv:2210.01522 [pdf, other]

Title: Notes on Lax Ends

Kengo Hirata

Comments: 20pages

Subjects: Category Theory (math.CT)

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

Title: Quantitative Algebras and a Classification of Metric Monads

J. Adámek, M. Dostál, J. Velebil

Subjects: Category Theory (math.CT)

[7] arXiv:2210.01720 [pdf, other]

Title: A categorical proof of the Carathéodory extension theorem

Ruben Van Belle

Comments: 36 pages

Subjects: Category Theory (math.CT); Probability (math.PR)

[8] arXiv:2210.01962 [pdf, other]

Title: Duoidal Structures for Compositional Dependence

Brandon T. Shapiro, David I. Spivak

Comments: 38 pages

Subjects: Category Theory (math.CT)

[9] arXiv:2210.02146 [pdf, other]

Title: Centrality and the commutativity of finite products with coequalisers

Michael Hoefnagel

Comments: 21 pages

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

[10] arXiv:2210.03490 [pdf, other]

Title: On the normality of monoid monomorphisms

Nelson Martins-Ferreira, Manuela Sobral

Subjects: Category Theory (math.CT); Group Theory (math.GR)

[11] arXiv:2210.04549 [pdf, html, other]

Title: A pasting theorem for iterated Segal spaces

Jaco Ruit

Comments: 43 pages; v2 final journal version with improvements suggested by the referee

Journal-ref: J. Pure Appl. Algebra 228 (2024), no. 11, 107712

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

[12] arXiv:2210.04636 [pdf, other]

Title: Classifying topoi in synthetic guarded domain theory

Daniele Palombi, Jonathan Sterling

Comments: 38th International Conference on Mathematical Foundations of Programming Semantics (MFPS 2022)

Journal-ref: Electronic Notes in Theoretical Informatics and Computer Science, Volume 1 - Proceedings of MFPS XXXVIII (February 22, 2023) entics:10323

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

[13] arXiv:2210.07704 [pdf, html, other]

Title: Computads and string diagrams for $n$-sesquicategories

Manuel Araújo

Journal-ref: Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques, LXV(2):111-149, 2024

Subjects: Category Theory (math.CT)

[14] arXiv:2210.07753 [pdf, other]

Title: A note on coCartesian fibrations

Hoang Kim Nguyen

Comments: 20 pages

Subjects: Category Theory (math.CT)

[15] arXiv:2210.08237 [pdf, html, other]

Title: Coderived and contraderived categories of locally presentable abelian DG-categories

Leonid Positselski, Jan Stovicek

Comments: LaTeX 2e with xy-pic and one mathb symbol; 76 pages, 1 figure; v.2: a discussion of quasi-coherent matrix factorizations over coherent schemes added in a new Section 9; new Corollary 0.4, Sections 1.10 and 2.7, Examples 3.15, 6.12, 7.8, 8.8, and 8.10 inserted; a paragraph added at the end of Section 2.1, 4th paragraph of the introduction expanded; v.3: several misprints corrected

Journal-ref: Math. Zeitschrift 308 #1 (2024), article no.14, 70 pp

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

[16] arXiv:2210.08582 [pdf, html, other]

Title: Free colimit completion in $\infty$-categories

Charles Rezk

Comments: 14 pages. Several changes since prior version, including a major change in terminology: "regular class" is now used in place of "filtering class", which term has been redeployed for another meaning. Includes changes suggested by reviewer, and some additional remarks on the examples of filtering and cofiltering classes

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

[17] arXiv:2210.08663 [pdf, other]

Title: A Formal Logic for Formal Category Theory (Extended Version)

Max S. New, Daniel R. Licata

Comments: Extended version

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

[18] arXiv:2210.08945 [pdf, other]

Title: The universal coCartesian fibration

Denis-Charles Cisinski, Hoang Kim Nguyen

Comments: 38 pages

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

[19] arXiv:2210.11192 [pdf, html, other]

Title: Free decomposition spaces

Philip Hackney, Joachim Kock

Comments: 31 pages. v2: Accepted version. Many improvements based on suggestions of the referee. Added a proof that j_! is fully faithful. Streamlined applications sections. Removed discussion of IKEO maps, Aguiar--Bergeron--Sottile map, and zeta functions -- this material will be given an expanded treatment elsewhere

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

[20] arXiv:2210.12021 [pdf, other]

Title: Cauchy Completeness, Lax Epimorphisms and Effective Descent for Split Fibrations

Fernando Lucatelli Nunes, Rui Prezado, Lurdes Sousa

Comments: 8 pages, revised version, 11-01-2023

Journal-ref: Bull. Belg. Math. Soc. Simon Stevin 30(1): 130-139 (july 2023)

Subjects: Category Theory (math.CT); General Topology (math.GN)

[21] arXiv:2210.13443 [pdf, other]

Title: Module categories, internal bimodules and Tambara modules

Mateusz Stroiński

Comments: 63 pages

Journal-ref: Proc. Lond. Math. Soc.(3) 128(5), 2024

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

[22] arXiv:2210.13886 [pdf, html, other]

Title: Properties and Characterisations of Cofree Cartesian Differential Categories

Jean-Simon Pacaud Lemay

Subjects: Category Theory (math.CT)

[23] arXiv:2210.14332 [pdf, other]

Title: On lax protomodularity of Ord-enriched categories

Maria Manuel Clementino, Andrea Montoli, Diana Rodelo

Subjects: Category Theory (math.CT)

[24] arXiv:2210.14337 [pdf, other]

Title: On coherent systems of subobjects with application to torsion theory

Francis Borceux, Maria Manuel Clementino

Subjects: Category Theory (math.CT)

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

Title: The completion of $d$-abelian categories

Ramin Ebrahimi, Alireza Nasr-Isfahani

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