Mon, 10 Jan 2011 19:27:21 -0800 |
Scott Morrison |
trying out a semicolon list
|
file |
diff |
annotate
|
Mon, 10 Jan 2011 15:25:53 -0800 |
Scott Morrison |
minor changes to kevin's new paragraphs
|
file |
diff |
annotate
|
Mon, 10 Jan 2011 14:18:52 -0800 |
Scott Morrison |
fixing the broken references introduced during my abortive edits yesterday in sydney
|
file |
diff |
annotate
|
Sun, 09 Jan 2011 06:56:45 -0500 |
Scott Morrison |
ugh, trying to make some changes, but the only way I can work from here is by tunneling X windows, and it's just too painful. postponing til I'm at a real computer.
|
file |
diff |
annotate
|
Fri, 07 Jan 2011 14:40:58 -0800 |
Kevin Walker |
"topological n-cat" --> either "disk-like n-cat" or "ordinary n-cat" (when contrasted with A-inf n-cat)
|
file |
diff |
annotate
|
Fri, 07 Jan 2011 12:41:45 -0800 |
Kevin Walker |
add citation to R. Brown and U. Tillman
|
file |
diff |
annotate
|
Fri, 07 Jan 2011 09:08:15 -0800 |
Kevin Walker |
summary of data and properties for n-cats
|
file |
diff |
annotate
|
Thu, 06 Jan 2011 22:56:31 -0800 |
Kevin Walker |
plain n-cat -> ordinary n-cat
|
file |
diff |
annotate
|
Thu, 06 Jan 2011 22:47:06 -0800 |
Kevin Walker |
compatibility of first and last n-cat axioms; mention stricter variant of last axiom
|
file |
diff |
annotate
|
Sun, 14 Nov 2010 15:39:03 -0800 |
Scott Morrison |
futzing with preambles
|
file |
diff |
annotate
|
Fri, 24 Sep 2010 15:32:55 -0700 |
Scott Morrison |
friday afternoon
|
file |
diff |
annotate
|
Thu, 23 Sep 2010 18:10:35 -0700 |
Kevin Walker |
assoc of n+1
|
file |
diff |
annotate
|
Thu, 23 Sep 2010 12:34:16 -0700 |
Kevin Walker |
resolving two more nns
|
file |
diff |
annotate
|
Wed, 22 Sep 2010 20:42:47 -0700 |
Kevin Walker |
making "no functors" excuses; other minor stuff
|
file |
diff |
annotate
|
Tue, 21 Sep 2010 22:39:17 -0700 |
Kevin Walker |
misc
|
file |
diff |
annotate
|
Tue, 21 Sep 2010 17:28:14 -0700 |
Scott Morrison |
remaining changes from tuesday afternoon
|
file |
diff |
annotate
|
Tue, 21 Sep 2010 14:44:17 -0700 |
Scott Morrison |
deleting nn's
|
file |
diff |
annotate
|
Mon, 20 Sep 2010 14:32:24 -0700 |
Kevin Walker |
minor: futzing with font size in 2 figs
|
file |
diff |
annotate
|
Mon, 20 Sep 2010 10:24:17 -0700 |
Kevin Walker |
new def of mophisms between modules
|
file |
diff |
annotate
|
Sun, 19 Sep 2010 23:15:21 -0700 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
Sun, 19 Sep 2010 23:14:41 -0700 |
Kevin Walker |
preparing for new def of morphisms of a-ing 1-cat modules
|
file |
diff |
annotate
|
Wed, 15 Sep 2010 13:33:14 -0500 |
Scott Morrison |
numbering axioms and module axioms as 7.x
|
file |
diff |
annotate
|
Thu, 02 Sep 2010 23:11:38 -0700 |
Kevin Walker |
proof of injectivity/colimit lemma
|
file |
diff |
annotate
|
Wed, 01 Sep 2010 13:34:21 -0700 |
Kevin Walker |
futzing with figures (\begin{center|equation} to \centering)
|
file |
diff |
annotate
|
Tue, 31 Aug 2010 21:09:31 -0700 |
Kevin Walker |
minor
|
file |
diff |
annotate
|
Tue, 31 Aug 2010 11:18:26 -0700 |
Kevin Walker |
minor; resolving a few \nns
|
file |
diff |
annotate
|
Thu, 26 Aug 2010 13:20:13 -0700 |
Kevin Walker |
misc
|
file |
diff |
annotate
|
Wed, 18 Aug 2010 21:05:50 -0700 |
Kevin Walker |
fixing some (but not all!?) of the hyperref warnings; start on revision of evmap
|
file |
diff |
annotate
|
Fri, 30 Jul 2010 20:19:17 -0400 |
Kevin Walker |
misc
|
file |
diff |
annotate
|
Fri, 30 Jul 2010 18:36:08 -0400 |
Kevin Walker |
sphere module n+1 mor stuff
|
file |
diff |
annotate
|
Wed, 28 Jul 2010 12:53:16 -0700 |
Scott Morrison |
YxI sliced open diagram
|
file |
diff |
annotate
|
Wed, 28 Jul 2010 12:16:27 -0700 |
Scott Morrison |
many small fixes in ncat.tex
|
file |
diff |
annotate
|
Fri, 23 Jul 2010 13:52:30 -0700 |
Scott Morrison |
some modifications to blobdef
|
file |
diff |
annotate
|
Thu, 22 Jul 2010 16:16:58 -0600 |
Kevin Walker |
dual module (non-)definition; other minor stuff
|
file |
diff |
annotate
|
Thu, 22 Jul 2010 15:35:26 -0600 |
Kevin Walker |
redefine "permissible decomp", and other changes to ntcat.tex; should be read
|
file |
diff |
annotate
|
Mon, 19 Jul 2010 15:56:09 -0600 |
Kevin Walker |
oops
|
file |
diff |
annotate
|
Mon, 19 Jul 2010 15:53:31 -0600 |
Kevin Walker |
changing simplex terminology for hocolimit (no more "degree")
|
file |
diff |
annotate
|
Mon, 19 Jul 2010 12:27:19 -0700 |
Scott Morrison |
filtration -> simplex, and another diagram
|
file |
diff |
annotate
|
Sun, 18 Jul 2010 11:07:47 -0600 |
Kevin Walker |
done with a-inf section for now
|
file |
diff |
annotate
|
Sun, 18 Jul 2010 08:07:50 -0600 |
Kevin Walker |
more a-inf section
|
file |
diff |
annotate
|
Sat, 17 Jul 2010 20:57:46 -0600 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
Sat, 17 Jul 2010 20:57:35 -0600 |
Kevin Walker |
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
|
file |
diff |
annotate
|
Fri, 16 Jul 2010 17:18:02 -0600 |
Scott Morrison |
tikzing two diagrams
|
file |
diff |
annotate
|
Wed, 14 Jul 2010 11:08:12 -0600 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
Wed, 14 Jul 2010 11:06:40 -0600 |
Kevin Walker |
mostly (entirely?) ncat revisions
|
file |
diff |
annotate
|
Wed, 14 Jul 2010 11:06:20 -0600 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
Wed, 14 Jul 2010 11:06:11 -0600 |
Scott Morrison |
revisions to \S 1-5
|
file |
diff |
annotate
|
Tue, 13 Jul 2010 12:47:49 -0600 |
Kevin Walker |
ncat - minor
|
file |
diff |
annotate
|
Sun, 11 Jul 2010 14:38:48 -0600 |
Kevin Walker |
search & replace: s/((sub?)section|appendix)\s+\\ref/\S\ref/
|
file |
diff |
annotate
|
Sun, 11 Jul 2010 14:31:56 -0600 |
Kevin Walker |
ncat misc
|
file |
diff |
annotate
|
Sat, 10 Jul 2010 12:30:09 -0600 |
Kevin Walker |
ncat.tex mostly module stuff
|
file |
diff |
annotate
|
Thu, 08 Jul 2010 08:36:34 -0600 |
Kevin Walker |
ncat: module def
|
file |
diff |
annotate
|
Wed, 07 Jul 2010 11:07:48 -0600 |
Kevin Walker |
more ncat (colimits)
|
file |
diff |
annotate
|
Wed, 07 Jul 2010 10:17:30 -0600 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
Wed, 07 Jul 2010 10:17:21 -0600 |
Scott Morrison |
minor
|
file |
diff |
annotate
|
Wed, 07 Jul 2010 08:47:50 -0600 |
Kevin Walker |
a few more ncat revisions
|
file |
diff |
annotate
|
Mon, 05 Jul 2010 07:47:23 -0600 |
Kevin Walker |
revisions of n-cat examples
|
file |
diff |
annotate
|
Sun, 04 Jul 2010 23:32:48 -0600 |
Kevin Walker |
making quotation marks consistently "American style"
|
file |
diff |
annotate
|
Sun, 04 Jul 2010 13:15:03 -0600 |
Kevin Walker |
more ncat section
|
file |
diff |
annotate
|
Sun, 04 Jul 2010 11:56:23 -0600 |
Kevin Walker |
starting to revise ncat section
|
file |
diff |
annotate
|
Sat, 03 Jul 2010 13:19:15 -0600 |
Kevin Walker |
starting to work on tqdftreview.tex
|
file |
diff |
annotate
|
Wed, 30 Jun 2010 08:55:46 -0700 |
Kevin Walker |
minor
|
file |
diff |
annotate
|
Sun, 27 Jun 2010 12:28:06 -0700 |
Scott Morrison |
a bunch of minor changes
|
file |
diff |
annotate
|
Sat, 26 Jun 2010 17:22:53 -0700 |
Scott Morrison |
Making notation in the product theorem more consistent.
|
file |
diff |
annotate
|