Re: terminology for simplicial sets