nForum - Discussion Feed ((oo,1)Cat)2024-03-29T00:58:52+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "(oo,1)Cat" (9497)https://nforum.ncatlab.org/discussion/1167/?Focus=9497#Comment_94972010-04-28T11:34:43+00:002024-03-29T00:58:52+00:00Urshttps://nforum.ncatlab.org/account/4/
added a section about how to compute limits and colimits in (infinity,1)Cat and in Infinity-Grpd in terms of coCartesian fibrations to these entries.