Tannaka–Krein duality

GPTKB entity