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 |
Tue, 27 Jul 2010 15:01:38 -0400 | Kevin Walker | done with intro for now | changeset | files |