On kan's condition

In the category Δo Ens , of the simplicial sets, there exists a "Unit interval" : the simplicial set Δ[1], with extremities εi : Δ[0] → Δ[1] (i = 0, 1) ([1], [2] ). On the other hand, since in Δo Ens, the products are representable and Δ[0] is a final object, t...