Thu, 18 Nov 2010 10:52:38 -0800 | Scott Morrison | minor | file | diff | annotate |
Thu, 18 Nov 2010 10:45:52 -0800 | Scott Morrison | plain ---> linear | file | diff | annotate |
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 | file | diff | annotate |