Tue, 27 Jul 2010 15:29:45 -0700 | Scott Morrison | some improvements to blobdef, including the z sin(1/z) example | changeset | files |
Tue, 27 Jul 2010 15:04:57 -0700 | Scott Morrison | shortening title of basic properties | changeset | files |
Tue, 27 Jul 2010 15:04:46 -0700 | Scott Morrison | tweaks to intro: adding traditional n-categories to the diagram of gadgets, rearranging mention of exactness | changeset | files |