Joyal's CatLab Ring

Definition

Created on January 19, 2010 at 02:53:08 by joyal