nForum - Discussion Feed (total relation)2024-03-28T13:15:25+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
TobyBartels comments on "total relation" (96798)https://nforum.ncatlab.org/discussion/13706/?Focus=96798#Comment_967982021-11-28T20:21:37+00:002024-03-28T13:15:25+00:00TobyBartelshttps://nforum.ncatlab.org/account/7/
Clean up notation so that RR and ∼\sim are used in appropriate contexts.
diff, v6, current
Clean up notation so that and are used in appropriate contexts.
]]>
TobyBartels comments on "total relation" (96784)https://nforum.ncatlab.org/discussion/13706/?Focus=96784#Comment_967842021-11-27T20:37:15+00:002024-03-28T13:15:25+00:00TobyBartelshttps://nforum.ncatlab.org/account/7/
Reorganization and expansion to consider constructive variants.
diff, v5, current
Reorganization and expansion to consider constructive variants.