GitHub repository: nmvdw/Three-HITs
Primary language: TeX
Created: 2017-02-20T14:30:51Z
Description: Theorem: if we have the interval, homotopy pushouts, and colimits, then we have all HITs.