Category Theory

Authors and titles for August 2024

[1] arXiv:2408.00393 [pdf, other]

Title: Quantale-valued maps and partial maps

Lili Shen, Xiaoye Tang

Comments: 18 pages

Subjects: Category Theory (math.CT)

[2] arXiv:2408.00514 [pdf, html, other]

Title: The least subtopos containing the discrete skeleton of $\Omega$

Matí as Menni

Journal-ref: Theory and Applications of Categories, Vol. 42, 2024, No. 8, pp 172-179

Subjects: Category Theory (math.CT)

[3] arXiv:2408.00561 [pdf, other]

Title: Gray (skew) multicategories: double and Gray-categorical cases

Bojana Femić

Subjects: Category Theory (math.CT)

[4] arXiv:2408.01378 [pdf, html, other]

Title: Hearts of set-generated t-structures have a set of generators

Manuel Saorín

Comments: 22 pages

Subjects: Category Theory (math.CT)

[5] arXiv:2408.03180 [pdf, other]

Title: Enriched duality in double categories II: modules and comodules

Vasileios Aravantinos-Sotiropoulos, Christina Vasilakopoulou

Comments: 58 pages; minor fixes throughout the manuscript

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

[6] arXiv:2408.03523 [pdf, html, other]

Title: Representations of FS-domains and BF-domains via FS-approximation Spaces

Guojun Wu (1), Luoshan Xu (2) ((1) Nanjing University of Information Science and Technology, (2) Yangzhou University)

Subjects: Category Theory (math.CT)

[7] arXiv:2408.03529 [pdf, html, other]

Title: When do CF-approximation spaces capture sL-domains

Guojun Wu (1), Luoshan Xu (2), Wei Yao (1) ((1) Nanjing University of Information Science and Technology, (2) Yangzhou University)

Subjects: Category Theory (math.CT)

[8] arXiv:2408.04989 [pdf, other]

Title: Internal geometry and functors between sites

Konrad Waldorf

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

[9] arXiv:2408.05289 [pdf, other]

Title: Homotopy $n$-types of cubical sets and graphs

Chris Kapulkin, Udit Mavinkurve

Comments: 25 pages; comments welcome

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

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

Title: Barr-coexactness for metric compact Hausdorff spaces

Marco Abbadini, Dirk Hofmann

Subjects: Category Theory (math.CT)

[11] arXiv:2408.07058 [pdf, html, other]

Title: Categorical Framework for Typed Extensional and Intensional Models in Formal Semantics

Daniel Quigley

Comments: 28 pages, 8 figures, minor edit to diagram

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

[12] arXiv:2408.07564 [pdf, html, other]

Title: Local Rigidity and Six Functor Formalisms

Adrian Clough

Comments: 9 pages

Subjects: Category Theory (math.CT)

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

Title: Unitary magma actions

Nelson Martins-Ferreira

Comments: Unitary magma, Split extensions, Retraction points, Non-associative algebra, Semidirect products, Weakly Schreier extensions

Subjects: Category Theory (math.CT)

[14] arXiv:2408.08980 [pdf, other]

Title: A finite algebraic presentation of Lawvere theories in the object-classifier topos

Marcelo Fiore, Sanjiv Ranchod

Subjects: Category Theory (math.CT)

[15] arXiv:2408.09080 [pdf, html, other]

Title: A Relational Category of Birkhoff Polarities

M. Andrew Moshier

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

[16] arXiv:2408.10049 [pdf, html, other]

Title: Nerves of enriched categories via necklaces

Arne Mertens

Comments: 49 pages, no figures, v2: updated acknowledgements

Subjects: Category Theory (math.CT)

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

Title: Fusion 3-Categories for Duality Defects

Lakshya Bhardwaj, Thibault Décoppet, Sakura Schafer-Nameki, Matthew Yu

Comments: 48 pages, comments welcome

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

[18] arXiv:2408.13548 [pdf, html, other]

Title: Admissible weak factorization systems on extriangulated categories

Yajun Ma, Hanyang You, Dongdong Zhang, Panyue Zhou

Comments: 13 pages

Subjects: Category Theory (math.CT)

[19] arXiv:2408.14335 [pdf, other]

Title: On functor double $\infty$-categories

