Free loop spaces and the Cauchy--Frobenius Lemma

Joachim Kock, Thomas Jan Mikhail

We upgrade the Cauchy--Frobenius Lemma (`Burnside's Lemma') to a homotopy equivalence of $\infty$-groupoids, essentially given by double counting/Fubini in the free loop space of t…