# On Lifts in Kan Simplicial Sets

In a Kan simplicial set $X_\bullet$ we have the lifting property, that is for any $n$-tupel $\left(x_0,\ldots,\hat{x_j},\ldots,x_n \right)$ of $(n-1)$-simplices $x_k \in X_{n-1}$ with $d_i(x_k)=d_{k-1}(x_i)$ for $i < k$ there is a $n$-simplex $y \in X_n$ with $d_k(y)=x_k$ for $k \neq j$. Moreover $x_j:=d_j(y)$ fills in the missing $(n-1)$ simplex in the tupel above.

Now when we keep $x_j:=d_j(y)$ fixed, is $y$ unique?

In other words, is $y$ the only $n$-simplex with $d_k(y)=x_k$ for all $k$ (including $k=j$)?

Or still in other words, is a $n$-simplex uniquely determined by its boundary? (Of course it is NOT uniquely determined by the "horn" $\left(x_0,\ldots,\hat{x_j},\ldots,x_n \right)$)

-
Can't you always "glue in" another $n$-simplex with the same boundary as a given one (e.g. form $\Delta[n] \sqcup_{\partial \Delta[n]} \Delta[n]$)? –  Akhil Mathew Dec 29 '11 at 2:23
I have problems to see what $\Delta[n] \sqcup_{\partial\Delta[n]}\Delta[n]$ will be reflected to in $X_\bullet$. –  Michael Placke Dec 29 '11 at 2:41
Maybe it will help if you explain what you mean in more detail –  Michael Placke Dec 29 '11 at 2:43