Möbius inversion in nLab