| Wed, 23 Mar 2011 15:30:38 -0700 |
Scott Morrison |
Automated merge with http://tqft.net/hg/blob
|
file |
diff |
annotate
|
| Wed, 23 Mar 2011 15:30:16 -0700 |
Scott Morrison |
slightly more detail on lack of surjectivity
|
file |
diff |
annotate
|
| Wed, 23 Mar 2011 15:29:31 -0700 |
Kevin Walker |
added two more transverse symbols
|
file |
diff |
annotate
|
| Sun, 20 Mar 2011 06:26:04 -0700 |
Kevin Walker |
small fix for def of bordism category definitions; perhaps more should be done
|
file |
diff |
annotate
|
| Tue, 15 Mar 2011 17:22:44 -0700 |
Kevin Walker |
explain why we dont require gluing to be surjective
|
file |
diff |
annotate
|
| Tue, 15 Mar 2011 16:49:49 -0700 |
Kevin Walker |
tried to clarify the spirally nature of the axioms in the intro to the ncat section; other word-smithing in that intro; added remark about C(0-sphere)
|
file |
diff |
annotate
|
| Tue, 15 Mar 2011 08:01:12 -0700 |
Kevin Walker |
add definition of collaring homeo, etc.
|
file |
diff |
annotate
|
| Wed, 09 Mar 2011 06:48:39 -0700 |
Kevin Walker |
adding pitchforks to denote splittability
|
file |
diff |
annotate
|
| 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
|
| Sat, 26 Jun 2010 16:31:28 -0700 |
Scott Morrison |
Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
|
file |
diff |
annotate
|
| Fri, 25 Jun 2010 09:48:24 -0700 |
Kevin Walker |
minor
|
file |
diff |
annotate
|
| Thu, 24 Jun 2010 14:21:51 -0400 |
Scott Morrison |
edits to sphere-modules stuff: some todos added
|
file |
diff |
annotate
|
| Wed, 23 Jun 2010 22:43:26 -0700 |
Kevin Walker |
figures for n+1-cat
|
file |
diff |
annotate
|
| Wed, 23 Jun 2010 18:37:25 -0700 |
Kevin Walker |
finished def of sphere module n+1-cat
|
file |
diff |
annotate
|
| Wed, 23 Jun 2010 09:41:03 -0700 |
Kevin Walker |
define compatible familty of non-degenerate IPs
|
file |
diff |
annotate
|
| Tue, 22 Jun 2010 22:19:16 -0700 |
Kevin Walker |
sphere modules (in progress)
|
file |
diff |
annotate
|
| Tue, 22 Jun 2010 18:56:51 -0700 |
Kevin Walker |
misc
|
file |
diff |
annotate
|
| Fri, 18 Jun 2010 21:17:39 -0700 |
Kevin Walker |
another tikz experiment
|
file |
diff |
annotate
|
| Fri, 18 Jun 2010 21:13:02 -0700 |
Kevin Walker |
experiment with tikz colors
|
file |
diff |
annotate
|
| Wed, 16 Jun 2010 15:29:19 -0700 |
Scott Morrison |
tikzing feb21 diagrams
|
file |
diff |
annotate
|
| Wed, 16 Jun 2010 14:39:25 -0700 |
Scott Morrison |
tikzing left-marked-antirefinements
|
file |
diff |
annotate
|
| Wed, 16 Jun 2010 14:33:01 -0700 |
Scott Morrison |
moving an already prepared diagram out of tempkw
|
file |
diff |
annotate
|
| Wed, 16 Jun 2010 14:30:55 -0700 |
Scott Morrison |
converting some hand drawn pictures to tikz
|
file |
diff |
annotate
|
| Sun, 13 Jun 2010 14:26:31 +0200 |
Kevin Walker |
metric independence for homeo action (proof done now)
|
file |
diff |
annotate
|
| Mon, 07 Jun 2010 18:14:11 +0200 |
Kevin Walker |
remark about EB_n-algebras from n-cats
|
file |
diff |
annotate
|
| Sun, 06 Jun 2010 20:56:47 +0200 |
Kevin Walker |
added pinched product figs
|
file |
diff |
annotate
|
| Sat, 05 Jun 2010 19:26:59 -0700 |
Kevin Walker |
A-inf bordism cat example
|
file |
diff |
annotate
|
| Sat, 05 Jun 2010 13:38:57 -0700 |
Kevin Walker |
finished E_n example (at SFO)
|
file |
diff |
annotate
|
| Sat, 05 Jun 2010 08:25:14 -0700 |
Kevin Walker |
EB_n operad example; other misc stuff
|
file |
diff |
annotate
|
| Fri, 04 Jun 2010 20:37:38 -0700 |
Kevin Walker |
finished product axiom
|
file |
diff |
annotate
|
| Fri, 04 Jun 2010 18:26:04 -0700 |
Kevin Walker |
start on product axiom
|
file |
diff |
annotate
|
| Fri, 04 Jun 2010 17:15:53 -0700 |
Kevin Walker |
breaking long lines
|
file |
diff |
annotate
|
| Fri, 04 Jun 2010 11:42:07 -0700 |
Kevin Walker |
breaking long lines (probably a waste of time, but I couldn't resist)
|
file |
diff |
annotate
|
| Fri, 04 Jun 2010 08:15:08 -0700 |
Kevin Walker |
starting to revise the ancient TQFTs-from-fields section; other minor stuff
|
file |
diff |
annotate
|
| Thu, 03 Jun 2010 21:16:36 -0700 |
Scott Morrison |
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
|
file |
diff |
annotate
|
| Thu, 03 Jun 2010 20:58:39 -0700 |
Scott Morrison |
mostly finished inserting \cl
|
file |
diff |
annotate
|
| Thu, 03 Jun 2010 20:34:36 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
| Thu, 03 Jun 2010 20:34:32 -0700 |
Scott Morrison |
updating notation in ncat
|
file |
diff |
annotate
|
| Thu, 03 Jun 2010 18:42:39 -0700 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
| Thu, 03 Jun 2010 18:42:08 -0700 |
Kevin Walker |
module morphism stuff
|
file |
diff |
annotate
|
| Thu, 03 Jun 2010 12:33:47 -0700 |
Scott Morrison |
various changes, mostly rewriting intros to sections for exposition
|
file |
diff |
annotate
|
| Thu, 03 Jun 2010 09:47:18 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
| Wed, 02 Jun 2010 17:45:13 -0700 |
Scott Morrison |
minor
|
file |
diff |
annotate
|
| Wed, 02 Jun 2010 22:09:52 -0700 |
Kevin Walker |
rewrite proof from gluing thm
|
file |
diff |
annotate
|
| Tue, 01 Jun 2010 23:07:42 -0700 |
Scott Morrison |
editting all over the place
|
file |
diff |
annotate
|
| Tue, 01 Jun 2010 11:34:03 -0700 |
Scott Morrison |
various small changes
|
file |
diff |
annotate
|
| Mon, 31 May 2010 23:42:37 -0700 |
Scott Morrison |
minor
|
file |
diff |
annotate
|
| Mon, 31 May 2010 17:27:17 -0700 |
Kevin Walker |
misc. minor stuff
|
file |
diff |
annotate
|
| Mon, 31 May 2010 13:27:24 -0700 |
Kevin Walker |
mention some other flavors of balls
|
file |
diff |
annotate
|
| Mon, 31 May 2010 12:44:19 -0700 |
Kevin Walker |
converting sphere axiom to a proposition; still need to make similar changes in module axioms
|
file |
diff |
annotate
|
| Mon, 31 May 2010 08:59:18 -0700 |
Kevin Walker |
start E_n example; other minor changes
|
file |
diff |
annotate
|
| Sat, 29 May 2010 23:13:20 -0700 |
Scott Morrison |
minor changes in a few places
|
file |
diff |
annotate
|
| Fri, 28 May 2010 15:20:11 -0700 |
Scott Morrison |
stuff
|
file |
diff |
annotate
|
| Thu, 27 May 2010 22:29:49 -0700 |
Kevin Walker |
more deligne.tex
|
file |
diff |
annotate
|
| Thu, 27 May 2010 20:09:47 -0700 |
Scott Morrison |
mostly minor changes, reading modules section, stopping for dinner\!
|
file |
diff |
annotate
|
| Thu, 27 May 2010 14:04:06 -0700 |
Scott Morrison |
\mapsfrom
|
file |
diff |
annotate
|
| Sat, 15 May 2010 16:00:31 -0700 |
Kevin Walker |
fix an example
|
file |
diff |
annotate
|