nForum - Discussion Feed (Contributors to category theory)2024-03-29T09:39:24+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Richard Williamson comments on "Contributors to category theory" (87840)https://nforum.ncatlab.org/discussion/11908/?Focus=87840#Comment_878402020-11-20T00:25:52+00:002024-03-29T09:39:23+00:00Richard Williamsonhttps://nforum.ncatlab.org/account/822/
Capitalising the two subsections.
diff, v44, current
]]>
Richard Williamson comments on "Contributors to category theory" (87839)https://nforum.ncatlab.org/discussion/11908/?Focus=87839#Comment_878392020-11-20T00:25:01+00:002024-03-29T09:39:24+00:00Richard Williamsonhttps://nforum.ncatlab.org/account/822/
Removing box asking for comments at the top, and tidying up the context bars.
diff, v44, current
Removing box asking for comments at the top, and tidying up the context bars.