nForum - Discussion Feed (gerbe (general idea))2024-03-28T19:46:04+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
jesuslop comments on "gerbe (general idea)" (81621)https://nforum.ncatlab.org/discussion/10655/?Focus=81621#Comment_816212019-12-07T10:30:56+00:002024-03-28T19:46:04+00:00jesuslophttps://nforum.ncatlab.org/account/1486/
Added link to group extension entry at https://ncatlab.org/nlab/show/group+extension
diff, v7, current
Added link to group extension entry at https://ncatlab.org/nlab/show/group+extension