Definition 220.127.116.11. Let $f: X \rightarrow S$ be a morphism of simplicial sets. We say that $f$ is a left covering map if, for every pair of integers $0 \leq i < n$, every lifting problem
admits a unique solution. We say that $f$ is a right covering map if the analogous condition holds for $0 < i \leq n$.