Jaco Ruit

Comments: 49 pages

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

[20] arXiv:2408.15190 [pdf, other]

Title: Formal category theory in $\infty$-equipments II: Lax functors, monoidality and fibrations

Jaco Ruit

Comments: 67 pages, comments welcome

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

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

Title: Topoi with enough points and topological groupoids

Joshua Wrigley

Comments: 31 pages

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

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

Title: Weak Distributive Laws between Monads of Continuous Valuations and of Non-Deterministic Choice

Jean Goubault-Larrecq

Comments: 77 pages; in v2, credit now given to G. Böhm for weak distributive laws; in the Appendix, new example of an inner regular, non-locally finite measure with finite values on the compact sets; in v3, fixed Remarks 4.3, 7.4, 10.3, 10.5 and 11.7, which were faulty; mentioned Quentin Aristote's work, if very briefly

Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); General Topology (math.GN); Probability (math.PR)

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

Title: On the straightening of every functor

Thomas Blom

Comments: 17 pages, comments welcome!

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

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

Title: Fibrations of algebras

Danel Ahman, Greta Coraglia, Davide Castelnovo, Fosco Loregian, Nelson Martins-Ferreira, Ülo Reimaa

Subjects: Category Theory (math.CT)

[25] arXiv:2408.16775 [pdf, other]

Title: Acyclicity conditions on pasting diagrams

Amar Hadzihasanovic, Diana Kessler

Comments: 40 pages, self-contained presentation of parts of arXiv:2404.07273. To appear in Applied Categorical Structures

Subjects: Category Theory (math.CT)

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

Title: Interpolation of the oscillator representation and Azumaya algebras in tensor categories

Andrew Snowden

Comments: 31 pages

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

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

Title: Auslander-Reiten translations in the monomorphism categories of exact categories

Xiu-Hua Luo, Shijie Zhu

Comments: 26 pages

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

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

Title: Singularity categories of rational double points in arbitrary characteristic

Yuta Takashima, Hokuto Uehara

Comments: We claim the singularity category of a RDP is standard by showing the corresponding mesh algebra and Auslander algebra have the same dimension. The crucial step is Remark 2.8. However, Hideto Asashiba and Osamu Iyama have pointed out that in Remark 2.8 there is no surjection from the mesh algebra to the Auslander algebra in general. Hence we need to construct a surjection or take another strategy

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

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

Title: The Cyclic and Modular Microcosm Principle in Quantum Topology

Lukas Woike

Comments: 29 pages, 4 figure, some diagrams

Subjects: Quantum Algebra (math.QA); Mathematical Physics (math-ph); Category Theory (math.CT)

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

Title: Recovering R-symbols from modular data

Siu-Hung Ng, Eric C Rowell, Xiao-Gang Wen

Comments: 9 pages latex

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

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

Title: Type $\textrm{II}$ quantum subgroups for quantum $\mathfrak{sl}_N$. $\textrm{II}$: Classification

Cain Edie-Michell, Terry Gannon

Comments: 37 pages

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

[32] arXiv:2408.02889 (cross-list from hep-th) [pdf, html, other]

Title: Categorical generalization of BF theory coupled to gravity

A.D. López-Hernández, Graciela Reyes-Ahumada, Javier Chagoya

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

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

Title: Injectives obstruct Fourier-Mukai functors

Felix Küng

Comments: 24 pages, comments welccome

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

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

Title: Groupoid Graded Semisimple Rings

Zaqueu Cristiano, Wellington Marques de Souza, Javier Sánchez

Comments: 87 pages

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

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

Title: Growth Problems for Representations of Finite Groups

David He

Comments: 18 pages, many figures, comments welcome

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

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

Title: $(\infty,n)$-Limits II: Comparison across models

Lyne Moser, Martina Rovelli, Nima Rasekh

Comments: 45 pages; comments welcome

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

[37] arXiv:2408.05266 (cross-list from hep-th) [pdf, html, other]

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

Lakshya Bhardwaj, Daniel Pajer, Sakura Schafer-Nameki, Apoorv Tiwari, Alison Warman, Jingxiang Wu

Comments: 83 pages

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

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

Title: The Homotopy Theory of $A_\infty$Categories

Mattia Ornaghi

