[[!redirects Localization]] [[!redirects localisation]] ## Idea ## ## Definition ## ## Properties ## ## References ## * Modalities in homotopy type theory, [[Egbert Rijke]], [[Mike Schulman|Michael Shulman]], [[Bas Spitters]] [arXiv](https://arxiv.org/abs/1706.07526v3) * Localization in Homotopy Type Theory, J. Daniel Christensen, Morgan Opie, [[Egbert Rijke]], Luis Scoccola [arXiv](https://arxiv.org/abs/1807.04155) See [Localization in Homotopy Type theory](https://arxiv.org/abs/1807.04155) category: homotopy theory