We provide a more economical refined version of Evrards categorical cocylinder factorization of a functor [Ev1,2]. We show that any functor between small categories can be factored into a homotopy equivalence followed by a (co)fibred functor which satisfies the (dual) assumption of Quillens Theorem B.
Download