Sun, 21 Nov 2010 14:47:54 -0800 | Scott Morrison | minor | changeset | files |
Fri, 19 Nov 2010 15:02:04 -0800 | Scott Morrison | minor changes from proofreading | changeset | files |
Thu, 18 Nov 2010 12:06:17 -0800 | Kevin Walker | line breaks | changeset | files |
Thu, 18 Nov 2010 10:58:46 -0800 | Scott Morrison | first cut of an abstract | changeset | files |
Thu, 18 Nov 2010 10:52:38 -0800 | Scott Morrison | minor | changeset | files |
Thu, 18 Nov 2010 10:45:52 -0800 | Scott Morrison | plain ---> linear | changeset | files |
Thu, 18 Nov 2010 10:43:06 -0800 | Scott Morrison | writing a bit more about colimits. I'm not doing a good job of this | changeset | files |
Thu, 18 Nov 2010 00:15:04 -0800 | Scott Morrison | epsilon | changeset | files |