Joyal's CatLab simplicial set

Skip the Navigation Links | Home Page | All Pages |

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