Joyal's CatLab
set

Definition

Created on January 19, 2010 at 02:22:22 by joyal