nForum - Discussion Feed ((oo,1)-sheaf)2024-03-28T21:30:37+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "(oo,1)-sheaf" (10489)https://nforum.ncatlab.org/discussion/1261/?Focus=10489#Comment_104892010-05-14T10:19:06+00:002024-03-28T21:30:37+00:00Urshttps://nforum.ncatlab.org/account/4/
finally noticed that (infinity,1)-sheaf was hardly even a stub. Have now filled some genuine content in there.
finally noticed that (infinity,1)-sheaf was hardly even a stub. Have now filled some genuine content in there.