terminology for simplicial sets