| Sun, 19 Jun 2011 15:31:28 -0600 |
Kevin Walker |
new n-cat axiom for splittings
|
file |
diff |
annotate
|
| Fri, 17 Jun 2011 20:56:27 -0600 |
Kevin Walker |
minor
|
file |
diff |
annotate
|
| Fri, 17 Jun 2011 12:01:43 -0600 |
Kevin Walker |
finish fam-o-homeo axiom revisions and discussion
|
file |
diff |
annotate
|
| Thu, 16 Jun 2011 11:11:41 -0600 |
Kevin Walker |
in the midst of revising a-inf and enriched n-cat axioms; not done yet
|
file |
diff |
annotate
|
| Thu, 16 Jun 2011 08:51:40 -0600 |
Kevin Walker |
tweak to fam-o-homeo proof; aux enriching cats are sets with extra structure
|
file |
diff |
annotate
|
| Sat, 28 May 2011 09:49:30 -0600 |
Kevin Walker |
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
|
file |
diff |
annotate
|
| Fri, 27 May 2011 21:54:22 -0600 |
Kevin Walker |
more reorganization of n-cat defs
|
file |
diff |
annotate
|
| Fri, 27 May 2011 13:43:20 -0600 |
Kevin Walker |
start to rearrange n-cat defs
|
file |
diff |
annotate
|
| Wed, 25 May 2011 11:08:16 -0600 |
Kevin Walker |
corrected statement of module to category restrictions; note that this affects the numbering of items in subsection 6.4
|
file |
diff |
annotate
|
| Wed, 25 May 2011 09:48:01 -0600 |
Kevin Walker |
left over comment from last week
|
file |
diff |
annotate
|
| Sat, 14 May 2011 11:42:48 -0700 |
Kevin Walker |
more on colimits; still not done
|
file |
diff |
annotate
|
| Fri, 13 May 2011 21:16:40 -0700 |
Kevin Walker |
minor
|
file |
diff |
annotate
|
| Fri, 13 May 2011 21:01:03 -0700 |
Kevin Walker |
merging by hand (?)
|
file |
diff |
annotate
|
| Fri, 13 May 2011 20:52:18 -0700 |
Kevin Walker |
rewriting colimit def; there's still a little more to do
|
file |
diff |
annotate
|
| Thu, 12 May 2011 21:42:34 -0700 |
Kevin Walker |
starting to work on colimit stuff, but not much progress yet
|
file |
diff |
annotate
|
| Wed, 11 May 2011 14:32:13 -0700 |
Kevin Walker |
add remarks to address the bizarre and inexplicable confusion about "hemisphere"
|
file |
diff |
annotate
|
| Sun, 08 May 2011 22:15:11 -0700 |
Kevin Walker |
oops -- 3 reverts
|
file |
diff |
annotate
|
| Sun, 08 May 2011 22:08:47 -0700 |
Kevin Walker |
move figs to top of page
|
file |
diff |
annotate
|
| Sun, 08 May 2011 09:05:53 -0700 |
Kevin Walker |
make sure poset of decomps is a small category; added to to-do list
|
file |
diff |
annotate
|
| Sat, 07 May 2011 09:18:37 -0700 |
Kevin Walker |
added remark about defect categories; tweaked sphere cat intro
|
file |
diff |
annotate
|
| Fri, 06 May 2011 17:46:07 -0700 |
Kevin Walker |
acknowledge the existence of manifolds without ball decompositions
|
file |
diff |
annotate
|
| Fri, 06 May 2011 16:54:18 -0700 |
Scott Morrison |
correcting typo
|
file |
diff |
annotate
|
| Fri, 06 May 2011 16:04:22 -0700 |
Kevin Walker |
remark about apparent vacuity of lemma 6.1.2 (spheres)
|
file |
diff |
annotate
|
| Fri, 06 May 2011 15:23:26 -0700 |
Kevin Walker |
added more motivation for pinched products
|
file |
diff |
annotate
|
| Fri, 06 May 2011 15:00:46 -0700 |
Kevin Walker |
more on piched product union axiom
|
file |
diff |
annotate
|
| Fri, 06 May 2011 14:56:13 -0700 |
Kevin Walker |
fixed statement of compatibility of product morphisms with decompositions (might still need some work)
|
file |
diff |
annotate
|
| Fri, 06 May 2011 14:22:35 -0700 |
Kevin Walker |
added to examples of unions of pinched products (fig)
|
file |
diff |
annotate
|
| Fri, 06 May 2011 14:11:43 -0700 |
Kevin Walker |
added brief def of monoidal n-cats; killed some old invisible comments
|
file |
diff |
annotate
|
| Wed, 13 Apr 2011 12:14:18 -0700 |
Scott Morrison |
more splittable symbols in the module section, and minor typos from April 12
|
file |
diff |
annotate
|
| Thu, 31 Mar 2011 14:13:58 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob
|
file |
diff |
annotate
|