[[!redirects Localization]] [[!redirects localisation]] ## Idea ## ## Definition ## ## Properties ## ## References ## * [[Modalities in homotopy type theory]] * [[Localization in Homotopy Type Theory]] * [[HoTT book]] category: homotopy theory