Sun, 21 Nov 2010 15:24:53 -0800 some more fixes in the colimit section
Scott Morrison <scott@tqft.net> [Sun, 21 Nov 2010 15:24:53 -0800] rev 656
some more fixes in the colimit section
Sun, 21 Nov 2010 15:09:24 -0800 trying out 'isotopy n-category', and explaining the difference better
Scott Morrison <scott@tqft.net> [Sun, 21 Nov 2010 15:09:24 -0800] rev 655
trying out 'isotopy n-category', and explaining the difference better
(0) -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 tip