]]>
Dmitri Pavlov comments on "localic group" (84173)https://nforum.ncatlab.org/discussion/10218/?Focus=84173#Comment_841732020-04-27T13:42:59+00:002024-03-28T20:33:31+00:00Dmitri Pavlovhttps://nforum.ncatlab.org/account/356/
Added a reference.
diff, v12, current
]]>
nLab edit announcer comments on "localic group" (79522)https://nforum.ncatlab.org/discussion/10218/?Focus=79522#Comment_795222019-08-07T05:03:00+00:002024-03-28T20:33:31+00:00nLab edit announcerhttps://nforum.ncatlab.org/account/1691/
I added the “overtness” assumption to the statement of the theorem in section 5 (see C5.3.2 of the Elephant).
Francesco Ciraulo
diff, v11, current
I added the “overtness” assumption to the statement of the theorem in section 5 (see C5.3.2 of the Elephant).