2025/07/02 by Kock, Joachim, Mikhail, Thomas Jan
#18N60 #20-XX #55P35 #58D19 #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #Group Theory (math.GR)
paper · doi:10.48550/arxiv.2507.01637
We upgrade the Cauchy--Frobenius Lemma (`Burnside's Lemma') to a homotopy equivalence of ∞-groupoids, essentially given by double counting/Fubini in the free loop space of the quotient.