# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeMar 9th 2012
• (edited Mar 9th 2012)

have added to codomain fibration a brief paragraph on the $(\infty,1)$-version here and that it’s a coCartesian fibration.

• CommentRowNumber2.
• CommentAuthorT
• CommentTimeMay 16th 2020

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.)

• CommentRowNumber3.
• CommentAuthorAlec Rhea
• CommentTimeMar 3rd 2021

Added discussion of the subobject fibration, viewed as the fibered skeleton of the monomorphism subfibration of the codomain fibration.