Thu, 06 Jan 2011 23:10:55 -0800 Kevin Walker mention n+1-cat of sphere modules in intro
Thu, 06 Jan 2011 22:56:31 -0800 Kevin Walker plain n-cat -> ordinary n-cat
Thu, 06 Jan 2011 22:47:06 -0800 Kevin Walker compatibility of first and last n-cat axioms; mention stricter variant of last axiom
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 tip