In my limited experience of categories, I liked Quillen's notion of homotopy fibre (his paper  *Higher Algebraic K-Theory I*) for a  functor between categories modelling the homotopy fibre of any map.