Fri, 06 May 2011 14:56:13 -0700 | Kevin Walker | fixed statement of compatibility of product morphisms with decompositions (might still need some work) | changeset | files |
Fri, 06 May 2011 14:22:35 -0700 | Kevin Walker | added to examples of unions of pinched products (fig) | changeset | files |
Fri, 06 May 2011 14:11:43 -0700 | Kevin Walker | added brief def of monoidal n-cats; killed some old invisible comments | changeset | files |