Category Theory

Authors and titles for March 2025

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

Title: Multiplicative structures on comodules in higher categories

Takeshi Torii

Comments: 19 pages

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

[2] arXiv:2503.01687 [pdf, other]

Title: Completions and DK-equivalences of ${Θ_n}$-spaces

Miika Tuominen

Comments: 60 pages

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

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

Title: Objective Mackey and Tambara functors via parametrized categories

Ross Street

Comments: 33 pages

Subjects: Category Theory (math.CT)

[4] arXiv:2503.02477 [pdf, other]

Title: Random Variables, Conditional Independence and Categories of Abstract Sample Spaces

Dario Stein

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

[5] arXiv:2503.03439 [pdf, html, other]

Title: Lawvere's fourth open problem: Levels in the topos of symmetric simplicial sets

Ryuya Hora, Yuhi Kamio, Yuki Maehara

Comments: v2: An error in the case l=1 has been fixed. 25 pages. Comments welcome!

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

[6] arXiv:2503.03445 [pdf, other]

Title: Duoidal R-Matrices

Tony Zorman

Comments: 16 pages, comments welcome!

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

[7] arXiv:2503.03916 [pdf, other]

Title: Fully faithful functors and pushouts of $\infty$-categories

Peter J. Haine, Maxime Ramzi, Jan Steinebrunner

Comments: 31 pages

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

[8] arXiv:2503.04294 [pdf, html, other]

Title: On some triangulated categories over group algebras

Ioannis Emmanouil, Wei Ren

Comments: 20 pages

Subjects: Category Theory (math.CT)

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

Title: Grothendieck topoi with a left adjoint to a left adjoint to a left adjoint to the global sections functor

Ryuya Hora

Comments: 14 pages, comments welcome; v2 A figure is fixed; v3 Typos and minor errors are fixed

Subjects: Category Theory (math.CT)

[10] arXiv:2503.04488 [pdf, html, other]

Title: Action representability in categories of unitary algebras

Manuel Mancini, Federica Piazza

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

[11] arXiv:2503.05457 [pdf, other]

Title: Dependent Directed Wiring Diagrams for Composing Instantaneous Systems

Keri D'Angelo, Sophie Libkind

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

[12] arXiv:2503.06577 [pdf, other]

Title: The snail lemma and the long homology sequence

Julia Ramos González, Enrico Vitale

Comments: 31 pages

Subjects: Category Theory (math.CT)

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

Title: Categories meet semigroups in various ways

Bertalan Pécsi

Subjects: Category Theory (math.CT)

[14] arXiv:2503.07194 [pdf, html, other]

Title: Abelian versus triangulated quotients

Henning Krause

Comments: 5 pages

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

[15] arXiv:2503.08832 [pdf, other]

Title: Lax functorialities of the comma construction for $ω$-categories

Dimitri Ara, Léonard Guetta

Comments: 56 pages

Subjects: Category Theory (math.CT)

[16] arXiv:2503.10230 [pdf, other]

Title: On biadjoint triangles with additional modifications

Gabriel Merlin (MICS)

Subjects: Category Theory (math.CT)

[17] arXiv:2503.10524 [pdf, html, other]

Title: On the computation of the vanishing locus of a finitely presented functor

Sebastian Posur

Subjects: Category Theory (math.CT)

[18] arXiv:2503.10963 [pdf, other]

Title: A study of Kock's fat Delta

Tom de Jong, Nicolai Kraus, Simona Paoli, Stiéphen Pradal

Comments: 34 pages. Comments are welcome

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

[19] arXiv:2503.12475 [pdf, other]

Title: Model structures on triangulated categories with proper class of triangles

Jian Cui, Pu Zhang

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

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

Title: Equ-saturating categories

Dominique Bourn

Comments: 24 pages

Subjects: Category Theory (math.CT)

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

Title: Surface Diagrams for Frobenius Algebras and Frobenius-Schur Indicators in Grothendieck-Verdier Categories

Max Demirdilek, Christoph Schweigert

Comments: Many figures

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

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

Title: A convenient category of cubes

Sanjeevi Krishnan, Emily Rudman

Comments: 31pp

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

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

Title: Dynkin Systems and the One-Point Geometry

Jonathan Beardsley

Comments: added and clarified exposition, a number of typos repaired, comments always welcome

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

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

Title: Patch-density in tensor-triangular geometry

Paul Balmer, Martin Gallauer

Comments: 11 pages

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

[25] arXiv:2503.17274 [pdf, other]

Title: Composable Uncertainty in Symmetric Monoidal Categories for Design Problems

Marius Furter, Yujun Huang, Gioele Zardini

Comments: 22 pages, 2 figures, submitted to Applied Category Theory 2025

Subjects: Category Theory (math.CT); Systems and Control (eess.SY)

[26] arXiv:2503.17319 [pdf, other]

Title: The algebraic internal groupoid model of Martin-Löf type theory

Calum Hughes

Comments: 41 pages

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

[27] arXiv:2503.17326 [pdf, html, other]

