Category Theory

• New submissions
• Cross-lists
• Replacements

See recent articles

Showing new listings for Friday, 9 May 2025

New submissions (showing 2 of 2 entries)

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

Title: Very Schwartz coidempotents and continuous spectrum

Ko Aoki

Comments: 34 pages

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

We introduce the continuous version of the (unstable) smashing spectrum functor. In the stable case, it assigns to each dualizably symmetric monoidal stable presentable $\infty$-category a stably compact space whose open subsets correspond to very Schwartz idempotents -- a certain class of idempotents we define. As an application, we prove Tannaka duality for spectral sheaves on stably compact spaces, including the case of compact Hausdorff spaces.

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

Title: Model Structures Arising from Extendable Cotorsion Pairs

Qingyu Shao, Junpeng Wang, Xiaoxiang Zhang

Comments: 20 pages

Subjects: Category Theory (math.CT)

The aim of this paper is to construct exact model structures from so called extendable cotorsion pairs. Given a hereditary Hovey triple $(\mathcal{C}, \mathcal{W}, \mathcal{F})$ in a weakly idempotent complete exact category. If one of the cotorsion pairs, $(\mathcal{C}\cap\mathcal{W}, \mathcal{F})$ and $(\mathcal{C}, \mathcal{W}\cap\mathcal{F})$, is extendable, then there is a chain of hereditary Hovey triples whose corresponding homotopy categories coincide. As applications, we obtain a new description of the unbounded derived category $\mathbf{D}(R)$ over a ring $R$. Moreover, we can interpret the Krause's recollement in terms of ``$n$-dimensional'' homotopy categories. Finally, we have two approaches to get ``$n$-dimensional'' hereditary Hovey triples, which are proved to coincide, in the category Rep$(Q,\mathcal{A})$ of all representations of a rooted quiver $Q$ with values in an abelian category $\mathcal{A}$.

Cross submissions (showing 1 of 1 entries)

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

Title: On the Higher Categorical Structure of Topological Defects in Quantum Field Theories

Lukas Müller

Comments: 20 pages, comments welcome

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

We propose a unifying mathematical framework describing the higher categorical structures formed by topological defects in quantum field theory equipped with tangential structures, such as orientations, framings, or $\operatorname{Pin}^{\pm}$-structures, in terms of structured versions of higher dagger categories. This recovers all previously known results, including the description of oriented topological defects in 2-dimensional quantum field theories by pivotal bicategories. Assuming the stratified cobordism hypothesis, we prove our proposal for topological defects with stable tangential structures that admit a direct sum in fully extended topological quantum field theories.

Replacement submissions (showing 3 of 3 entries)

[4] arXiv:2403.06911 (replaced) [pdf, other]

Title: Homotopical commutative rings and bispans

Bastiaan Cnossen, Rune Haugseng, Tobias Lenz, Sil Linskens

Comments: Minor revision following a referee report. 37 pages

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

We prove that commutative semirings in a cartesian closed presentable $\infty$-category, as defined by Groth, Gepner, and Nikolaus, are equivalent to product-preserving functors from the $(2,1)$-category of bispans of finite sets. In other words, we identify the latter as the Lawvere theory for commutative semirings in the $\infty$-categorical context. This implies that connective commutative ring spectra can be described as grouplike product-preserving functors from bispans of finite sets to spaces. A key part of the proof is a localization result for $\infty$-categories of spans, and more generally for $\infty$-categories with factorization systems, that may be of independent interest.

[5] arXiv:2408.00393 (replaced) [pdf, other]

Title: Quantale-valued maps and partial maps

Lili Shen, Xiaoye Tang

Comments: 20 pages, final version

Subjects: Category Theory (math.CT)

Let $\mathsf{Q}$ be a commutative and unital quantale. By a $\mathsf{Q}$-map we mean a left adjoint in the quantaloid of sets and $\mathsf{Q}$-relations, and by a partial $\mathsf{Q}$-map we refer to a Kleisli morphism with respect to the maybe monad on the category $\mathsf{Q}\text{-}\mathbf{Map}$ of sets and $\mathsf{Q}$-maps. It is shown that every $\mathsf{Q}$-map is symmetric if and only if $\mathsf{Q}$ is weakly lean, and that every $\mathsf{Q}$-map is exactly a map in $\mathbf{Set}$ if and only $\mathsf{Q}$ is lean. Moreover, assuming the axiom of choice, it is shown that the category of sets and partial $\mathsf{Q}$-maps is monadic over $\mathsf{Q}\text{-}\mathbf{Map}$.

[6] arXiv:2504.09520 (replaced) [pdf, other]

Title: Hofmann-Streicher lifting of fibred categories

Andrew Slattery, Jonathan Sterling

Comments: To appear in LICS '25. Updated to include abstract existence proof

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

In 1997, Hofmann and Streicher introduced an explicit construction to lift a Grothendieck universe $\mathcal{U}$ from $\mathbf{Set}$ into the category of $\mathbf{Set}$-valued presheaves on a $\mathcal{U}$-small category $B$. More recently, Awodey presented an elegant functorial analysis of this construction in terms of the categorical nerve, the right adjoint to the functor that takes a presheaf to its category of elements; in particular, the categorical nerve's functorial action on the universal $\mathcal{U}$-small discrete fibration gives the generic family of $\mathcal{U}$'s Hofmann-Streicher lifting. Inspired by Awodey's analysis, we define a relative version of Hofmann-Streicher lifting in terms of the right pseudo-adjoint to the 2-functor $\mathbf{Fib}_{A}\to\mathbf{Fib}_{B}$ given by postcomposition with a fibration $p\colon A\to B$.