« Species of Types
Definition.
Torsorial Homotopy of Morphisms of Species of Types
[008W]
TODO