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.)
1 to 3 of 3