Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
have added to codomain fibration a brief paragraph on the $(\infty,1)$-version here and that it’s a coCartesian fibration.
Correction of the form of cod in terms of the hom functor. Original notation would have referred to taking the hom in C and using the second spot in the hom functor as an argument. (Rather, cod is an arrow between Cat-homs, and as such is a value of the hom functor on a pair of arrow(s) of Cat, not a partially applied instance of a hom functor.)
It was maybe not quite undefined, since it said that it’s the domain of the codomain fibration, but I have added a parenthetical remark for clarity (here).
(You are invited to make such small – or even large – edits yourself, when you see the need: Just hit “edit” at the bottom of a page. Typically that’s more efficient than trying to make somebody else do it.)
1 to 5 of 5