Category Theory

Authors and titles for April 2022

[1] arXiv:2204.00295 [pdf, other]

Title: Cocartesian fibrations and straightening internal to an $\infty$-topos

Louis Martini

Comments: Fixed a few typos

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

[2] arXiv:2204.00829 [pdf, other]

Title: Ramsey properties of products and pullbacks of categories and the Grothendieck construction

Dragan Mašulović

Subjects: Category Theory (math.CT)

[3] arXiv:2204.00938 [pdf, html, other]

Title: Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories

Jonathan Weinberger

Comments: 76 pages. This text is essentially Chapter 5 and Appendices A and B from author's PhD thesis arXiv:2202.13132. Updated as per referee comments

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

[4] arXiv:2204.01032 [pdf, other]

Title: Categories enriched over oplax monoidal categories

Thomas Basile, Damien Lejay, Kevin Morand

Comments: 63 pages

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

[5] arXiv:2204.01082 [pdf, other]

Title: Stratification and the smashing spectrum

Charalampos Verasdanis

Comments: 27 pages, final version, to appear in Mathematische Zeitschrift

Subjects: Category Theory (math.CT)

[6] arXiv:2204.01634 [pdf, other]

Title: Commutative graded monads

Rowan Poklewski-Koziell

Subjects: Category Theory (math.CT)

[7] arXiv:2204.02009 [pdf, other]

Title: An extension of Batanin's approach to globular algebras

Simon Forest

Subjects: Category Theory (math.CT)

[8] arXiv:2204.02284 [pdf, other]

Title: Free gs-monoidal categories and free Markov categories

Tobias Fritz, Wendong Liang

Comments: 35 pages. v3: minor revision, to appear in Appl. Categ. Structures

Journal-ref: Appl. Categ. Structures 31, 21 (2023)

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

[9] arXiv:2204.02590 [pdf, html, other]

Title: Discrete equational theories

Jiří Rosický

Comments: an updated and corrected version, 17 pages

Journal-ref: Math. Struct. Comp. Sci. 34 (2024), 147-160

Subjects: Category Theory (math.CT)

[10] arXiv:2204.02749 [pdf, other]

Title: Toposes over which essential implies locally connected

Jens Hemelaer

Comments: 17 pages

Subjects: Category Theory (math.CT)

[11] arXiv:2204.03389 [pdf, other]

Title: Koszul duality for categories with a fixed object set

Hadrien Espic

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

[12] arXiv:2204.04920 [pdf, other]

Title: A graphical construction of free Markov categories

Yimu Yin

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

[13] arXiv:2204.05661 [pdf, other]

Title: Coverings and liftings of generalized crossed modules

Gamze Aytekin Arici, Tunçar Şahan

Comments: 17 pages, research paper, LaTeX2e, xypic

Journal-ref: Categories and General Algebraic Structures with Applications, 17(1), 117-139 (2022)

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

[14] arXiv:2204.06055 [pdf, other]

Title: Codescent and bicolimits of pseudo-algebras

Axel Osmond

Subjects: Category Theory (math.CT)

[15] arXiv:2204.06123 [pdf, other]

Title: Generalized Composition via Nerves: Models and Algebra

Paul Glenn

Comments: 301 pages. Typos and small errors corrected. Some rewording

Subjects: Category Theory (math.CT)

[16] arXiv:2204.07606 [pdf, other]

Title: Generalized nerves of monads

Charles Walker

Subjects: Category Theory (math.CT)

[17] arXiv:2204.08351 [pdf, other]

Title: On sheaves on semicartesian quantales and their truth values

Ana Luiza Tenório, Caio de Andrade Mendes, Hugo Luiz Mariano

Comments: 43 pages. We have updated the paper to show that our sheaves on quantales do not form a topos and replaced a section about change of base by a section discussing a subobject classifier for $Sh(Q)$. The discussion about change of base will appear elsewhere with more details

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

[18] arXiv:2204.08794 [pdf, other]

Title: Noncommutative tensor triangulated categories and coherent frames

Vivek Mohan Mallick, Samarpita Ray

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

[19] arXiv:2204.09285 [pdf, other]

Title: Tight limits and completions from Dedekind-MacNeille to Lambek-Isbell

Dusko Pavlovic, Dominic J.D.Hughes

Comments: 48 pages, 16 page appendix, lots of diagrams

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

[20] arXiv:2204.09547 [pdf, other]

Title: Dependent Optics

Pietro Vertechi

Comments: In Proceedings ACT 2022, arXiv:2307.15519

Journal-ref: EPTCS 380, 2023, pp. 128-144

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

[21] arXiv:2204.09584 [pdf, other]

Title: An orthogonal approach to algebraic weak factorisation systems

John Bourke

Comments: Added intro to double categories and discussion of homotopical examples. Journal version

Journal-ref: Journal of Pure and Applied Algebra, Volume 227, Issue 6, June 2023, 107294

Subjects: Category Theory (math.CT)

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

Title: Characterizations of classes of countable Boolean inverse monoids

Mark V. Lawson, Philip Scott

Comments: The paper has been thoroughly updated in the light of a referee's comments. Sections 5 and 6 have been particularly changed

Subjects: Category Theory (math.CT)

[23] arXiv:2204.10630 [pdf, other]

Title: On the the missing diagrams in Category Theory (first-person version)

Eduardo Ochs

Comments: 66 pages. arXiv admin note: substantial text overlap with arXiv:2006.15836

Subjects: Category Theory (math.CT)

[24] arXiv:2204.10708 [pdf, other]

Title: Seeing double through dependent optics

Matteo Capucci

Comments: 17 pages, 1 figure

Subjects: Category Theory (math.CT)

[25] arXiv:2204.10918 [pdf, other]

Title: Extensivity of categories of relational structures

Jason Parker

Comments: Minor changes to reflect journal version

Subjects: Category Theory (math.CT)