arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2509.11423

Berger-Joyal duality and traces I

Nicholas Cecil·Benjamin Cooper
View original source ↗Read source document ↗Export metadata ↓

Abstract

We give a new proof that the opposite of Joyal's disk category $\mathcal{D}_n$ is Berger's wreath product category $Θ_n = Δ\wr\cdots\wrΔ$. Our techniques continue to apply when the simplex category $Δ$ is replaced by Connes' cyclic category $Λ$ and some other crossed simplicial groups.

Explore related subjects

math.CT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Nicholas Cecil, Benjamin Cooper. 2025-09-14. Berger-Joyal duality and traces I. https://arxiv.org/abs/2509.11423

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Operadic 2-rigs

We show that the bicategory of operads and bimodules can be embedded into the bicategory of symmetric 2-rigs, a categorification of commutative rings. In order to do this, we introduce the notion of an operadic 2-rig and show that the full sub-bicategory of symmetric 2-rigs spanned by operadic 2-rigs has the universal property of being a completion under Eilenberg-Moore-Kleisli objects.

math.CT↗
arXiv2026

Compatibility of HRS tilt and completion of $t$-structures in triangulated categories

Let $K$ be a field, and $\mathcal{T}$ a $K$-linear essentially small triangulated category equipped with an extendable $t$-structure $(\mathcal{T}^{\leq0}, \mathcal{T}^{\geq0})$ with respect to a good metric $\mathfrak{B}$. Given a torsion class $\mathcal{X}$ in the heart of $(\mathcal{T}^{\leq0}, \mathcal{T}^{\geq0})$, we prove that lifting the HRS-tilt of $(\mathcal{T}^{\leq0}, \mathcal{T}^{\geq0})$ at $\mathcal{X}$ along the completion of $\mathcal{T}$ coincides with the HRS-tilt of the lifted $t$-structure at the completion of $\mathcal{X}$. As an application, we provide the compatibility result between left silting mutation in $\mathcal{T}$ and HRS tilting in the ambient completion.

math.CT↗
arXiv2026

Bicategorical Idempotent Completion

In recent years, higher categorical variants of idempotents have become an object of interest. Notably, they appear when categorifying algebraic structures motivated by mathematical physics. Working in the setting of bicategories, we give a rigorous definition of the bicategorical idempotent completion as outlined by Gaiotto and Johnson-Freyd in arXiv:1905.09566. We show that this agrees with the Cauchy completion of a locally idempotent complete bicategory in the sense of Lawvere.

math.CT↗