nForum - Discussion Feed (down set)2024-03-28T13:19:00+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
TobyBartels comments on "down set" (86408)https://nforum.ncatlab.org/discussion/11643/?Focus=86408#Comment_864082020-08-22T19:11:59+00:002024-03-28T13:18:59+00:00TobyBartelshttps://nforum.ncatlab.org/account/7/
Good catch! I fixed up set as well.
]]>
nLab edit announcer comments on "down set" (86366)https://nforum.ncatlab.org/discussion/11643/?Focus=86366#Comment_863662020-08-21T04:40:34+00:002024-03-28T13:18:59+00:00nLab edit announcerhttps://nforum.ncatlab.org/account/1691/
Change down set to a slice category instead of a coslice category
Anonymous
diff, v8, current
Change down set to a slice category instead of a coslice category