For ordinary fibrations is true that: Given a functor $F \colon C \to D$ with $C$ finitely complete, and a fully faithful functor $U$ such that $F \dashv U$ and F preserving limits. Then F is a fibration?
Fibrations using adjoints
Siya
- 615
- 1
- 7