nForum - Discussion Feed (Morgan Opie)2024-03-28T12:24:17+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "Morgan Opie" (86239)https://nforum.ncatlab.org/discussion/11616/?Focus=86239#Comment_862392020-08-11T14:46:33+00:002024-03-28T12:24:17+00:00Urshttps://nforum.ncatlab.org/account/4/
brief category: people-entry for hyperlinking references at localization of a space and modal homotopy type theory
v1, current