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.

arXiv comment15 pages