After recalling classical Tannaka duality for finite groups, I will discuss an extension to equivariant algebraic geometry, and more generally to algebraic stacks. Surprisingly, this is related to formal glueings and Neron-Popescu desingularization.