Log homotopy types are homotopy types with modulus

Shane Kelly

We show that the category of log homotopy types is a full subcategory of a category of homotopy types with modulus.