nLab simplicial map




A homomorphism between simplicial sets XfYX \overset{f}{\longrightarrow} Y is a sequence of functions between sets X nf nY nX_n \overset{f_n}{\longrightarrow} Y_n for all nn \in \mathbb{N}, commuting with the face and degeneracy? maps.

These are the morphisms in the category of simplicial sets.

Last revised on July 12, 2019 at 23:43:23. See the history of this page for a list of all contributions to it.