Category Theory

Authors and titles for June 2024

[16] arXiv:2406.12127 [pdf, other]

Title: Invertible cells in $\omega$-categories

Thibaut Benjamin, Ioannis Markakis

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

[17] arXiv:2406.12617 [pdf, other]

Title: Enriched concepts of regular logic

Jiří Rosický, Giacomo Tendas

Comments: 39 pages

Subjects: Category Theory (math.CT)

[18] arXiv:2406.13240 [pdf, other]

Title: $\omega$-weak equivalences between weak $\omega$-categories

Soichiro Fujii, Keisuke Hoshino, Yuki Maehara

Comments: 27 pages. Reorganised Section 4. Fixed minor typos. Comments welcome!

Subjects: Category Theory (math.CT)

[19] arXiv:2406.13398 [pdf, other]

Title: Non-additive derived functors via chain resolutions

Maxime Culot, Fara Renaud, Tim Van der Linden

Comments: 44 pages; changed title, minor changes throughout the text

Subjects: Category Theory (math.CT)

[20] arXiv:2406.13647 [pdf, html, other]

Title: Inner automorphisms as 2-cells

Pieter Hofstra, Martti Karvonen

Journal-ref: Theory and Applications of Categories, Vol. 42, No. 2, 2024, pp. 19-40

Subjects: Category Theory (math.CT)

[21] arXiv:2406.14346 [pdf, html, other]

Title: Atomic Toposes with Co-Well-Founded Categories of Atoms

Jérémie Marquès

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

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

Title: A Tangent Category Perspective on Connections in Algebraic Geometry

G.S.H. Cruttwell, Jean-Simon Pacaud Lemay, Elias Vandenberg

Subjects: Category Theory (math.CT)

[23] arXiv:2406.15256 [pdf, html, other]

Title: Pushforward monads

Adrián Doña Mateo

Comments: 25 pages

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

[24] arXiv:2406.15584 [pdf, html, other]

Title: On the Multicategorical Meta-Theorem and the Completeness of Restricted Algebraic Deduction Systems

David Forsman

Comments: 30 pages

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

[25] arXiv:2406.15884 [pdf, other]

Title: $\mathrm{Mod}_{\mathbb{H}\mathrm{k}}$-enriched $\infty$-categories are left $\mathbb{H}\mathrm{k}$-module objects of $\mathcal{C}at_{\infty}^{\mathcal{S}p}$ and $\mathcal{C}at_{\infty}^{\mathcal{S}p}$-enriched $\infty$-functors

Matteo Doni

Subjects: Category Theory (math.CT)

[26] arXiv:2406.15887 [pdf, other]

Title: $R\text{-}\mathrm{Mod}$-enriched categories are left $\underline{R}$-module objects of $Cat(\mathbb{A}\mathrm{b})$ and $Cat(\mathbb{A}\mathrm{b})$-enriched functors

Matteo Doni

Subjects: Category Theory (math.CT)

[27] arXiv:2406.15895 [pdf, other]

Title: $k$-linear Morita theory

Matteo Doni

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

[28] arXiv:2406.17677 [pdf, other]

Title: Lifting of locally initial objects and universal (co)acting Hopf algebras

Ana Agore, Alexey Gordienko, Joost Vercruysse

Comments: 49 pages

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

[29] arXiv:2406.17684 [pdf, other]

Title: Dualities for universal (co)acting Hopf monoids

Ana Agore, Alexey Gordienko, Joost Vercruysse

Comments: 49 pages

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

[30] arXiv:2406.18399 [pdf, other]

Title: Kan extendable subcategories and fibrewise topology

Moncef Ghazel

Comments: 71 pages

Subjects: Category Theory (math.CT)

[31] arXiv:2406.19409 [pdf, html, other]

Title: A Very Short Introduction to Topos Theory (adapted from Prof. Pettigrew's notes)

Eric Schmid

Comments: 37 pages

Subjects: Category Theory (math.CT)

[32] arXiv:2406.19816 [pdf, other]

Title: String Diagrams for Physical Duoidal Categories

Mario Román

Comments: 26 pages, 11 figures. The author thanks Nayan Rajesh for pointing out a mistake on a previous version of Definition 8.4

Subjects: Category Theory (math.CT)

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

Title: Profinite completions of products

Peter J. Haine

Comments: Comments very welcome. 13 pages. A version of this note originally appeared on the author's website in November 2022

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

[34] arXiv:2406.00161 (cross-list from math.CA) [pdf, html, other]

Title: Normed modules and The Stieltjes integrations of functions defined on finite-dimensional algebras

Hanpeng Gao, Shengda Liu, Yu-Zhe Liu, Yucheng Wang

Comments: 23 pages

Subjects: Classical Analysis and ODEs (math.CA); Category Theory (math.CT)

[35] arXiv:2406.01816 (cross-list from math-ph) [pdf, other]

Title: Categories of quantum cpos

Andre Kornell, Bert Lindenhovius, Michael Mislove

Comments: 80 pages

Subjects: Mathematical Physics (math-ph); Logic in Computer Science (cs.LO); Category Theory (math.CT); Operator Algebras (math.OA); Quantum Physics (quant-ph)

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

Title: A simple characterization of Quillen adjunctions

Victor Carmona

Comments: Comments are welcome!

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

[37] arXiv:2406.02725 (cross-list from math.SG) [pdf, html, other]

Title: Non-linear microlocal cut-off functors

Bingyu Zhang

Comments: 14 pages. Comments are welcome!

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

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

Title: Spectral sequences via linear presheaves

Muriel Livernet, Sarah Whitehouse

Comments: 46 pages

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

[39] arXiv:2406.02829 (cross-list from math.LO) [pdf, html, other]

Title: Approximation properties of torsion classes

Sean Cox, Alejandro Poveda, Jan Trlifaj

Subjects: Logic (math.LO); Commutative Algebra (math.AC); Category Theory (math.CT); Rings and Algebras (math.RA)

[40] arXiv:2406.03578 (cross-list from cs.LO) [pdf, html, other]

Title: Two-dimensional Kripke Semantics II: Stability and Completeness

G. A. Kavvos

Comments: Accepted at MFPS 2024

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