Title: Action accessible and weakly action representable varieties of algebras

Xabier García-Martínez, Manuel Mancini

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

[28] arXiv:2503.18354 [pdf, other]

Title: The formal theory of tangentads I

Marcello Lanfranchi

Subjects: Category Theory (math.CT)

[29] arXiv:2503.19242 [pdf, other]

Title: Effectivity of Generalized Double $\infty$-Categories

Félix Loubaton

Comments: 56 pages

Subjects: Category Theory (math.CT)

[30] arXiv:2503.20024 [pdf, html, other]

Title: Calculating monad transformers with category theory

Oleksandr Manzyuk

Subjects: Category Theory (math.CT)

[31] arXiv:2503.20664 [pdf, other]

Title: Coverages and Grothendieck Toposes

Emilio Minichiello

Comments: 142 pages, comments and suggestions welcome!

Subjects: Category Theory (math.CT)

[32] arXiv:2503.20671 [pdf, html, other]

Title: The List Object Endofunctor is Polynomial

Samuel Desrochers

Comments: 35 pages

Subjects: Category Theory (math.CT)

[33] arXiv:2503.20704 [pdf, html, other]

Title: Formalizing colimits in Cat

Mario Carneiro, Emily Riehl

Comments: 16 pages, submitted to ITP 2025

Subjects: Category Theory (math.CT)

[34] arXiv:2503.21216 [pdf, html, other]

Title: The Krull-Remak-Schmidt-Azumaya Theorem for idempotent complete categories

Simion Breaz

Comments: Comments are welcome

Subjects: Category Theory (math.CT)

[35] arXiv:2503.21434 [pdf, other]

Title: Elgot Categories and Abacus Programs

Chad Nester

Comments: In peer rewview, although not at MFPS, I'm just using their style files!

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

[36] arXiv:2503.21974 [pdf, other]

Title: Categories by Kan extension

David I. Spivak

Comments: 24 pages

Subjects: Category Theory (math.CT)

[37] arXiv:2503.22217 [pdf, other]

Title: Semi-orthogonal decompositions via t-stabilities

Mingfa Chen

Comments: 18 pages

Subjects: Category Theory (math.CT)

[38] arXiv:2503.22699 [pdf, other]

Title: Aspects of Condensed Mathematics -- From Abstract Nonsense to Ergodic Theory

Noa Bihlmaier, Nick Ruoff, Philipp Schmale

Comments: 345 pages

Subjects: Category Theory (math.CT)

[39] arXiv:2503.23871 [pdf, other]

Title: The holonomy Lie $\infty$-groupoid of a singular foliation I

Ruben Louis (JLU), Camille Laurent-Gengoux (UL)

Subjects: Category Theory (math.CT); Differential Geometry (math.DG)

[40] arXiv:2503.24279 [pdf, html, other]

Title: Toward the effective 2-topos

Steve Awodey, Jacopo Emmenegger

Comments: Dedicated to Pino Rosolini on the occasion of his 70th birthday

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

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

Title: Wakamatsu-tilting subcategories in extriangulated categories

Zhiwei Zhu, Jiaqun Wei

Comments: 18 pages

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

[42] arXiv:2503.00511 (cross-list from math.OC) [pdf, other]

Title: A Bayesian Interpretation of the Internal Model Principle

Manuel Baltieri, Martin Biehl, Matteo Capucci, Nathaniel Virgo

Comments: 13 pages, no figures

Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Category Theory (math.CT)

[43] arXiv:2503.00685 (cross-list from math.RT) [pdf, html, other]

Title: Growth problems in diagram categories

Jonathan Gruber, Daniel Tubbenhauer

Comments: 10 pages, many figures, comments welcome

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

[44] arXiv:2503.01188 (cross-list from math.RT) [pdf, html, other]

Title: Quillen equivalence for chain homotopy categories induced by balanced pairs

Jiangsheng Hu, Wei Ren, Xiaoyan Yang, Hanyang You

Comments: 23 pages

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

[45] arXiv:2503.02556 (cross-list from cs.DC) [pdf, html, other]

Title: A Sheaf-Theoretic Characterization of Tasks in Distributed Systems

Stephan Felber, Bernardo Hummes Flores, Hugo Rincon Galeana

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Category Theory (math.CT)

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

Title: Norms in equivariant homotopy theory

Tobias Lenz, Sil Linskens, Phil Pützstück

Comments: 105 pages

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

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

Title: Constructing Reedy Fibrant Replacements of Projective Fibrant Simplicial Presheaves

Jack Romö

Comments: 22 pages, preliminary version

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

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

Title: Global Picard Spectra and Borel Parametrized Algebra

Phil Pützstück

Comments: 65 pages

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

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

Title: Galois measurings for noncommutative base change of entwined contramodule and entwined comodule categories

Divya Ahuja, Abhishek Banerjee, Surjeet Kour

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

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

Title: 2-Coherent Internal Models of Homotopical Type Theory

Joshua Chen

Comments: 43 pages

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