Fri, 06 May 2011 14:22:35 -0700 | Kevin Walker | added to examples of unions of pinched products (fig) | file | diff | annotate |
Fri, 06 May 2011 14:11:43 -0700 | Kevin Walker | added brief def of monoidal n-cats; killed some old invisible comments | file | diff | annotate |
Wed, 13 Apr 2011 12:14:18 -0700 | Scott Morrison | more splittable symbols in the module section, and minor typos from April 12 | file | diff | annotate |