nForum - Discussion Feed (localization of a space)2024-03-28T08:54:01+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "localization of a space" (86237)https://nforum.ncatlab.org/discussion/11615/?Focus=86237#Comment_862372020-08-11T14:44:04+00:002024-03-28T08:54:01+00:00Urshttps://nforum.ncatlab.org/account/4/
added pointer to:
J. Daniel Christensen, Morgan Opie, Egbert Rijke, Luis Scoccola, Localization in Homotopy Type Theory, Higher Structures, 4(1) (2020), 1-32 (arXiv:1807.04155)
diff, v22, ...