| Thu, 11 Nov 2010 20:45:33 -0800 | Kevin Walker | Examples and misc.; quality of writing perhaps not so great. | changeset | files |
| Thu, 11 Nov 2010 17:50:28 -0800 | Scott Morrison | various | changeset | files |
| Thu, 11 Nov 2010 15:48:47 -0800 | Scott Morrison | writing inconclusively about homotopy colimits, but have to run | changeset | files |
| Tue, 09 Nov 2010 17:48:16 -0800 | Kevin Walker | fixing typo | changeset | files |
| Wed, 10 Nov 2010 10:40:29 +0900 | Scott Morrison | Automated merge with https://tqft.net/hg/blob/ | changeset | files |
| Tue, 09 Nov 2010 14:22:02 +0900 | Scott Morrison | making pinched products axioms terser, and writing a short proof of the higher deligne conjecture | changeset | files |
| Tue, 09 Nov 2010 14:03:58 +0900 | Scott Morrison | adding some figures for the axioms | changeset | files |