Berger-Joyal duality and traces I
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.
math.CT↗