nForum - Discussion Feed (coherent coverage)2024-03-29T15:49:37+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
DavidRoberts comments on "coherent coverage" (83017)https://nforum.ncatlab.org/discussion/10958/?Focus=83017#Comment_830172020-02-20T10:14:16+00:002024-03-29T15:49:37+00:00DavidRobertshttps://nforum.ncatlab.org/account/42/
It turns out regular topology links to the topological notion, not the site notion (that’s regular coverage). There’s also some kind of redirect clash at the former.
diff, v6, current
It turns out regular topology links to the topological notion, not the site notion (that’s regular coverage). There’s also some kind of redirect clash at the former.