Category Theory

Authors and titles for recent submissions

• Thu, 17 Apr 2025
• Wed, 16 Apr 2025
• Tue, 15 Apr 2025
• Mon, 14 Apr 2025
• Fri, 11 Apr 2025

See today's new changes

Thu, 17 Apr 2025 (showing 5 of 5 entries )

[1] arXiv:2504.12158 [pdf, other]

Title: What is a monoid?

Paul Blain Levy, Morgan Rogers

Comments: 15 pages

Subjects: Category Theory (math.CT); Programming Languages (cs.PL)

[2] arXiv:2504.12128 (cross-list from cs.LO) [pdf, other]

Title: An Algebraic Extension of Intuitionistic Linear Logic: The $L_!^S$-Calculus and Its Categorical Model

Alejandro Díaz-Caro, Malena Ivnisky, Octavio Malherbe

Comments: arXiv admin note: substantial text overlap with arXiv:2310.08517

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

[3] arXiv:2504.11772 (cross-list from math.AG) [pdf, html, other]

Title: Admissible subcategories and metric techniques

Kabeer Manali Rahul

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

[4] arXiv:2504.11768 (cross-list from math.AG) [pdf, other]

Title: Representability theorems via metric techniques

Kabeer Manali Rahul

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

[5] arXiv:2504.11760 (cross-list from math.CO) [pdf, html, other]

Title: The Topological Structures of the Orders of Hypergraphs

Robert E. Green, Cliff A. Joslyn, Audun Myers, Michael G. Rawson, Michael R. Robinson

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

Wed, 16 Apr 2025 (showing 2 of 2 entries )

[6] arXiv:2504.11099 [pdf, other]

Title: Double categories of profunctors

Yuto Kawase

Comments: 62 pages

Subjects: Category Theory (math.CT)

[7] arXiv:2504.11225 (cross-list from cs.LO) [pdf, other]

Title: Directed First-Order Logic

Andrea Laretto, Fosco Loregian, Niccolò Veltri

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

Tue, 15 Apr 2025 (showing 3 of 3 entries )

[8] arXiv:2504.09520 [pdf, other]

Title: Hofmann-Streicher lifting of fibred categories

Andrew Slattery, Jonathan Sterling

Comments: To appear in LICS '25

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

[9] arXiv:2504.10314 (cross-list from cs.PL) [pdf, other]

Title: Universal Algebra and Effectful Computation

Nayan Rajesh

Comments: 98 pages, dissertation submitted towards the degree of MSc in Mathematics and Foundations of Computer Science, University of Oxford 2023

Subjects: Programming Languages (cs.PL); Category Theory (math.CT)

[10] arXiv:2504.10131 (cross-list from math.OA) [pdf, other]

Title: A three-functor formalism for commutative von Neumann algebras

Andre G. Henriques, Thomas A. Wasserman

Comments: 25 pages. Comments welcome!

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

Mon, 14 Apr 2025 (showing 2 of 2 entries )

[11] arXiv:2504.08496 (cross-list from math.QA) [pdf, other]

Title: Perverse schobers of Coxeter type $\mathbb{A}$

Tobias Dyckerhoff, Paul Wedrich

Comments: 51 pages, comments welcome

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

[12] arXiv:2504.08095 (cross-list from math-ph) [pdf, html, other]

Title: Sheaf Topos Theory: A powerful setting for Lagrangian Field Theory

Grigorios Giotopoulos

Comments: 39 pages; Contribution to the Proceedings of the "Workshop on Noncommutative and Generalized Geometry in String Theory, Gauge Theory and Related Physical Models", Corfu Summer Institute on Elementary Particle Physics and Gravity, Sep 17 - Sep 24 2024, Corfu, Greece

Subjects: Mathematical Physics (math-ph); High Energy Physics - Theory (hep-th); Category Theory (math.CT)

Fri, 11 Apr 2025 (showing 3 of 3 entries )

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

Title: Free monad sequences and extension operations

Christian Sattler

Comments: unsubmitted article from 2016, 22 pages

Subjects: Category Theory (math.CT)

[14] arXiv:2504.07473 [pdf, other]

Title: Standard $t$-structures

Peter J. Haine, Mauro Porta, Jean-Baptiste Teyssier

Comments: Comments very welcome. 11 pages

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

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

Title: Equivariant recollements and singular equivalences

Miltiadis Karakikes, Aristeides Kontogeorgis, Chrysostomos Psaroudakis

Comments: 49 pages, Comments are welcome

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