Given a category , its nerve  is the simplicial set constructed as follows. The set  of -simplices is the set of diagrams

of objects and morphisms from . The face maps  are given by composition of morphisms at the -th node in the diagram (or dropping the first or last arrow if  or  respectively), and the degeneracy maps are given by inserting identity morphisms. The intuition here is that a -simplex in  is precisely a commutative diagram in  with the shape of a -simplex. If  is a topological category, we can enrich  to be a simplicial space.