A simplicial set is a discrete analogue (and in many ways a generalizaion) of a topological space, giving rise to discrete notions of fibration, homotopy groups, etc etc.