Thu, 18 Nov 2010 10:52:38 -0800 minor
Scott Morrison <scott@tqft.net> [Thu, 18 Nov 2010 10:52:38 -0800] rev 649
minor
Thu, 18 Nov 2010 10:45:52 -0800 plain ---> linear
Scott Morrison <scott@tqft.net> [Thu, 18 Nov 2010 10:45:52 -0800] rev 648
plain ---> linear
Thu, 18 Nov 2010 10:43:06 -0800 writing a bit more about colimits. I'm not doing a good job of this
Scott Morrison <scott@tqft.net> [Thu, 18 Nov 2010 10:43:06 -0800] rev 647
writing a bit more about colimits. I'm not doing a good job of this
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 tip