nForum - Discussion Feed (sifted (infinity,1)-category)2024-03-29T00:40:45+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "sifted (infinity,1)-category" (95091)https://nforum.ncatlab.org/discussion/13458/?Focus=95091#Comment_950912021-09-10T08:53:37+00:002024-03-29T00:40:45+00:00Urshttps://nforum.ncatlab.org/account/4/
added the previously missing pointer to HTT 5.5.8.4 for the statement that Δ op\Delta^{op} is ∞\infty-sifted.
diff, v6, current
added the previously missing pointer to HTT 5.5.8.4 for the statement that is -sifted.