Joyal's CatLab simplicial set

Definition

Created on January 19, 2010 at 03:24:04 by joyal