nForum - Discussion Feed (monoid)2024-03-28T12:31:32+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Guest comments on "monoid" (97497)https://nforum.ncatlab.org/discussion/13789/?Focus=97497#Comment_974972022-02-04T05:50:21+00:002024-03-28T12:31:32+00:00Guesthttps://nforum.ncatlab.org/account/21/
No, this is the HoTT wiki not the main nLab.
No, this is the HoTT wiki not the main nLab.
]]>
Dmitri Pavlov comments on "monoid" (97496)https://nforum.ncatlab.org/discussion/13789/?Focus=97496#Comment_974962022-02-04T05:49:19+00:002024-03-28T12:31:32+00:00Dmitri Pavlovhttps://nforum.ncatlab.org/account/356/
Hm, it looks like the edit functionality is back?…
Hm, it looks like the edit functionality is back?…
]]>
nLab edit announcer comments on "monoid" (97495)https://nforum.ncatlab.org/discussion/13789/?Focus=97495#Comment_974952022-02-04T05:11:03+00:002024-03-28T12:31:32+00:00nLab edit announcerhttps://nforum.ncatlab.org/account/1691/
Monoids are defined as sets in section 6.11 of the HoTT book.
Anonymous
diff, v2, current
Monoids are defined as sets in section 6.11 of the HoTT book.