Category Theory

Authors and titles for June 2024

[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)

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

Title: Gabriel-Ulmer Duality for Topoi, An Introduction

Federica Pasqualone

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

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

Title: Oracle modalities

Andrew W Swan

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

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

Title: The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion

Louis Lemonnier

Comments: PhD thesis from Université Paris-Saclay

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

[44] arXiv:2406.07577 (cross-list from cs.AI) [pdf, html, other]

Title: Structured Active Inference (Extended Abstract)

Toby St Clere Smithe

Subjects: Artificial Intelligence (cs.AI); Category Theory (math.CT)

[45] arXiv:2406.08956 (cross-list from math.QA) [pdf, html, other]

Title: Skein Categories in Non-semisimple Settings

Jennifer Brown, Benjamin Haïoun

Comments: 29 pages. Comments welcome!

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

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

Title: The index in $d$-exact categories

Francesca Fedele, Peter Jørgensen, Amit Shah

Comments: 17 pages. Comments welcome!

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

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

Title: Projection algebras and free projection- and idempotent-generated regular $*$-semigroups

James East, Robert D. Gray, P.A. Azeef Muhammed, Nik Ruškuc

Comments: 48 pages, 7 figures, 4 tables

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

[48] arXiv:2406.10009 (cross-list from math.QA) [pdf, html, other]

Title: Matched pairs and Yetter-Drinfeld braces

Davide Ferri, Andrea Sciandra

Comments: 29 pages

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

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

Title: Fuzzy simplicial sets and their application to geometric data analysis

Lukas Silvester Barth, Fatemeh (Hannaneh)Fahimi, Parvaneh Joharinad, Jürgen Jost, Janis Keck, Thomas Jan Mikhail

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

[50] arXiv:2406.11221 (cross-list from math.FA) [pdf, html, other]

Title: Symmetric monoidal categories of conveniently-constructible Banach bundles

Alexandru Chirvasitu

Comments: 22 pages + references; v2 corrects typos and makes small style changes

Subjects: Functional Analysis (math.FA); Category Theory (math.CT); General Topology (math.GN); Operator Algebras (math.OA); Rings and Algebras (math.RA)

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

Title: Exact dg categories II : The embedding theorem

Xiaofa Chen

Comments: This paper is a revised and augmented version of the second part of the author's Ph.D thesis arXiv:2306.08231; 45 pages; comments are very welcome

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

[52] arXiv:2406.11722 (cross-list from math.MG) [pdf, html, other]

Title: Magnitude homology equivalence of Euclidean sets

Adrián Doña Mateo, Tom Leinster

Comments: 22 pages

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

[53] arXiv:2406.11814 (cross-list from stat.ML) [pdf, other]

Title: Stochastic Neural Network Symmetrisation in Markov Categories

Rob Cornish

Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Category Theory (math.CT)

[54] arXiv:2406.11964 (cross-list from hep-th) [pdf, other]

Title: Dualities and Categorical Structures from 2D Up

Veronica Pasquarella

Comments: author's PhD thesis (based on the official version submitted for dissertation) this https URL 321 pages (the original version was 442 pages due to different font type); V2 with some further references added

Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Algebraic Geometry (math.AG); Category Theory (math.CT); Quantum Algebra (math.QA)

[55] arXiv:2406.12486 (cross-list from math.GN) [pdf, html, other]

Title: The DeMorganization of a locale

Igor Arrieta

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