TY - RPRT TI - The formal theory of Tannaka duality AU - Daniel Schäppi PY - 2011 UR - https://arxiv.org/abs/1112.5213 ID - 1112.5213 ER -