| Wed, 17 Nov 2010 11:58:35 -0800 |
Kevin Walker |
short version of cat sect intro; longer intro desirable?
|
changeset |
files
|
| Wed, 17 Nov 2010 11:46:39 -0800 |
Kevin Walker |
done with intro for now
|
changeset |
files
|
| Wed, 17 Nov 2010 11:26:00 -0800 |
Kevin Walker |
trying to resolve
|
changeset |
files
|
| Wed, 17 Nov 2010 11:16:39 -0800 |
Kevin Walker |
maybe if I commit now merging will be easier?
|
changeset |
files
|
| Wed, 17 Nov 2010 11:16:27 -0800 |
Scott Morrison |
very paltry start on colimits, out of time for now
|
changeset |
files
|
| Wed, 17 Nov 2010 10:56:17 -0800 |
Scott Morrison |
minor changes to rewritten intro
|
changeset |
files
|
| Wed, 17 Nov 2010 10:23:37 -0800 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
| Mon, 15 Nov 2010 09:49:04 -0800 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
| Sun, 14 Nov 2010 19:43:47 -0800 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
| Sun, 14 Nov 2010 19:43:43 -0800 |
Scott Morrison |
changing title?
|
changeset |
files
|
| Wed, 17 Nov 2010 09:17:07 -0800 |
Kevin Walker |
more intro
|
changeset |
files
|
| Tue, 16 Nov 2010 16:55:55 -0800 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob
|
changeset |
files
|
| Tue, 16 Nov 2010 16:55:49 -0800 |
Kevin Walker |
silly commit to move stuff from office to home
|
changeset |
files
|
| Tue, 16 Nov 2010 14:54:51 -0800 |
Scott Morrison |
adding reference to Ronnie Brown's paper, from MO
|
changeset |
files
|