Log homotopy types are homotopy types with modulus

Abstract

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

15 pages