nLab
Leinster n-category

Tom Leinster gives two globular definitions of (weak) nn-categories in

Created on May 6, 2012 15:01:16 by Tim Porter (150.214.204.37)