Fri, 12 Nov 2010 14:34:16 -0800 | Scott Morrison | writing intro; just an expanded version of the existing notes, feel free to savage | file | diff | annotate |
Thu, 11 Nov 2010 15:48:47 -0800 | Scott Morrison | writing inconclusively about homotopy colimits, but have to run | file | diff | annotate |