Sun, 10 Jul 2011 14:43:19 -0600 |
Kevin Walker |
no splittability requirement for k=n
|
file |
diff |
annotate
|
Wed, 29 Jun 2011 16:21:11 -0700 |
Scott Morrison |
typos
|
file |
diff |
annotate
|
Wed, 29 Jun 2011 12:02:47 -0700 |
Scott Morrison |
minor
|
file |
diff |
annotate
|
Tue, 28 Jun 2011 15:44:04 -0700 |
Scott Morrison |
minor
|
file |
diff |
annotate
|
Sat, 25 Jun 2011 18:14:37 -0700 |
Kevin Walker |
add remark about a-inf axiom implying isotopy invariance
|
file |
diff |
annotate
|
Sat, 25 Jun 2011 06:52:04 -0700 |
Kevin Walker |
minor; out of time for now
|
file |
diff |
annotate
|
Sat, 25 Jun 2011 06:44:35 -0700 |
Kevin Walker |
update n-cat summary lists
|
file |
diff |
annotate
|
Fri, 24 Jun 2011 21:41:48 -0700 |
Kevin Walker |
maybe done with colimit stuff; getting closer anyway
|
file |
diff |
annotate
|
Fri, 24 Jun 2011 06:39:25 -0700 |
Kevin Walker |
minor
|
file |
diff |
annotate
|
Thu, 23 Jun 2011 09:19:51 -0700 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
Thu, 23 Jun 2011 09:19:42 -0700 |
Kevin Walker |
minor
|
file |
diff |
annotate
|
Wed, 22 Jun 2011 22:36:34 -0700 |
Kevin Walker |
tikz figure
|
file |
diff |
annotate
|
Wed, 22 Jun 2011 23:09:25 -0700 |
Scott Morrison |
starting on a Morita figure
|
file |
diff |
annotate
|
Wed, 22 Jun 2011 16:07:55 -0700 |
Scott Morrison |
intertwinor -> intertwiner: http://www.googlefight.com/index.php?lang=en_GB\&word1=intertwiner\&word2=intertwinor
|
file |
diff |
annotate
|
Wed, 22 Jun 2011 16:02:37 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob
|
file |
diff |
annotate
|
Wed, 22 Jun 2011 16:02:27 -0700 |
Scott Morrison |
typo
|
file |
diff |
annotate
|
Tue, 10 May 2011 18:08:26 -0700 |
Scott Morrison |
minor: correcting caption
|
file |
diff |
annotate
|
Wed, 22 Jun 2011 11:13:51 -0700 |
Kevin Walker |
morita figs
|
file |
diff |
annotate
|
Wed, 22 Jun 2011 11:06:33 -0700 |
Kevin Walker |
more Morita
|
file |
diff |
annotate
|
Tue, 21 Jun 2011 18:10:31 -0700 |
Kevin Walker |
minor
|
file |
diff |
annotate
|
Tue, 21 Jun 2011 12:05:16 -0700 |
Kevin Walker |
morita stuff
|
file |
diff |
annotate
|
Sun, 19 Jun 2011 21:35:30 -0600 |
Kevin Walker |
wrote a little (but not enough) about Morita equivalence; out of time, will finish later
|
file |
diff |
annotate
|
Sun, 19 Jun 2011 17:31:34 -0600 |
Kevin Walker |
adding transversality requirement to product morphism axiom
|
file |
diff |
annotate
|
Sun, 19 Jun 2011 17:07:48 -0600 |
Kevin Walker |
adding placeholder figure
|
file |
diff |
annotate
|
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
|
Tue, 29 Mar 2011 13:30:35 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob
|
file |
diff |
annotate
|
Wed, 23 Mar 2011 15:52:36 -0700 |
Scott Morrison |
some daggers
|
file |
diff |
annotate
|
Wed, 30 Mar 2011 07:16:14 -0700 |
Kevin Walker |
fix definition of refinement of ball decomp (intermediate manifolds are disj unions of balls)
|
file |
diff |
annotate
|
Thu, 24 Mar 2011 10:06:09 -0700 |
Kevin Walker |
added 2nd parameter to the two bordism examples
|
file |
diff |
annotate
|
Wed, 23 Mar 2011 15:33:48 -0700 |
Scott Morrison |
neat embedding for bordism category
|
file |
diff |
annotate
|
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
|
Sat, 15 May 2010 10:46:37 -0500 |
Scott Morrison |
minor
|
file |
diff |
annotate
|
Thu, 13 May 2010 12:07:02 -0500 |
Scott Morrison |
minor changes, fixes to some diagrams
|
file |
diff |
annotate
|
Wed, 12 May 2010 18:26:20 -0500 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
Wed, 12 May 2010 18:25:37 -0500 |
Scott Morrison |
minor edits at the beginning of ncat
|
file |
diff |
annotate
|
Wed, 12 May 2010 15:57:20 -0700 |
Kevin Walker |
done for the moment with module morphism stuff
|
file |
diff |
annotate
|
Mon, 10 May 2010 19:34:59 -0700 |
Kevin Walker |
finished def of module morphisms; still need to define (yet another) 'evaluation' map
|
file |
diff |
annotate
|
Mon, 10 May 2010 14:14:19 -0700 |
Kevin Walker |
blah blah
|
file |
diff |
annotate
|
Mon, 10 May 2010 10:09:06 -0700 |
Kevin Walker |
more module morphism stuff
|
file |
diff |
annotate
|
Sun, 09 May 2010 22:32:37 -0700 |
Kevin Walker |
starting write up module morphism def
|
file |
diff |
annotate
|
Tue, 30 Mar 2010 15:12:27 -0700 |
Scott Morrison |
changing diff to homeo
|
file |
diff |
annotate
|
Mon, 29 Mar 2010 05:41:28 +0000 |
scott |
minor tweaks on small blobs
|
file |
diff |
annotate
|
Sun, 28 Mar 2010 01:40:58 +0000 |
scott |
fixing signs in small blobs lemma
|
file |
diff |
annotate
|
Sat, 27 Mar 2010 03:07:45 +0000 |
scott |
committing changes from loon lake - mostly small blobs
|
file |
diff |
annotate
|
Fri, 05 Mar 2010 20:27:08 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 23 Feb 2010 05:49:12 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sun, 21 Feb 2010 23:27:38 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sun, 21 Feb 2010 22:49:18 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sun, 21 Feb 2010 06:40:00 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sun, 21 Feb 2010 03:07:56 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sun, 21 Feb 2010 02:23:30 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sat, 20 Feb 2010 22:59:57 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 27 Jan 2010 19:34:48 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 27 Jan 2010 18:33:59 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sun, 10 Jan 2010 20:48:09 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sun, 10 Jan 2010 18:27:49 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 05 Jan 2010 21:18:39 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 05 Jan 2010 20:50:36 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Mon, 21 Dec 2009 21:51:44 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Fri, 18 Dec 2009 06:06:43 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Thu, 17 Dec 2009 04:37:12 +0000 |
scott |
working on ncats -- no new material, just improving text
|
file |
diff |
annotate
|
Wed, 16 Dec 2009 19:30:13 +0000 |
scott |
minor edits in ncats
|
file |
diff |
annotate
|
Sun, 13 Dec 2009 01:32:28 +0000 |
scott |
...
|
file |
diff |
annotate
|
Fri, 11 Dec 2009 22:44:25 +0000 |
scott |
...
|
file |
diff |
annotate
|
Tue, 08 Dec 2009 01:08:53 +0000 |
scott |
...
|
file |
diff |
annotate
|
Mon, 07 Dec 2009 14:58:30 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sun, 08 Nov 2009 04:08:58 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sat, 07 Nov 2009 15:23:53 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Fri, 06 Nov 2009 21:57:13 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 04 Nov 2009 22:43:58 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 04 Nov 2009 22:27:48 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sat, 31 Oct 2009 00:20:10 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 28 Oct 2009 21:59:38 +0000 |
scott |
...
|
file |
diff |
annotate
|
Wed, 28 Oct 2009 21:41:53 +0000 |
scott |
...
|
file |
diff |
annotate
|
Wed, 28 Oct 2009 21:18:55 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 28 Oct 2009 17:30:37 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 28 Oct 2009 05:55:38 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 28 Oct 2009 02:44:29 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 27 Oct 2009 22:27:07 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Mon, 26 Oct 2009 05:39:29 +0000 |
scott |
...
|
file |
diff |
annotate
|
Tue, 20 Oct 2009 18:25:54 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sun, 18 Oct 2009 23:54:43 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Fri, 16 Oct 2009 22:44:25 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 13 Oct 2009 21:32:06 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 15 Sep 2009 02:55:39 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 26 Aug 2009 02:35:24 +0000 |
kevin |
preparing for semi-public version soon
|
file |
diff |
annotate
|
Fri, 21 Aug 2009 23:17:10 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Mon, 17 Aug 2009 22:51:08 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Mon, 17 Aug 2009 05:23:35 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sat, 15 Aug 2009 15:47:52 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Fri, 14 Aug 2009 01:30:07 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Sat, 08 Aug 2009 22:12:58 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 29 Jul 2009 18:23:18 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 28 Jul 2009 18:52:39 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 28 Jul 2009 15:33:33 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 28 Jul 2009 00:33:08 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Fri, 24 Jul 2009 22:33:31 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Fri, 24 Jul 2009 18:52:30 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Thu, 23 Jul 2009 22:13:48 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 22 Jul 2009 17:37:45 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 21 Jul 2009 18:45:18 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 21 Jul 2009 16:21:20 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 21 Jul 2009 15:55:06 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 21 Jul 2009 05:56:45 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Mon, 20 Jul 2009 22:50:59 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Mon, 20 Jul 2009 17:37:50 +0000 |
kevin |
...
|
file |
diff |
annotate
|