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 |