Kevin Walker <kevin@canyon23.net> [Sun, 19 Jun 2011 17:31:34 -0600] rev 802
adding transversality requirement to product morphism axiom
Kevin Walker <kevin@canyon23.net> [Sun, 19 Jun 2011 17:07:48 -0600] rev 801
adding placeholder figure
Kevin Walker <kevin@canyon23.net> [Sun, 19 Jun 2011 15:31:28 -0600] rev 800
new n-cat axiom for splittings
Kevin Walker <kevin@canyon23.net> [Fri, 17 Jun 2011 20:56:27 -0600] rev 799
minor
Kevin Walker <kevin@canyon23.net> [Fri, 17 Jun 2011 12:12:53 -0600] rev 798
misc; added some specifics of acknowledgements
Kevin Walker <kevin@canyon23.net> [Fri, 17 Jun 2011 12:01:43 -0600] rev 797
finish fam-o-homeo axiom revisions and discussion
Kevin Walker <kevin@canyon23.net> [Thu, 16 Jun 2011 11:11:41 -0600] rev 796
in the midst of revising a-inf and enriched n-cat axioms; not done yet
Kevin Walker <kevin@canyon23.net> [Thu, 16 Jun 2011 08:51:40 -0600] rev 795
tweak to fam-o-homeo proof; aux enriching cats are sets with extra structure
Kevin Walker <kevin@canyon23.net> [Wed, 15 Jun 2011 14:15:19 -0600] rev 794
finished topological case of Appendix B
Kevin Walker <kevin@canyon23.net> [Tue, 14 Jun 2011 19:28:48 -0600] rev 793
starting proof of adaptation lemma for continuous homeos