Mon, 07 Jul 2008 01:25:14 +0000 |
scott |
...
|
file |
diff |
annotate
|
Sun, 06 Jul 2008 04:33:51 +0000 |
kevin |
coend, n>1 case
|
file |
diff |
annotate
|
Sat, 05 Jul 2008 21:48:19 +0000 |
kevin |
a little more
|
file |
diff |
annotate
|
Sat, 05 Jul 2008 20:44:17 +0000 |
kevin |
small tweaks to Ainf module defn
|
file |
diff |
annotate
|
Sat, 05 Jul 2008 20:01:03 +0000 |
kevin |
a few changes to top Ainf cat def, etc.
|
file |
diff |
annotate
|
Fri, 04 Jul 2008 05:22:12 +0000 |
scott |
writing stupid formulas, trying to puzzle out d^2=0
|
file |
diff |
annotate
|
Fri, 04 Jul 2008 00:26:46 +0000 |
scott |
...
|
file |
diff |
annotate
|
Thu, 03 Jul 2008 00:08:58 +0000 |
scott |
hochschild ...
|
file |
diff |
annotate
|
Wed, 02 Jul 2008 04:50:53 +0000 |
scott |
...
|
file |
diff |
annotate
|
Tue, 01 Jul 2008 23:37:36 +0000 |
scott |
...
|
file |
diff |
annotate
|
Tue, 01 Jul 2008 21:10:16 +0000 |
scott |
...
|
file |
diff |
annotate
|
Tue, 01 Jul 2008 04:00:22 +0000 |
scott |
writing definitions of topological a_\infty categories, modules, etc.
|
file |
diff |
annotate
|
Tue, 01 Jul 2008 01:53:15 +0000 |
scott |
rearranging; stating all the "properties" up front
|
file |
diff |
annotate
|
Mon, 30 Jun 2008 20:20:52 +0000 |
scott |
...
|
file |
diff |
annotate
|
Mon, 30 Jun 2008 13:02:57 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Fri, 27 Jun 2008 04:24:25 +0000 |
scott |
...
|
file |
diff |
annotate
|
Thu, 26 Jun 2008 17:56:20 +0000 |
kevin |
finished with evaluation map stuff for now.
|
file |
diff |
annotate
|
Tue, 24 Jun 2008 19:46:06 +0000 |
kevin |
continuing work of evaluation map proof
|
file |
diff |
annotate
|
Tue, 24 Jun 2008 02:50:02 +0000 |
kevin |
begin reworking/completion of evaluation map stuff
|
file |
diff |
annotate
|
Sun, 08 Jun 2008 21:34:46 +0000 |
scott |
rearranging the Hochschild section. Splitting things up into lemmas, and explaining why those lemmas are what we need.
|
file |
diff |
annotate
|
Thu, 29 May 2008 05:07:03 +0000 |
scott |
...
|
file |
diff |
annotate
|
Thu, 24 Apr 2008 04:16:53 +0000 |
scott |
...
|
file |
diff |
annotate
|
Thu, 24 Apr 2008 04:16:21 +0000 |
scott |
...
|
file |
diff |
annotate
|
Thu, 24 Apr 2008 02:56:34 +0000 |
scott |
...
|
file |
diff |
annotate
|
Tue, 22 Apr 2008 05:13:02 +0000 |
kevin |
small to medium sized changes
|
file |
diff |
annotate
|
Mon, 21 Apr 2008 18:14:45 +0000 |
kevin |
misc small edit(s)
|
file |
diff |
annotate
|
Mon, 21 Apr 2008 17:41:17 +0000 |
kevin |
misc. edit, nothing major
|
file |
diff |
annotate
|
Tue, 04 Mar 2008 16:33:23 +0000 |
kevin |
another test
|
file |
diff |
annotate
|
Tue, 04 Mar 2008 16:32:07 +0000 |
kevin |
test edit
|
file |
diff |
annotate
|
Sat, 09 Feb 2008 15:16:43 +0000 |
kevin |
just testing svn stuff
|
file |
diff |
annotate
|