# Joyal's CatLab simplicial set

## Definition

• Let $\Delta$ be the simplicial category. A simplicial set is defined to be a functor $X:\Delta^o\to Sets$.
Created on January 19, 2010 at 03:24:04 by joyal