Tue, 09 Nov 2010 14:22:02 +0900 Scott Morrison making pinched products axioms terser, and writing a short proof of the higher deligne conjecture
Tue, 09 Nov 2010 14:03:58 +0900 Scott Morrison adding some figures for the axioms
Mon, 08 Nov 2010 10:23:10 +0900 Scott Morrison Automated merge with https://tqft.net/hg/blob/
Mon, 08 Nov 2010 10:22:02 +0900 Scott Morrison fixing labels on mapping-cylinders.pdf (R_1 and R_2 reversed)
(0) -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 tip