Comments: 49 pages, 5 figures

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

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

Title: Locally noetherian quiver representations

Henning Krause

Comments: 10 pages

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

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

Title: $\mathbb{E}_n$-algebras in m-categories

Yu Leon Liu

Comments: 21 pages, 1 table, comments are welcome

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

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

Title: Commutative exact algebras and modular tensor categories

Kenichi Shimizu, Harshit Yadav

Comments: v1: 48 pages. Comments welcome

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

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

Title: The Wehrheim-Woodward category of linear canonical relations between G-spaces

Alan Weinstein

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

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

[43] arXiv:2408.07548 (cross-list from math.GN) [pdf, other]

Title: On the probabilistic metrizability of approach spaces

Hongliang Lai, Lili Shen, Junche Yu

Comments: 15 pages

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

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

Title: A categorical interpretation of Morita equivalence for dynamical von Neumann algebras

Joeri De Ro

Comments: 20 pages, comments are welcome!

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

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

Title: Algebraic Models for Quasi-Coherent Sheaves in Spectral Algebraic Geometry

Adam Pratt

Comments: Based on author's thesis; Submitted to Homology, Homotopy, and Applications

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

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

Title: Prescribed duality dynamics in comodule categories

Alexandru Chirvasitu

Comments: 13 pages + references

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

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

Title: Sober $L$-convex spaces and $L$-join-semilattices

Guojun Wu, Wei Yao

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

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

Title: An Introduction to Categorical Proof Theory

Amirhossein Akbar Tabatabai

Comments: 130 pages

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

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

Title: Boundary symmetries of (2+1)D topological orders

Kylan Schatz

Comments: 18 pages, 11 figures. Comments welcome

Subjects: Quantum Algebra (math.QA); Strongly Correlated Electrons (cond-mat.str-el); Mathematical Physics (math-ph); Category Theory (math.CT)

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

Title: A contramodule generalization of Neeman's flat and projective module theorem

Leonid Positselski

Comments: LaTeX 2e, 20 pages. arXiv admin note: text overlap with arXiv:2306.02734

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

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

Title: Higher holonomy for curved L${}_\infty$-algebras 1: simplicial methods

Ezra Getzler (Northwestern University)

Comments: 17 pages

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

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

Title: A construction of the generalized higher cluster category arising from an $(m+2)$-angulation of a marked surface

Lucie Jacquet-Malo

Comments: 22 pages

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

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

Title: Dowker duality, profunctors, and spectral sequences

Iris H.R. Yoon

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

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

Title: Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning

Georgios Bakirtzis, Michail Savvas, Ruihan Zhao, Sandeep Chinchali, Ufuk Topcu

Comments: ECAI 2024

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Systems and Control (eess.SY); Category Theory (math.CT)

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

Title: Lebesgue integration on $\sigma$-locales: simple functions

Raquel Bernardes

Comments: 33 pages, submitted

Subjects: Functional Analysis (math.FA); Category Theory (math.CT)

[56] arXiv:2408.13931 (cross-list from hep-th) [pdf, html, other]

Title: Towards All Categorical Symmetries in 2+1 Dimensions

Mathew Bullimore, Jamie J. Pearson

Comments: 22 pages, 7 figures, v2: minor revisions

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

[57] arXiv:2408.15184 (cross-list from math.CO) [pdf, other]

Title: Pushing Tree Decompositions Forward Along Graph Homomorphisms

Benjamin Merlin Bumpus, James Fairbanks, Will J. Turner

Comments: 28 pages excluding appendix

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Category Theory (math.CT)

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

Title: Parallel and algebraic lambda-calculi in intuitionistic propositional logic

Alejandro Díaz-Caro, Octavio Malherbe

Comments: 18 pages plus appendix

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

[59] arXiv:2408.16648 (cross-list from math.DG) [pdf, html, other]

Title: Smooth geometry of bi-quadratic algebras on three generators with PBW basis

Andrés Rubiano, Armando Reyes

Comments: 21 pages, 8 tables. arXiv admin note: text overlap with arXiv:1410.6587 by other authors

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

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

Title: On $\mathbb{Z}/2\mathbb{Z}$ permutation gauging

Zhengwei Liu, Yuze Ruan

Comments: 46 pages, comments are welcome!

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