A functor of \((\infty,0)\)-categories is faithful if and only if it is a covering map (recall Example 5.2.2.([009P])). Hence, in general one may think of a faithful functor as a sort of “directed covering map”.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2