nForum - Discussion Feed (inner fibration)2024-03-29T15:48:59+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "inner fibration" (9626)https://nforum.ncatlab.org/discussion/1176/?Focus=9626#Comment_96262010-04-29T08:52:26+00:002024-03-29T15:48:59+00:00Urshttps://nforum.ncatlab.org/account/4/
split off inner fibration from fibrations of quasi-categories and added remarks on how it models the (oo,1)-version of the notion of cograph of a profunctor