nForum - Discussion Feed (centrally extended groupoid)2024-03-29T09:04:47+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "centrally extended groupoid" (39046)https://nforum.ncatlab.org/discussion/4818/?Focus=39046#Comment_390462013-03-29T17:09:46+00:002024-03-29T09:04:47+00:00Urshttps://nforum.ncatlab.org/account/4/
Wrote a quick note at centrally extended groupoid and interlinked a little, for the moment just motivated by having the link point somwhere.
Wrote a quick note at centrally extended groupoid and interlinked a little, for the moment just motivated by having the link point somwhere.