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.)
]]>Added discussion of the subobject fibration, viewed as the fibered skeleton of the monomorphism subfibration of the codomain 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.)
]]>have added to codomain fibration a brief paragraph on the -version here and that it’s a coCartesian fibration.
]]>