Tannaka–Krein duality