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
Kevin Walker <kevin@canyon23.net> [Wed, 01 Jun 2011 15:17:39 -0600] rev 792
added remark on super algebra
Kevin Walker <kevin@canyon23.net> [Wed, 01 Jun 2011 15:04:31 -0600] rev 791
adding remarks on objects to C.1; this is pretty uninspired writing, so feel free to improve
Kevin Walker <kevin@canyon23.net> [Sat, 28 May 2011 21:45:13 -0600] rev 790
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net> [Sat, 28 May 2011 09:49:30 -0600] rev 789
axioms for enriched n-cats; but these might need to be modified since the product axiom seems to require that these are sets with structure after all
Kevin Walker <kevin@canyon23.net> [Fri, 27 May 2011 21:54:22 -0600] rev 788
more reorganization of n-cat defs