Fri, 06 May 2011 15:00:46 -0700 | Kevin Walker | more on piched product union axiom | file | diff | annotate |
Fri, 06 May 2011 14:56:13 -0700 | Kevin Walker | fixed statement of compatibility of product morphisms with decompositions (might still need some work) | file | diff | annotate |
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 |
Thu, 31 Mar 2011 14:13:58 -0700 | Scott Morrison | Automated merge with https://tqft.net/hg/blob | file | diff | annotate |
Tue, 29 Mar 2011 13:30:35 -0700 | Scott Morrison | Automated merge with https://tqft.net/hg/blob | file | diff | annotate |
Wed, 23 Mar 2011 15:52:36 -0700 | Scott Morrison | some daggers | file | diff | annotate |