Homotopy types

GPTKB entity