Joyal's CatLab simplicial category

Definition

Created on January 19, 2010 at 02:29:46 by joyal