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.
Somnath Basu
- 3.4k
- 1
- 24
- 33