Category Theory

Authors and titles for February 2025

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

Title: A Unified Framework for Initial Semantics

Thomas Lamiaux, Benedikt Ahrens

Comments: Shorter version of arXiv:2401.09366

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

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

Title: Tannakian categories: origins and summary

James S Milne

Comments: Misprints fixed

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

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

Title: Globular subdivisions are dihomotopy equivalences

Philippe Gaucher

Comments: 45 pages, 5 figures; v2 : proof of Theorem 8.9 simplified thanks to the new Proposition 8.8; many other proofs expanded; an appendix about the underlying space functor

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

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

Title: Classical notions of computation and the Hasegawa-Thielecke theorem

Éléonore Mangel, Paul-André Melliès, Guillaume Munch-Maccagnoni

Comments: 24 pages with appendix

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

[55] arXiv:2502.15276 (cross-list from math.DS) [pdf, other]

Title: Categorical Lyapunov Theory I: Stability of Flows

Aaron D. Ames, Joe Moeller, Paulo Tabuada

Comments: 31 pages

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

[56] arXiv:2502.15408 (cross-list from math.ST) [pdf, html, other]

Title: Probabilistic morphisms and Bayesian supervised learning

Hông Vân Lê

Comments: v.3: typos corrected, Example 4.11 expanded, 21 p., published in Math. Sbornik, 216 (2025), Nr. 5

Subjects: Statistics Theory (math.ST); Category Theory (math.CT)

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

Title: Polarizations on a triangulated category

Daigo Ito

Comments: 40 pages. Removed technical assumptions using a recent result by Matsukawa. Comments welcome!

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

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

Title: A recollement of differential graded categories

M. Lizbeth Shaid Sandoval Miranda, Valente Santiago Vargas, Edgar O. Velasco Páez

Comments: 34 pages

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

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

Title: Polygraphic resolutions for operated algebras

Zuan Liu, Philippe Malbos

Subjects: Rings and Algebras (math.RA); Formal Languages and Automata Theory (cs.FL); Category Theory (math.CT)

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

Title: Hopf algebras are determined by their monoidal derived categories

Yuying Xu, Junhua Zheng

Comments: 18 pages. Any comments are welcome!

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

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

Title: A type-theoretic approach to semistrict higher categories

Alex Rice

Comments: 211 pages, PhD thesis

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

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

Title: Covering theory, functor categories and the Krull-Gabriel dimension

Grzegorz Pastuszak

Comments: Key words and phrases: Krull-Gabriel dimension, Galois coverings, functor categories, tensor product bifunctor, representation type, domestic algebra

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

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

Title: Universality of Barwick's unfurling construction

Bastiaan Cnossen, Tobias Lenz, Maxime Ramzi

Comments: 14 pages

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

[64] arXiv:2502.19022 (cross-list from quant-ph) [pdf, other]

Title: A BV-Category of Spacetime Interventions

James Hefford, Matt Wilson

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

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

Title: Frobenius subalgebra lattices in tensor categories

Mainak Ghosh, Sebastien Palcoux

Comments: 48 pages. Replaced certain bilinear forms with Hermitian forms to ensure the required anisotropy. 50 tikz figures. Comments are welcome!

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

[66] arXiv:2502.20440 (cross-list from hep-th) [pdf, other]

Title: Gapped Phases in (2+1)d with Non-Invertible Symmetries: Part II

Lakshya Bhardwaj, Sakura Schafer-Nameki, Apoorv Tiwari, Alison Warman

Comments: 137 pages. v2: typos fixed

Subjects: High Energy Physics - Theory (hep-th); Strongly Correlated Electrons (cond-mat.str-el); Mathematical Physics (math-ph); Category Theory (math.CT)

[67] arXiv:2502.20919 (cross-list from math.RA) [pdf, html, other]

Title: About Hopf braces and crossed products

Ramón González Rodríguez, Brais Ramos Pérez

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

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

Title: Higher extension closure and $d$-exact categories

Sondre Kvamme

Comments: 45 pages

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

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

Title: Truncated factorized perverse sheaves on Sym(C)

Giovanna Carnovale, Francesco Esposito, Lleonard Rubio y Degrassi

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