Tannaka–Krein reconstruction theorem