All Questions

$\newcommand\Fib{\mathrm{Fib}}\newcommand\Cat{\mathrm{Cat}}\newcommand\OpF{\mathrm{OpF}}\DeclareMathOperator\cod{cod}$In proving that a codomain functor from the 2-category $\Fib$ to $\Cat$ is a 2-...