 Discrete fibration

A functor $F:\mathcal{C}\to \mathcal{D}$ is a discrete fibration when every arrow $B\to FA$ has a unique lift with codomain $A$.