nForum - Discussion Feed (tensoring over ooGrpd)2024-03-28T14:40:57+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "tensoring over ooGrpd" (11527)https://nforum.ncatlab.org/discussion/1363/?Focus=11527#Comment_115272010-05-27T11:35:36+00:002024-03-28T14:40:57+00:00Urshttps://nforum.ncatlab.org/account/4/
added a still somewhat stubby section on tensoring over ooGrpd to limits in a quasi-category