Tue, 28 Jun 2011 17:09:14 -0700 |
Scott Morrison |
figure for ABCD in the sin(1/x) example
|
changeset |
files
|
Tue, 28 Jun 2011 15:44:04 -0700 |
Scott Morrison |
minor
|
changeset |
files
|
Tue, 28 Jun 2011 15:43:53 -0700 |
Scott Morrison |
fixing delfig3b
|
changeset |
files
|
Mon, 27 Jun 2011 10:39:23 -0700 |
Scott Morrison |
recompiling 'gadgets' diagram
|
changeset |
files
|
Mon, 27 Jun 2011 14:26:13 -0700 |
Kevin Walker |
minor
|
changeset |
files
|
Sat, 25 Jun 2011 18:14:37 -0700 |
Kevin Walker |
add remark about a-inf axiom implying isotopy invariance
|
changeset |
files
|
Sat, 25 Jun 2011 06:52:04 -0700 |
Kevin Walker |
minor; out of time for now
|
changeset |
files
|
Sat, 25 Jun 2011 06:44:35 -0700 |
Kevin Walker |
update n-cat summary lists
|
changeset |
files
|
Sat, 25 Jun 2011 06:27:16 -0700 |
Kevin Walker |
very minor
|
changeset |
files
|
Fri, 24 Jun 2011 21:41:48 -0700 |
Kevin Walker |
maybe done with colimit stuff; getting closer anyway
|
changeset |
files
|
Fri, 24 Jun 2011 06:39:25 -0700 |
Kevin Walker |
minor
|
changeset |
files
|
Thu, 23 Jun 2011 09:19:51 -0700 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Thu, 23 Jun 2011 09:19:42 -0700 |
Kevin Walker |
minor
|
changeset |
files
|
Wed, 22 Jun 2011 22:36:34 -0700 |
Kevin Walker |
tikz figure
|
changeset |
files
|
Wed, 22 Jun 2011 23:09:35 -0700 |
Scott Morrison |
adding the final PDF form PNAS
|
changeset |
files
|
Wed, 22 Jun 2011 23:09:25 -0700 |
Scott Morrison |
starting on a Morita figure
|
changeset |
files
|
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
|
changeset |
files
|
Wed, 22 Jun 2011 16:02:37 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob
|
changeset |
files
|
Wed, 22 Jun 2011 16:02:27 -0700 |
Scott Morrison |
typo
|
changeset |
files
|
Tue, 10 May 2011 18:08:26 -0700 |
Scott Morrison |
minor: correcting caption
|
changeset |
files
|
Wed, 22 Jun 2011 11:13:51 -0700 |
Kevin Walker |
morita figs
|
changeset |
files
|
Wed, 22 Jun 2011 11:06:33 -0700 |
Kevin Walker |
more Morita
|
changeset |
files
|
Tue, 21 Jun 2011 18:10:31 -0700 |
Kevin Walker |
minor
|
changeset |
files
|
Tue, 21 Jun 2011 12:05:16 -0700 |
Kevin Walker |
morita stuff
|
changeset |
files
|
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
|
changeset |
files
|
Sun, 19 Jun 2011 17:31:34 -0600 |
Kevin Walker |
adding transversality requirement to product morphism axiom
|
changeset |
files
|
Sun, 19 Jun 2011 17:07:48 -0600 |
Kevin Walker |
adding placeholder figure
|
changeset |
files
|
Sun, 19 Jun 2011 15:31:28 -0600 |
Kevin Walker |
new n-cat axiom for splittings
|
changeset |
files
|
Fri, 17 Jun 2011 20:56:27 -0600 |
Kevin Walker |
minor
|
changeset |
files
|
Fri, 17 Jun 2011 12:12:53 -0600 |
Kevin Walker |
misc; added some specifics of acknowledgements
|
changeset |
files
|
Fri, 17 Jun 2011 12:01:43 -0600 |
Kevin Walker |
finish fam-o-homeo axiom revisions and discussion
|
changeset |
files
|
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
|
changeset |
files
|
Thu, 16 Jun 2011 08:51:40 -0600 |
Kevin Walker |
tweak to fam-o-homeo proof; aux enriching cats are sets with extra structure
|
changeset |
files
|
Wed, 15 Jun 2011 14:15:19 -0600 |
Kevin Walker |
finished topological case of Appendix B
|
changeset |
files
|
Tue, 14 Jun 2011 19:28:48 -0600 |
Kevin Walker |
starting proof of adaptation lemma for continuous homeos
|
changeset |
files
|
Wed, 01 Jun 2011 15:17:39 -0600 |
Kevin Walker |
added remark on super algebra
|
changeset |
files
|
Wed, 01 Jun 2011 15:04:31 -0600 |
Kevin Walker |
adding remarks on objects to C.1; this is pretty uninspired writing, so feel free to improve
|
changeset |
files
|
Sat, 28 May 2011 21:45:13 -0600 |
Kevin Walker |
more details in C.1; reorganized to-do list
|
changeset |
files
|
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
|
changeset |
files
|
Fri, 27 May 2011 21:54:22 -0600 |
Kevin Walker |
more reorganization of n-cat defs
|
changeset |
files
|
Fri, 27 May 2011 13:43:20 -0600 |
Kevin Walker |
start to rearrange n-cat defs
|
changeset |
files
|
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
|
changeset |
files
|
Wed, 25 May 2011 09:48:01 -0600 |
Kevin Walker |
left over comment from last week
|
changeset |
files
|
Sat, 14 May 2011 11:42:48 -0700 |
Kevin Walker |
more on colimits; still not done
|
changeset |
files
|
Fri, 13 May 2011 21:16:40 -0700 |
Kevin Walker |
minor
|
changeset |
files
|
Fri, 13 May 2011 21:01:03 -0700 |
Kevin Walker |
merging by hand (?)
|
changeset |
files
|
Fri, 13 May 2011 20:52:18 -0700 |
Kevin Walker |
rewriting colimit def; there's still a little more to do
|
changeset |
files
|
Thu, 12 May 2011 21:42:34 -0700 |
Kevin Walker |
starting to work on colimit stuff, but not much progress yet
|
changeset |
files
|
Wed, 11 May 2011 14:39:21 -0700 |
Kevin Walker |
minor
|
changeset |
files
|
Wed, 11 May 2011 14:32:13 -0700 |
Kevin Walker |
add remarks to address the bizarre and inexplicable confusion about "hemisphere"
|
changeset |
files
|
Wed, 11 May 2011 14:20:10 -0700 |
Kevin Walker |
added a sentence about conditions of existence of path integrals (at PT's request); other minor stuff
|
changeset |
files
|
Tue, 10 May 2011 14:30:23 -0700 |
Kevin Walker |
updated to-do list
|
changeset |
files
|
Sun, 08 May 2011 22:15:11 -0700 |
Kevin Walker |
oops -- 3 reverts
|
changeset |
files
|
Sun, 08 May 2011 22:08:47 -0700 |
Kevin Walker |
move figs to top of page
|
changeset |
files
|
Sun, 08 May 2011 09:05:53 -0700 |
Kevin Walker |
make sure poset of decomps is a small category; added to to-do list
|
changeset |
files
|
Sat, 07 May 2011 09:40:20 -0700 |
Kevin Walker |
string diagrams have stratifications more general than mere cell complexes
|
changeset |
files
|
Sat, 07 May 2011 09:27:21 -0700 |
Kevin Walker |
minor
|
changeset |
files
|
Sat, 07 May 2011 09:18:37 -0700 |
Kevin Walker |
added remark about defect categories; tweaked sphere cat intro
|
changeset |
files
|
Sat, 07 May 2011 08:35:36 -0700 |
Kevin Walker |
minor: remove \nn from ack list; shorten lines; remove some comments
|
changeset |
files
|
Fri, 06 May 2011 18:02:06 -0700 |
Kevin Walker |
adding to-do list
|
changeset |
files
|
Fri, 06 May 2011 17:48:23 -0700 |
Kevin Walker |
updated delta file
|
changeset |
files
|
Fri, 06 May 2011 17:46:07 -0700 |
Kevin Walker |
acknowledge the existence of manifolds without ball decompositions
|
changeset |
files
|
Fri, 06 May 2011 17:24:08 -0700 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Fri, 06 May 2011 17:23:49 -0700 |
Kevin Walker |
delta file for next arXiv/G&T version (complete as of now, but will need to be updated)
|
changeset |
files
|
Fri, 06 May 2011 17:21:26 -0700 |
Scott Morrison |
reverting removing kw:tqft
|
changeset |
files
|
Fri, 06 May 2011 17:20:51 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Fri, 06 May 2011 15:32:55 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Mon, 28 Mar 2011 18:07:36 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Mon, 28 Mar 2011 18:07:33 -0700 |
Scott Morrison |
old change to a diagram, forgot to commit
|
changeset |
files
|
Fri, 06 May 2011 16:54:18 -0700 |
Scott Morrison |
correcting typo
|
changeset |
files
|
Fri, 06 May 2011 16:52:59 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Fri, 06 May 2011 16:52:45 -0700 |
Scott Morrison |
removing kw:tqft from pnas
|
changeset |
files
|
Fri, 06 May 2011 16:04:22 -0700 |
Kevin Walker |
remark about apparent vacuity of lemma 6.1.2 (spheres)
|
changeset |
files
|
Fri, 06 May 2011 15:23:26 -0700 |
Kevin Walker |
added more motivation for pinched products
|
changeset |
files
|
Fri, 06 May 2011 15:00:46 -0700 |
Kevin Walker |
more on piched product union axiom
|
changeset |
files
|
Fri, 06 May 2011 14:56:13 -0700 |
Kevin Walker |
fixed statement of compatibility of product morphisms with decompositions (might still need some work)
|
changeset |
files
|
Fri, 06 May 2011 14:22:35 -0700 |
Kevin Walker |
added to examples of unions of pinched products (fig)
|
changeset |
files
|
Fri, 06 May 2011 14:11:43 -0700 |
Kevin Walker |
added brief def of monoidal n-cats; killed some old invisible comments
|
changeset |
files
|
Wed, 04 May 2011 14:47:43 -0600 |
Kevin Walker |
add M. Shulman to acknowledgements
|
changeset |
files
|
Sun, 24 Apr 2011 13:55:58 -0700 |
Kevin Walker |
clarification of definition of n-SC operad
|
changeset |
files
|
Tue, 19 Apr 2011 15:52:37 -0700 |
Scott Morrison |
adding notes for Scott's April 19 talk
|
changeset |
files
|
Mon, 18 Apr 2011 22:32:35 -0700 |
Scott Morrison |
removing repeated word
|
changeset |
files
|
Mon, 18 Apr 2011 22:28:44 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Mon, 18 Apr 2011 22:28:40 -0700 |
Scott Morrison |
fixing minor mistake in the proof of the product formula
|
changeset |
files
|
Mon, 18 Apr 2011 22:18:00 -0700 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Thu, 14 Apr 2011 20:36:08 -0700 |
Kevin Walker |
typo in caption
|
changeset |
files
|
Wed, 13 Apr 2011 12:14:18 -0700 |
Scott Morrison |
more splittable symbols in the module section, and minor typos from April 12
|
changeset |
files
|
Fri, 01 Apr 2011 16:02:13 -0700 |
Scott Morrison |
if compiling with xelatex, and the fonts 'Linux Libertine' and 'Asana Math' are available, will typeset more like what PNAS is doing. quotes are messed up, though
|
changeset |
files
|
Thu, 31 Mar 2011 14:13:58 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob
|
changeset |
files
|
Tue, 29 Mar 2011 13:30:35 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob
|
changeset |
files
|
Wed, 23 Mar 2011 15:52:36 -0700 |
Scott Morrison |
some daggers
|
changeset |
files
|
Wed, 30 Mar 2011 08:03:27 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Wed, 30 Mar 2011 08:03:22 -0700 |
Scott Morrison |
correctly definition of ball decomposition in PNAS article
|
changeset |
files
|
Wed, 30 Mar 2011 07:16:14 -0700 |
Kevin Walker |
fix definition of refinement of ball decomp (intermediate manifolds are disj unions of balls)
|
changeset |
files
|
Thu, 24 Mar 2011 10:06:09 -0700 |
Kevin Walker |
added 2nd parameter to the two bordism examples
|
changeset |
files
|
Thu, 24 Mar 2011 09:08:15 -0700 |
Kevin Walker |
invisible, unimportant changes
|
changeset |
files
|
Wed, 23 Mar 2011 15:33:48 -0700 |
Scott Morrison |
neat embedding for bordism category
|
changeset |
files
|
Wed, 23 Mar 2011 15:30:38 -0700 |
Scott Morrison |
Automated merge with http://tqft.net/hg/blob
|
changeset |
files
|
Wed, 23 Mar 2011 15:30:16 -0700 |
Scott Morrison |
slightly more detail on lack of surjectivity
|
changeset |
files
|
Wed, 23 Mar 2011 15:19:37 -0700 |
Scott Morrison |
two more transverse symbols
|
changeset |
files
|
Wed, 23 Mar 2011 15:29:31 -0700 |
Kevin Walker |
added two more transverse symbols
|
changeset |
files
|
Sun, 20 Mar 2011 06:26:04 -0700 |
Kevin Walker |
small fix for def of bordism category definitions; perhaps more should be done
|
changeset |
files
|
Tue, 15 Mar 2011 17:22:44 -0700 |
Kevin Walker |
explain why we dont require gluing to be surjective
|
changeset |
files
|
Tue, 15 Mar 2011 17:11:47 -0700 |
Kevin Walker |
added remark that in the case of disjoint gluing the equalizer is also a fibered product
|
changeset |
files
|
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)
|
changeset |
files
|
Tue, 15 Mar 2011 08:11:27 -0700 |
Kevin Walker |
thank hot topics course lecturers
|
changeset |
files
|
Tue, 15 Mar 2011 08:01:12 -0700 |
Kevin Walker |
add definition of collaring homeo, etc.
|
changeset |
files
|
Tue, 15 Mar 2011 07:25:13 -0700 |
Kevin Walker |
remove long nooped section on linearizing fields
|
changeset |
files
|
Wed, 09 Mar 2011 06:48:39 -0700 |
Kevin Walker |
adding pitchforks to denote splittability
|
changeset |
files
|
Wed, 23 Feb 2011 12:59:31 -0800 |
Kevin Walker |
typo
|
changeset |
files
|
Tue, 22 Feb 2011 10:17:22 -0800 |
Kevin Walker |
2 typos, one minor and one more serious
|
changeset |
files
|
Thu, 17 Feb 2011 21:37:52 -0800 |
Kevin Walker |
clarified what's small and what's not in the proof of the small blob lemma for BT_*
|
changeset |
files
|
Mon, 14 Feb 2011 09:14:26 +1100 |
Scott Morrison |
removing unnecessary preamble.tex
|
changeset |
files
|
Mon, 14 Feb 2011 08:45:47 +1100 |
Scott Morrison |
fixing rob's typo (that->than)
|
changeset |
files
|
Wed, 09 Feb 2011 18:21:58 -0800 |
Kevin Walker |
added remark to easy gluing prop (compatible with gluing on fields). this is in response to comment from PT that the zero map satisfies the claims of the proposition.
|
changeset |
files
|
Tue, 08 Feb 2011 13:15:46 -0800 |
Kevin Walker |
fix typo ('to' -> 'the') noticed my Rob
|
changeset |
files
|
Tue, 08 Feb 2011 07:27:53 -0800 |
Kevin Walker |
re-added a remark that was accidentally deleted earlier
|
changeset |
files
|
Tue, 08 Feb 2011 07:19:38 -0800 |
Kevin Walker |
typo
|
changeset |
files
|
Tue, 08 Feb 2011 07:14:18 -0800 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Tue, 08 Feb 2011 07:13:42 -0800 |
Kevin Walker |
clarify "splittable"; r -> l
|
changeset |
files
|
Tue, 08 Feb 2011 20:16:47 +1100 |
Scott Morrison |
aaron's final version
|
changeset |
files
|
Sun, 06 Feb 2011 20:54:10 -0800 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Sun, 06 Feb 2011 20:53:43 -0800 |
Kevin Walker |
Edits from Aaron Mazel-Gee
|
changeset |
files
|
Sun, 06 Feb 2011 18:31:17 -0800 |
Scott Morrison |
adding Aaron's notes, renaming
|
changeset |
files
|
Tue, 25 Jan 2011 14:57:07 -0800 |
Scott Morrison |
minor
|
changeset |
files
|
Tue, 25 Jan 2011 13:07:38 -0800 |
Scott Morrison |
minor tweaks in talk
|
changeset |
files
|
Tue, 25 Jan 2011 10:15:35 -0800 |
Scott Morrison |
some suggestions from kevin
|
changeset |
files
|
Tue, 25 Jan 2011 00:30:50 -0800 |
Scott Morrison |
axioms (unfinished) and a bit about cell decompositions
|
changeset |
files
|
Mon, 24 Jan 2011 21:50:56 -0800 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Mon, 24 Jan 2011 21:50:45 -0800 |
Scott Morrison |
adjusting figure and proof of gluing per kevin's suggestions
|
changeset |
files
|
Mon, 24 Jan 2011 18:29:31 -0700 |
Kevin Walker |
placeholder for change in def of string-diagram-fields
|
changeset |
files
|
Sun, 23 Jan 2011 18:44:18 -0800 |
Scott Morrison |
gluing formulas
|
changeset |
files
|
Sun, 23 Jan 2011 13:30:25 -0800 |
Scott Morrison |
writing about string diagrams
|
changeset |
files
|
Fri, 21 Jan 2011 20:53:49 -0800 |
Scott Morrison |
writing notes for Teichner's course
|
changeset |
files
|
Sat, 15 Jan 2011 15:32:37 -0800 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Sat, 15 Jan 2011 15:32:30 -0800 |
Scott Morrison |
missing 'than'
|
changeset |
files
|
Thu, 13 Jan 2011 14:48:47 -0800 |
Kevin Walker |
summary of changes for G&T (will upload via their web interface)
|
changeset |
files
|
Mon, 10 Jan 2011 20:14:24 -0800 |
Scott Morrison |
fixing build script to omit PNAS files for arxiv submission
|
changeset |
files
|
Mon, 10 Jan 2011 19:27:21 -0800 |
Scott Morrison |
trying out a semicolon list
|
changeset |
files
|
Mon, 10 Jan 2011 15:25:53 -0800 |
Scott Morrison |
minor changes to kevin's new paragraphs
|
changeset |
files
|
Mon, 10 Jan 2011 14:18:52 -0800 |
Scott Morrison |
fixing the broken references introduced during my abortive edits yesterday in sydney
|
changeset |
files
|
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.
|
changeset |
files
|
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)
|
changeset |
files
|
Fri, 07 Jan 2011 14:19:50 -0800 |
Kevin Walker |
added subsection to intro about n-cat terminology; have not yet actually changed terminology in the rest of the paper
|
changeset |
files
|
Fri, 07 Jan 2011 12:41:45 -0800 |
Kevin Walker |
add citation to R. Brown and U. Tillman
|
changeset |
files
|
Fri, 07 Jan 2011 09:08:15 -0800 |
Kevin Walker |
summary of data and properties for n-cats
|
changeset |
files
|
Thu, 06 Jan 2011 23:10:55 -0800 |
Kevin Walker |
mention n+1-cat of sphere modules in intro
|
changeset |
files
|
Thu, 06 Jan 2011 22:56:31 -0800 |
Kevin Walker |
plain n-cat -> ordinary n-cat
|
changeset |
files
|
Thu, 06 Jan 2011 22:47:06 -0800 |
Kevin Walker |
compatibility of first and last n-cat axioms; mention stricter variant of last axiom
|
changeset |
files
|
Mon, 27 Dec 2010 11:29:54 -0800 |
Kevin Walker |
remove tillmann "personal communication" bib entry per PNAS policy
|
changeset |
files
|
Tue, 07 Dec 2010 15:09:29 -0600 |
Scott Morrison |
reformatting bibliography for PNAS
|
changeset |
files
|
Mon, 06 Dec 2010 11:57:19 -0600 |
Scott Morrison |
moving everything into one directory for PNAS submission, and externalizing TikZ
|
changeset |
files
|
Fri, 03 Dec 2010 19:11:40 -0600 |
Scott Morrison |
merging preamble into the main file
|
changeset |
files
|
Fri, 03 Dec 2010 19:04:17 -0600 |
Scott Morrison |
deleting unused diagram
|
changeset |
files
|
Fri, 03 Dec 2010 18:42:13 -0600 |
Scott Morrison |
switching in local bibliography
|
changeset |
files
|
Tue, 30 Nov 2010 11:33:26 -0800 |
Scott Morrison |
preferring pivotal over 'strong duality'. may want to search for 'duality' and think about phrasing...
|
changeset |
files
|
Tue, 30 Nov 2010 11:30:33 -0800 |
Scott Morrison |
plain -> ordinary
|
changeset |
files
|
Tue, 30 Nov 2010 11:24:05 -0800 |
Scott Morrison |
adding a sentence about types of decompositions of manifolds, including a cite to kirillov. Feel free to revert.
|
changeset |
files
|
Tue, 30 Nov 2010 11:07:24 -0800 |
Scott Morrison |
minor changes to abstract, and blob diagrams
|
changeset |
files
|
Mon, 29 Nov 2010 10:01:34 -0700 |
Kevin Walker |
minor
|
changeset |
files
|
Wed, 24 Nov 2010 09:57:41 -0700 |
Kevin Walker |
more string diagram / field nonsense
|
changeset |
files
|
Wed, 24 Nov 2010 09:51:28 -0700 |
Kevin Walker |
move Lurie-comparison paragraph to n-cat section
|
changeset |
files
|
Tue, 23 Nov 2010 09:28:45 -0800 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Tue, 23 Nov 2010 09:28:41 -0800 |
Scott Morrison |
adding cite to tillmann
|
changeset |
files
|
Mon, 22 Nov 2010 19:42:06 -0700 |
Kevin Walker |
that's all for tonight
|
changeset |
files
|
Mon, 22 Nov 2010 17:55:32 -0700 |
Kevin Walker |
part way done with post phone call edits
|
changeset |
files
|
Mon, 22 Nov 2010 13:40:40 -0800 |
Scott Morrison |
more proofreading changes
|
changeset |
files
|
Mon, 22 Nov 2010 12:19:53 -0800 |
Scott Morrison |
minor, on enrichment
|
changeset |
files
|
Mon, 22 Nov 2010 11:56:18 -0700 |
Kevin Walker |
2nd installment of changes from proof-read
|
changeset |
files
|
Mon, 22 Nov 2010 09:46:07 -0700 |
Kevin Walker |
changes from proof-read, 1st installment
|
changeset |
files
|
Mon, 22 Nov 2010 09:02:17 -0700 |
Kevin Walker |
fixing single quotes and long lines
|
changeset |
files
|
Sun, 21 Nov 2010 15:24:53 -0800 |
Scott Morrison |
some more fixes in the colimit section
|
changeset |
files
|
Sun, 21 Nov 2010 15:09:24 -0800 |
Scott Morrison |
trying out 'isotopy n-category', and explaining the difference better
|
changeset |
files
|
Sun, 21 Nov 2010 14:47:58 -0800 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Sun, 21 Nov 2010 14:47:54 -0800 |
Scott Morrison |
minor
|
changeset |
files
|
Fri, 19 Nov 2010 15:02:04 -0800 |
Scott Morrison |
minor changes from proofreading
|
changeset |
files
|
Thu, 18 Nov 2010 12:06:17 -0800 |
Kevin Walker |
line breaks
|
changeset |
files
|
Thu, 18 Nov 2010 10:58:46 -0800 |
Scott Morrison |
first cut of an abstract
|
changeset |
files
|
Thu, 18 Nov 2010 10:52:38 -0800 |
Scott Morrison |
minor
|
changeset |
files
|
Thu, 18 Nov 2010 10:45:52 -0800 |
Scott Morrison |
plain ---> linear
|
changeset |
files
|
Thu, 18 Nov 2010 10:43:06 -0800 |
Scott Morrison |
writing a bit more about colimits. I'm not doing a good job of this
|
changeset |
files
|
Thu, 18 Nov 2010 00:15:04 -0800 |
Scott Morrison |
epsilon
|
changeset |
files
|
Wed, 17 Nov 2010 16:30:24 -0800 |
Kevin Walker |
unoriented <=> oriented
|
changeset |
files
|
Wed, 17 Nov 2010 15:48:20 -0800 |
Scott Morrison |
minor changes in introduction
|
changeset |
files
|
Wed, 17 Nov 2010 15:24:09 -0800 |
Scott Morrison |
citing rozansky for s2 x s1: is there actually a paper by khovanov about this?
|
changeset |
files
|
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
|
Tue, 16 Nov 2010 14:49:17 -0800 |
Scott Morrison |
adding Gerstenhaber-Voronov, explicitly not proving the mapping spaces result, and slight tweaks
|
changeset |
files
|
Mon, 15 Nov 2010 08:15:28 -0800 |
Kevin Walker |
finish deligne section; misc
|
changeset |
files
|
Sun, 14 Nov 2010 23:13:40 -0800 |
Kevin Walker |
more on deligne
|
changeset |
files
|
Sun, 14 Nov 2010 22:54:29 -0800 |
Kevin Walker |
starting on Deligne section
|
changeset |
files
|
Sun, 14 Nov 2010 19:25:16 -0800 |
Kevin Walker |
misc
|
changeset |
files
|
Sun, 14 Nov 2010 18:33:03 -0800 |
Kevin Walker |
proof of product thm
|
changeset |
files
|
Sun, 14 Nov 2010 17:28:04 -0800 |
Scott Morrison |
minor tweaks in sketch proofs
|
changeset |
files
|
Sun, 14 Nov 2010 16:33:36 -0800 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Sun, 14 Nov 2010 16:33:18 -0800 |
Kevin Walker |
adding some proof sketches
|
changeset |
files
|
Sun, 14 Nov 2010 16:14:43 -0800 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Sun, 14 Nov 2010 16:14:37 -0800 |
Kevin Walker |
minor
|
changeset |
files
|
Sun, 14 Nov 2010 16:10:31 -0800 |
Kevin Walker |
minor
|
changeset |
files
|
Sun, 14 Nov 2010 16:15:17 -0800 |
Scott Morrison |
hopefully preamble commands should all be okay again
|
changeset |
files
|
Sun, 14 Nov 2010 16:13:12 -0800 |
Scott Morrison |
various minor, and moving mapping spaces to 'specializations'
|
changeset |
files
|
Sun, 14 Nov 2010 16:02:06 -0800 |
Scott Morrison |
oops, unbreaking stuff
|
changeset |
files
|
Sun, 14 Nov 2010 16:00:35 -0800 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Sun, 14 Nov 2010 15:45:26 -0800 |
Scott Morrison |
bordism example
|
changeset |
files
|
Sun, 14 Nov 2010 15:39:03 -0800 |
Scott Morrison |
futzing with preambles
|
changeset |
files
|
Sun, 14 Nov 2010 15:54:11 -0800 |
Kevin Walker |
misc
|
changeset |
files
|
Sun, 14 Nov 2010 15:01:53 -0800 |
Kevin Walker |
proof for CH_* action
|
changeset |
files
|
Sat, 13 Nov 2010 20:58:40 -0800 |
Scott Morrison |
minor, during call
|
changeset |
files
|
Sat, 13 Nov 2010 20:58:23 -0800 |
Scott Morrison |
minor, during call
|
changeset |
files
|
Sat, 13 Nov 2010 13:26:29 -0800 |
Kevin Walker |
minor
|
changeset |
files
|
Sat, 13 Nov 2010 13:23:22 -0800 |
Kevin Walker |
intro to more concrete \bc_* definition and misc
|
changeset |
files
|
Sat, 13 Nov 2010 12:14:55 -0800 |
Kevin Walker |
definition of collar maps
|
changeset |
files
|
Fri, 12 Nov 2010 15:07:00 -0800 |
Scott Morrison |
changing title
|
changeset |
files
|
Fri, 12 Nov 2010 14:34:16 -0800 |
Scott Morrison |
writing intro; just an expanded version of the existing notes, feel free to savage
|
changeset |
files
|
Fri, 12 Nov 2010 10:49:09 -0800 |
Scott Morrison |
minor changes to cone-product polyhedra discussion
|
changeset |
files
|
Thu, 11 Nov 2010 20:45:33 -0800 |
Kevin Walker |
Examples and misc.; quality of writing perhaps not so great.
|
changeset |
files
|
Thu, 11 Nov 2010 17:50:28 -0800 |
Scott Morrison |
various
|
changeset |
files
|
Thu, 11 Nov 2010 15:48:47 -0800 |
Scott Morrison |
writing inconclusively about homotopy colimits, but have to run
|
changeset |
files
|
Tue, 09 Nov 2010 17:48:16 -0800 |
Kevin Walker |
fixing typo
|
changeset |
files
|
Wed, 10 Nov 2010 10:40:29 +0900 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Tue, 09 Nov 2010 14:22:02 +0900 |
Scott Morrison |
making pinched products axioms terser, and writing a short proof of the higher deligne conjecture
|
changeset |
files
|
Tue, 09 Nov 2010 14:03:58 +0900 |
Scott Morrison |
adding some figures for the axioms
|
changeset |
files
|
Mon, 08 Nov 2010 10:23:10 +0900 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Mon, 08 Nov 2010 10:22:02 +0900 |
Scott Morrison |
fixing labels on mapping-cylinders.pdf (R_1 and R_2 reversed)
|
changeset |
files
|
Thu, 04 Nov 2010 17:02:06 +0900 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Thu, 04 Nov 2010 17:01:56 +0900 |
Scott Morrison |
merging changes
|
changeset |
files
|
Fri, 29 Oct 2010 11:42:35 +0900 |
Scott Morrison |
a few changes, maybe bad ones...
|
changeset |
files
|
Fri, 29 Oct 2010 11:37:00 +0900 |
Scott Morrison |
fixing a type
|
changeset |
files
|
Tue, 02 Nov 2010 06:38:40 -0700 |
Kevin Walker |
enrichment; decompositions (meta)
|
changeset |
files
|
Tue, 02 Nov 2010 06:18:43 -0700 |
Kevin Walker |
restore and complete the fragment
|
changeset |
files
|
Tue, 02 Nov 2010 21:22:53 +0900 |
Scott Morrison |
various, mostly working on axioms
|
changeset |
files
|
Tue, 02 Nov 2010 08:41:11 +0900 |
Scott Morrison |
minor
|
changeset |
files
|
Mon, 01 Nov 2010 08:40:51 -0700 |
Kevin Walker |
misc
|
changeset |
files
|
Sun, 31 Oct 2010 22:56:33 -0700 |
Kevin Walker |
minor
|
changeset |
files
|
Sun, 31 Oct 2010 15:14:36 -0700 |
Kevin Walker |
some n-cat motivation
|
changeset |
files
|
Sun, 31 Oct 2010 20:41:53 +0900 |
Scott Morrison |
k-blobs for small k, and blob cochains
|
changeset |
files
|
Sun, 31 Oct 2010 20:15:44 +0900 |
Scott Morrison |
minor
|
changeset |
files
|
Wed, 27 Oct 2010 21:36:29 +0900 |
Scott Morrison |
minor
|
changeset |
files
|
Wed, 27 Oct 2010 00:08:11 -0700 |
Scott Morrison |
out of battery. writing a little about the deligne conjecture
|
changeset |
files
|
Tue, 26 Oct 2010 23:56:33 -0700 |
Scott Morrison |
oops, missing paren in deligne.tex
|
changeset |
files
|
Tue, 26 Oct 2010 23:47:07 -0700 |
Scott Morrison |
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
|
changeset |
files
|
Mon, 25 Oct 2010 14:01:33 -0700 |
Scott Morrison |
minor edits and cleanup
|
changeset |
files
|
Mon, 25 Oct 2010 13:36:12 -0700 |
Scott Morrison |
starting on cell decompositions
|
changeset |
files
|
Mon, 25 Oct 2010 13:08:15 -0700 |
Scott Morrison |
incorporating statements of results in PNAS article
|
changeset |
files
|
Sun, 24 Oct 2010 22:48:18 -0700 |
Scott Morrison |
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
|
changeset |
files
|
Sun, 24 Oct 2010 22:47:43 -0700 |
Scott Morrison |
minor changes to preambles
|
changeset |
files
|
Sun, 24 Oct 2010 22:46:53 -0700 |
Scott Morrison |
hg-ignoring pnas.pdf et al.
|
changeset |
files
|
Sun, 24 Oct 2010 22:21:55 -0700 |
Scott Morrison |
removing the (unused) \pr command, because PNAS didn't like it
|
changeset |
files
|
Sun, 24 Oct 2010 22:20:40 -0700 |
Scott Morrison |
renaming variables to avoid PNAS conflicts
|
changeset |
files
|
Sun, 24 Oct 2010 22:03:42 -0700 |
Scott Morrison |
PNAS style files, and template
|
changeset |
files
|
Thu, 30 Sep 2010 09:13:27 -0700 |
Scott Morrison |
restoring arxiv number
|
changeset |
files
|
Wed, 29 Sep 2010 23:06:44 -0700 |
Scott Morrison |
arxiv number
|
changeset |
files
|
Mon, 27 Sep 2010 21:09:07 -0700 |
Scott Morrison |
fixing external graphic
|
changeset |
files
|
Mon, 27 Sep 2010 21:07:29 -0700 |
Scott Morrison |
adding arxiv number at the end of the paper
|
changeset |
files
|
Mon, 27 Sep 2010 20:57:02 -0700 |
Scott Morrison |
last minute changes from friday, to submit to the arxiv
|
changeset |
files
|
Fri, 24 Sep 2010 15:32:55 -0700 |
Scott Morrison |
friday afternoon
|
changeset |
files
|
Thu, 23 Sep 2010 18:10:35 -0700 |
Kevin Walker |
assoc of n+1
|
changeset |
files
|
Thu, 23 Sep 2010 13:08:25 -0700 |
Kevin Walker |
added abstract; other misc minor stuff
|
changeset |
files
|
Thu, 23 Sep 2010 12:34:16 -0700 |
Kevin Walker |
resolving two more nns
|
changeset |
files
|
Thu, 23 Sep 2010 10:03:26 -0700 |
Kevin Walker |
fat graph -> surgery cylinder
|
changeset |
files
|
Wed, 22 Sep 2010 20:42:47 -0700 |
Kevin Walker |
making "no functors" excuses; other minor stuff
|
changeset |
files
|
Wed, 22 Sep 2010 19:01:41 -0700 |
Kevin Walker |
minor
|
changeset |
files
|
Wed, 22 Sep 2010 07:26:15 -0700 |
Kevin Walker |
killing commutative alg appendix
|
changeset |
files
|
Tue, 21 Sep 2010 22:39:17 -0700 |
Kevin Walker |
misc
|
changeset |
files
|
Tue, 21 Sep 2010 17:28:14 -0700 |
Scott Morrison |
remaining changes from tuesday afternoon
|
changeset |
files
|
Tue, 21 Sep 2010 14:44:17 -0700 |
Scott Morrison |
deleting nn's
|
changeset |
files
|
Tue, 21 Sep 2010 07:37:41 -0700 |
Kevin Walker |
minor
|
changeset |
files
|
Mon, 20 Sep 2010 17:53:15 -0700 |
Kevin Walker |
addressing some of Scott's comments on CH_* action proof
|
changeset |
files
|
Mon, 20 Sep 2010 14:32:24 -0700 |
Kevin Walker |
minor: futzing with font size in 2 figs
|
changeset |
files
|
Mon, 20 Sep 2010 10:24:17 -0700 |
Kevin Walker |
new def of mophisms between modules
|
changeset |
files
|
Mon, 20 Sep 2010 06:39:25 -0700 |
Kevin Walker |
replacing "sort-of-simplicial" -> "cone-product", although I was rather fond of "sort-of-simplicial"; this isn't kvetching about your comment -- I was already planning on axing "sort-of-simplicial"
|
changeset |
files
|
Mon, 20 Sep 2010 06:10:49 -0700 |
Kevin Walker |
breaking lines, and one other minor comment
|
changeset |
files
|
Sun, 19 Sep 2010 23:15:21 -0700 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Sun, 19 Sep 2010 23:14:41 -0700 |
Kevin Walker |
preparing for new def of morphisms of a-ing 1-cat modules
|
changeset |
files
|
Sun, 19 Sep 2010 23:11:59 -0500 |
Scott Morrison |
hopefully getting signs right in Lemma 6.3
|
changeset |
files
|
Sun, 19 Sep 2010 23:01:49 -0500 |
Scott Morrison |
fixing some subscripts associated to homotopies
|
changeset |
files
|
Sun, 19 Sep 2010 22:57:10 -0500 |
Scott Morrison |
various changes to \S 6.1
|
changeset |
files
|
Sun, 19 Sep 2010 22:29:29 -0500 |
Scott Morrison |
minor
|
changeset |
files
|
Wed, 15 Sep 2010 13:33:47 -0500 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Wed, 15 Sep 2010 13:33:40 -0500 |
Scott Morrison |
minor
|
changeset |
files
|
Wed, 15 Sep 2010 13:33:14 -0500 |
Scott Morrison |
numbering axioms and module axioms as 7.x
|
changeset |
files
|
Wed, 15 Sep 2010 13:30:15 -0500 |
Scott Morrison |
fixing label on deligne figure
|
changeset |
files
|
Wed, 15 Sep 2010 11:27:12 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Wed, 15 Sep 2010 11:27:07 -0700 |
Scott Morrison |
fixing deligne figure
|
changeset |
files
|
Thu, 02 Sep 2010 23:11:38 -0700 |
Kevin Walker |
proof of injectivity/colimit lemma
|
changeset |
files
|
Wed, 01 Sep 2010 13:34:21 -0700 |
Kevin Walker |
futzing with figures (\begin{center|equation} to \centering)
|
changeset |
files
|
Tue, 31 Aug 2010 21:09:31 -0700 |
Kevin Walker |
minor
|
changeset |
files
|
Tue, 31 Aug 2010 11:18:26 -0700 |
Kevin Walker |
minor; resolving a few \nns
|
changeset |
files
|
Mon, 30 Aug 2010 13:19:05 -0700 |
Kevin Walker |
finished 2nd pass on evmap
|
changeset |
files
|
Mon, 30 Aug 2010 08:54:01 -0700 |
Kevin Walker |
revisions of evmap; misc
|
changeset |
files
|
Sat, 28 Aug 2010 17:34:20 -0700 |
Kevin Walker |
starting to finish fiber bundle stuff
|
changeset |
files
|
Fri, 27 Aug 2010 15:36:21 -0700 |
Kevin Walker |
finished 1st draft of new evmap section; commented out older versions
|
changeset |
files
|
Fri, 27 Aug 2010 10:58:21 -0700 |
Kevin Walker |
more on evmap
|
changeset |
files
|
Thu, 26 Aug 2010 13:20:13 -0700 |
Kevin Walker |
misc
|
changeset |
files
|
Wed, 25 Aug 2010 22:58:41 -0700 |
Kevin Walker |
local contractibility for SOSS blob complex
|
changeset |
files
|
Wed, 25 Aug 2010 14:20:31 -0700 |
Kevin Walker |
minor
|
changeset |
files
|
Tue, 24 Aug 2010 21:18:50 -0700 |
Kevin Walker |
first draft of new sm blobs; needs to be proof-read and revised
|
changeset |
files
|
Tue, 24 Aug 2010 18:05:28 -0700 |
Kevin Walker |
supress warnings about PDF 1.5
|
changeset |
files
|
Tue, 24 Aug 2010 16:50:13 -0700 |
Kevin Walker |
more small blob stuff
|
changeset |
files
|
Tue, 24 Aug 2010 11:40:34 -0700 |
Kevin Walker |
making latest available to office computer
|
changeset |
files
|
Mon, 23 Aug 2010 21:19:55 -0700 |
Kevin Walker |
more on small blobs
|
changeset |
files
|
Sun, 22 Aug 2010 21:10:39 -0700 |
Kevin Walker |
starting yet again on evmap
|
changeset |
files
|
Wed, 18 Aug 2010 22:33:57 -0700 |
Kevin Walker |
intro to evmap
|
changeset |
files
|
Wed, 18 Aug 2010 21:05:50 -0700 |
Kevin Walker |
fixing some (but not all!?) of the hyperref warnings; start on revision of evmap
|
changeset |
files
|
Tue, 03 Aug 2010 21:45:10 -0600 |
Kevin Walker |
no more new pages for sections
|
changeset |
files
|
Tue, 03 Aug 2010 21:34:57 -0600 |
Kevin Walker |
more figures
|
changeset |
files
|
Tue, 03 Aug 2010 17:07:50 -0600 |
Kevin Walker |
another fig
|
changeset |
files
|
Tue, 03 Aug 2010 13:40:09 -0600 |
Kevin Walker |
adding tikz fig
|
changeset |
files
|
Tue, 03 Aug 2010 12:48:03 -0600 |
Kevin Walker |
change appearance of hyperrefs
|
changeset |
files
|
Fri, 30 Jul 2010 20:19:17 -0400 |
Kevin Walker |
misc
|
changeset |
files
|
Fri, 30 Jul 2010 18:36:08 -0400 |
Kevin Walker |
sphere module n+1 mor stuff
|
changeset |
files
|
Fri, 30 Jul 2010 14:19:23 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Fri, 30 Jul 2010 14:19:11 -0700 |
Scott Morrison |
straight lines in figure 42
|
changeset |
files
|
Fri, 30 Jul 2010 08:36:25 -0400 |
Kevin Walker |
misc comm_alg edits
|
changeset |
files
|
Thu, 29 Jul 2010 22:44:21 -0400 |
Kevin Walker |
minor
|
changeset |
files
|
Thu, 29 Jul 2010 21:44:49 -0400 |
Kevin Walker |
temporarily done with MOAM
|
changeset |
files
|
Thu, 29 Jul 2010 19:48:59 -0400 |
Kevin Walker |
start on MOAM appendix
|
changeset |
files
|
Wed, 28 Jul 2010 13:39:52 -0700 |
Scott Morrison |
diagram for producing weak identities
|
changeset |
files
|
Wed, 28 Jul 2010 12:53:16 -0700 |
Scott Morrison |
YxI sliced open diagram
|
changeset |
files
|
Wed, 28 Jul 2010 12:27:24 -0700 |
Scott Morrison |
TOC doesn't need its own new page
|
changeset |
files
|
Wed, 28 Jul 2010 12:27:08 -0700 |
Scott Morrison |
removing illustrator cruft from diagrams
|
changeset |
files
|
Wed, 28 Jul 2010 12:16:27 -0700 |
Scott Morrison |
many small fixes in ncat.tex
|
changeset |
files
|
Wed, 28 Jul 2010 12:15:58 -0700 |
Scott Morrison |
starting sections on new pages? not sure...
|
changeset |
files
|
Wed, 28 Jul 2010 11:33:41 -0700 |
Scott Morrison |
put in a stub appendix for MoAM, but I'm going to go do other things next
|
changeset |
files
|
Wed, 28 Jul 2010 11:26:41 -0700 |
Scott Morrison |
minor
|
changeset |
files
|
Wed, 28 Jul 2010 11:20:28 -0700 |
Scott Morrison |
changing all the \cC's to \cF's in blobdef
|
changeset |
files
|
Wed, 28 Jul 2010 11:16:36 -0700 |
Scott Morrison |
trying to talk about restrictions to twig blobs precisely, but the currently text is clunky
|
changeset |
files
|
Tue, 27 Jul 2010 21:20:32 -0400 |
Kevin Walker |
z sin -> z^2 sin (make it C^1 at least)
|
changeset |
files
|
Tue, 27 Jul 2010 15:29:45 -0700 |
Scott Morrison |
some improvements to blobdef, including the z sin(1/z) example
|
changeset |
files
|
Tue, 27 Jul 2010 15:04:57 -0700 |
Scott Morrison |
shortening title of basic properties
|
changeset |
files
|
Tue, 27 Jul 2010 15:04:46 -0700 |
Scott Morrison |
tweaks to intro: adding traditional n-categories to the diagram of gadgets, rearranging mention of exactness
|
changeset |
files
|
Tue, 27 Jul 2010 15:01:38 -0400 |
Kevin Walker |
done with intro for now
|
changeset |
files
|
Tue, 27 Jul 2010 09:30:53 -0400 |
Kevin Walker |
oops, sort of
|
changeset |
files
|
Tue, 27 Jul 2010 09:25:38 -0400 |
Kevin Walker |
more revisions of intro
|
changeset |
files
|
Mon, 26 Jul 2010 22:57:43 -0400 |
Kevin Walker |
starting to revise intro
|
changeset |
files
|
Fri, 23 Jul 2010 20:13:19 -0600 |
Kevin Walker |
a-inf comparison tweaks
|
changeset |
files
|
Fri, 23 Jul 2010 13:52:30 -0700 |
Scott Morrison |
some modifications to blobdef
|
changeset |
files
|
Fri, 23 Jul 2010 08:14:27 -0600 |
Kevin Walker |
hochschild.tex -- minor clean-up
|
changeset |
files
|
Thu, 22 Jul 2010 19:32:40 -0600 |
Kevin Walker |
radically shorter a-inf appendix
|
changeset |
files
|
Thu, 22 Jul 2010 16:16:58 -0600 |
Kevin Walker |
dual module (non-)definition; other minor stuff
|
changeset |
files
|
Thu, 22 Jul 2010 15:35:26 -0600 |
Kevin Walker |
redefine "permissible decomp", and other changes to ntcat.tex; should be read
|
changeset |
files
|
Thu, 22 Jul 2010 13:22:34 -0600 |
Kevin Walker |
blobdef.tex
|
changeset |
files
|
Thu, 22 Jul 2010 12:20:42 -0600 |
Kevin Walker |
resolving conflict
|
changeset |
files
|
Thu, 22 Jul 2010 11:41:21 -0600 |
Kevin Walker |
prelim blobdef.tex; committing now in anticipation Scott's further edits
|
changeset |
files
|
Thu, 22 Jul 2010 07:19:19 -0600 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Wed, 21 Jul 2010 16:56:34 -0600 |
Kevin Walker |
start on comm alg appendix
|
changeset |
files
|
Wed, 21 Jul 2010 10:29:23 -0600 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Wed, 21 Jul 2010 10:29:16 -0600 |
Kevin Walker |
minor leftover
|
changeset |
files
|
Thu, 22 Jul 2010 09:48:51 -0700 |
Scott Morrison |
minor adjustments to blobdef
|
changeset |
files
|
Thu, 22 Jul 2010 00:42:09 -0700 |
Scott Morrison |
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
|
changeset |
files
|
Wed, 21 Jul 2010 21:49:32 -0700 |
Scott Morrison |
starting in on ball decompositions, very formal looking at the moment without much help to the reader.
|
changeset |
files
|
Tue, 20 Jul 2010 17:05:53 -0700 |
Scott Morrison |
fiddling inconclusively with 'decomposition into balls'
|
changeset |
files
|
Mon, 19 Jul 2010 15:56:09 -0600 |
Kevin Walker |
oops
|
changeset |
files
|
Mon, 19 Jul 2010 15:54:12 -0600 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Mon, 19 Jul 2010 15:53:31 -0600 |
Kevin Walker |
changing simplex terminology for hocolimit (no more "degree")
|
changeset |
files
|
Mon, 19 Jul 2010 14:41:05 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Mon, 19 Jul 2010 14:40:43 -0700 |
Scott Morrison |
updating timestamp, to test emails
|
changeset |
files
|
Mon, 19 Jul 2010 15:38:35 -0600 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Mon, 19 Jul 2010 15:38:18 -0600 |
Kevin Walker |
comparing_defs.tex 2-cat section
|
changeset |
files
|
Mon, 19 Jul 2010 12:27:19 -0700 |
Scott Morrison |
filtration -> simplex, and another diagram
|
changeset |
files
|
Mon, 19 Jul 2010 12:26:59 -0700 |
Scott Morrison |
committing partial defn for 'ball decomposition', so I can change computer
|
changeset |
files
|
Mon, 19 Jul 2010 08:43:02 -0700 |
Scott Morrison |
removing superscripts from \bc
|
changeset |
files
|
Mon, 19 Jul 2010 08:42:24 -0700 |
Scott Morrison |
weaking thm:CH for iterated homotopy
|
changeset |
files
|
Mon, 19 Jul 2010 08:21:06 -0700 |
Scott Morrison |
minor fixes in smallblobs
|
changeset |
files
|
Mon, 19 Jul 2010 07:45:26 -0600 |
Kevin Walker |
starting on comparing_defs.tex
|
changeset |
files
|
Sun, 18 Jul 2010 18:26:05 -0600 |
Kevin Walker |
oops
|
changeset |
files
|
Sun, 18 Jul 2010 18:23:31 -0600 |
Kevin Walker |
done with deligne.tex (for now)
|
changeset |
files
|
Sun, 18 Jul 2010 11:07:47 -0600 |
Kevin Walker |
done with a-inf section for now
|
changeset |
files
|
Sun, 18 Jul 2010 08:07:50 -0600 |
Kevin Walker |
more a-inf section
|
changeset |
files
|
Sat, 17 Jul 2010 20:57:46 -0600 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
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
|
changeset |
files
|
Fri, 16 Jul 2010 17:24:20 -0600 |
Scott Morrison |
upending the tent
|
changeset |
files
|
Fri, 16 Jul 2010 17:18:02 -0600 |
Scott Morrison |
tikzing two diagrams
|
changeset |
files
|
Fri, 16 Jul 2010 13:23:15 -0600 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Fri, 16 Jul 2010 13:23:07 -0600 |
Scott Morrison |
spelling
|
changeset |
files
|
Wed, 14 Jul 2010 11:08:12 -0600 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Wed, 14 Jul 2010 11:06:40 -0600 |
Kevin Walker |
mostly (entirely?) ncat revisions
|
changeset |
files
|
Wed, 14 Jul 2010 11:06:20 -0600 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Wed, 14 Jul 2010 11:06:11 -0600 |
Scott Morrison |
revisions to \S 1-5
|
changeset |
files
|
Tue, 13 Jul 2010 12:47:58 -0600 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Tue, 13 Jul 2010 12:47:49 -0600 |
Kevin Walker |
ncat - minor
|
changeset |
files
|
Mon, 12 Jul 2010 21:08:14 -0600 |
Kevin Walker |
minor evmap stuff
|
changeset |
files
|
Mon, 12 Jul 2010 21:46:32 -0600 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Mon, 05 Jul 2010 10:27:51 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Mon, 05 Jul 2010 10:27:45 -0700 |
Scott Morrison |
minor
|
changeset |
files
|
Mon, 12 Jul 2010 17:29:25 -0600 |
Scott Morrison |
small changes to evmap.tex
|
changeset |
files
|
Mon, 12 Jul 2010 10:17:57 -0600 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Mon, 12 Jul 2010 10:17:52 -0600 |
Scott Morrison |
removing some todo items
|
changeset |
files
|
Sun, 11 Jul 2010 21:43:02 -0600 |
Kevin Walker |
bump version and date
|
changeset |
files
|
Sun, 11 Jul 2010 14:38:48 -0600 |
Kevin Walker |
search & replace: s/((sub?)section|appendix)\s+\\ref/\S\ref/
|
changeset |
files
|
Sun, 11 Jul 2010 14:31:56 -0600 |
Kevin Walker |
ncat misc
|
changeset |
files
|
Sat, 10 Jul 2010 12:30:09 -0600 |
Kevin Walker |
ncat.tex mostly module stuff
|
changeset |
files
|
Thu, 08 Jul 2010 08:36:34 -0600 |
Kevin Walker |
ncat: module def
|
changeset |
files
|
Wed, 07 Jul 2010 11:07:48 -0600 |
Kevin Walker |
more ncat (colimits)
|
changeset |
files
|
Wed, 07 Jul 2010 10:17:30 -0600 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Wed, 07 Jul 2010 10:17:21 -0600 |
Scott Morrison |
minor
|
changeset |
files
|
Wed, 07 Jul 2010 08:47:50 -0600 |
Kevin Walker |
a few more ncat revisions
|
changeset |
files
|
Mon, 05 Jul 2010 07:47:23 -0600 |
Kevin Walker |
revisions of n-cat examples
|
changeset |
files
|
Sun, 04 Jul 2010 23:32:48 -0600 |
Kevin Walker |
making quotation marks consistently "American style"
|
changeset |
files
|
Sun, 04 Jul 2010 13:15:03 -0600 |
Kevin Walker |
more ncat section
|
changeset |
files
|
Sun, 04 Jul 2010 11:56:23 -0600 |
Kevin Walker |
starting to revise ncat section
|
changeset |
files
|
Sat, 03 Jul 2010 19:59:25 -0600 |
Kevin Walker |
bump version
|
changeset |
files
|
Sat, 03 Jul 2010 19:57:58 -0600 |
Kevin Walker |
misc
|
changeset |
files
|
Sat, 03 Jul 2010 15:14:24 -0600 |
Kevin Walker |
done with tqftreview.tex for now
|
changeset |
files
|
Sat, 03 Jul 2010 13:19:15 -0600 |
Kevin Walker |
starting to work on tqdftreview.tex
|
changeset |
files
|
Wed, 30 Jun 2010 08:55:46 -0700 |
Kevin Walker |
minor
|
changeset |
files
|
Mon, 28 Jun 2010 10:03:13 -0700 |
Kevin Walker |
mostly hochschild stuff
|
changeset |
files
|
Mon, 28 Jun 2010 08:54:36 -0700 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Sun, 27 Jun 2010 13:11:00 -0700 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Sun, 27 Jun 2010 13:10:53 -0700 |
Kevin Walker |
minor -- only committing so that I can fetch
|
changeset |
files
|
Sun, 27 Jun 2010 19:04:53 -0700 |
Scott Morrison |
minor
|
changeset |
files
|
Sun, 27 Jun 2010 13:41:43 -0700 |
Scott Morrison |
fixing problem in build script
|
changeset |
files
|
Sun, 27 Jun 2010 12:53:11 -0700 |
Scott Morrison |
looking at the Hochschild section
|
changeset |
files
|
Sun, 27 Jun 2010 12:28:06 -0700 |
Scott Morrison |
a bunch of minor changes
|
changeset |
files
|
Sat, 26 Jun 2010 17:22:53 -0700 |
Scott Morrison |
Making notation in the product theorem more consistent.
|
changeset |
files
|
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.
|
changeset |
files
|
Fri, 25 Jun 2010 09:48:24 -0700 |
Kevin Walker |
minor
|
changeset |
files
|
Thu, 24 Jun 2010 14:21:51 -0400 |
Scott Morrison |
edits to sphere-modules stuff: some todos added
|
changeset |
files
|
Thu, 24 Jun 2010 14:21:20 -0400 |
Scott Morrison |
starting to fix the 'large coupons' problem in smallblobs
|
changeset |
files
|
Thu, 24 Jun 2010 14:20:38 -0400 |
Scott Morrison |
cross-references for the small blobs lemma
|
changeset |
files
|
Thu, 24 Jun 2010 10:17:19 -0400 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Thu, 24 Jun 2010 10:16:36 -0400 |
Scott Morrison |
final version of talk
|
changeset |
files
|
Wed, 23 Jun 2010 22:43:26 -0700 |
Kevin Walker |
figures for n+1-cat
|
changeset |
files
|
Wed, 23 Jun 2010 18:37:25 -0700 |
Kevin Walker |
finished def of sphere module n+1-cat
|
changeset |
files
|
Wed, 23 Jun 2010 09:41:10 -0700 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Wed, 23 Jun 2010 09:41:03 -0700 |
Kevin Walker |
define compatible familty of non-degenerate IPs
|
changeset |
files
|
Wed, 23 Jun 2010 10:54:42 -0400 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Wed, 23 Jun 2010 10:54:29 -0400 |
Scott Morrison |
tweaks to talk
|
changeset |
files
|
Tue, 22 Jun 2010 22:19:16 -0700 |
Kevin Walker |
sphere modules (in progress)
|
changeset |
files
|
Tue, 22 Jun 2010 18:56:51 -0700 |
Kevin Walker |
misc
|
changeset |
files
|
Tue, 22 Jun 2010 18:05:09 -0700 |
Kevin Walker |
refinement of ev map statement needed for small blobs
|
changeset |
files
|
Mon, 21 Jun 2010 15:28:02 -0700 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Sun, 20 Jun 2010 12:53:40 -0700 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Fri, 18 Jun 2010 21:17:39 -0700 |
Kevin Walker |
another tikz experiment
|
changeset |
files
|
Fri, 18 Jun 2010 21:13:02 -0700 |
Kevin Walker |
experiment with tikz colors
|
changeset |
files
|
Mon, 21 Jun 2010 14:57:16 -0400 |
Scott Morrison |
updating talk, more about n-categories
|
changeset |
files
|
Sun, 20 Jun 2010 12:43:11 -0700 |
Scott Morrison |
some updates for a longer talk
|
changeset |
files
|
Sun, 20 Jun 2010 11:00:57 -0700 |
Scott Morrison |
moving files around for a talk in Stony Brook
|
changeset |
files
|
Sun, 20 Jun 2010 11:00:26 -0700 |
Scott Morrison |
removing already prepared figure photo
|
changeset |
files
|
Thu, 17 Jun 2010 21:31:29 -0700 |
Scott Morrison |
last deligne figure
|
changeset |
files
|
Thu, 17 Jun 2010 21:17:42 -0700 |
Scott Morrison |
finished rearranging diagrams directory
|
changeset |
files
|
Thu, 17 Jun 2010 21:16:05 -0700 |
Scott Morrison |
removing superfluous stuff from the diagrams directory
|
changeset |
files
|
Thu, 17 Jun 2010 20:53:09 -0700 |
Scott Morrison |
another deligne figure done
|
changeset |
files
|
Thu, 17 Jun 2010 12:48:26 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Thu, 17 Jun 2010 12:35:32 -0700 |
Scott Morrison |
oops, deleted wrong diagram, fixed again
|
changeset |
files
|
Thu, 17 Jun 2010 12:06:13 -0700 |
Scott Morrison |
beginning to update deligne diagrams
|
changeset |
files
|
Wed, 16 Jun 2010 15:52:59 -0700 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Wed, 16 Jun 2010 08:33:20 -0700 |
Kevin Walker |
aborted attempt at remark for small blobs lemma
|
changeset |
files
|
Wed, 16 Jun 2010 15:29:19 -0700 |
Scott Morrison |
tikzing feb21 diagrams
|
changeset |
files
|
Wed, 16 Jun 2010 14:39:25 -0700 |
Scott Morrison |
tikzing left-marked-antirefinements
|
changeset |
files
|
Wed, 16 Jun 2010 14:33:01 -0700 |
Scott Morrison |
moving an already prepared diagram out of tempkw
|
changeset |
files
|
Wed, 16 Jun 2010 14:30:55 -0700 |
Scott Morrison |
converting some hand drawn pictures to tikz
|
changeset |
files
|
Mon, 14 Jun 2010 22:12:45 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Mon, 07 Jun 2010 22:02:40 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Mon, 07 Jun 2010 22:02:34 -0700 |
Scott Morrison |
moving old diagrams around
|
changeset |
files
|
Mon, 14 Jun 2010 07:46:41 +0200 |
Kevin Walker |
interim version to put on web page
|
changeset |
files
|
Sun, 13 Jun 2010 14:26:31 +0200 |
Kevin Walker |
metric independence for homeo action (proof done now)
|
changeset |
files
|
Thu, 10 Jun 2010 22:00:06 +0200 |
Kevin Walker |
CH_* action -- gluing compatibility
|
changeset |
files
|
Wed, 09 Jun 2010 13:21:55 +0200 |
Kevin Walker |
associativity for CH_* action
|
changeset |
files
|
Mon, 07 Jun 2010 18:14:11 +0200 |
Kevin Walker |
remark about EB_n-algebras from n-cats
|
changeset |
files
|
Mon, 07 Jun 2010 13:43:38 +0200 |
Kevin Walker |
proof of mapping space thm
|
changeset |
files
|
Mon, 07 Jun 2010 06:01:39 +0200 |
Kevin Walker |
should read it over at least once before committing
|
changeset |
files
|
Mon, 07 Jun 2010 05:58:52 +0200 |
Kevin Walker |
placeholder for proof of Deligne thing
|
changeset |
files
|
Sun, 06 Jun 2010 20:56:47 +0200 |
Kevin Walker |
added pinched product figs
|
changeset |
files
|
Sun, 06 Jun 2010 09:49:57 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Sun, 06 Jun 2010 09:49:06 -0700 |
Scott Morrison |
build
|
changeset |
files
|
Sat, 05 Jun 2010 19:44:25 -0700 |
Kevin Walker |
minor
|
changeset |
files
|
Sat, 05 Jun 2010 19:26:59 -0700 |
Kevin Walker |
A-inf bordism cat example
|
changeset |
files
|
Sat, 05 Jun 2010 13:38:57 -0700 |
Kevin Walker |
finished E_n example (at SFO)
|
changeset |
files
|
Sat, 05 Jun 2010 08:25:14 -0700 |
Kevin Walker |
EB_n operad example; other misc stuff
|
changeset |
files
|
Fri, 04 Jun 2010 20:43:14 -0700 |
Kevin Walker |
breaking long lines
|
changeset |
files
|
Fri, 04 Jun 2010 20:37:38 -0700 |
Kevin Walker |
finished product axiom
|
changeset |
files
|
Fri, 04 Jun 2010 18:26:04 -0700 |
Kevin Walker |
start on product axiom
|
changeset |
files
|
Fri, 04 Jun 2010 17:15:53 -0700 |
Kevin Walker |
breaking long lines
|
changeset |
files
|
Fri, 04 Jun 2010 17:00:18 -0700 |
Kevin Walker |
minor
|
changeset |
files
|
Fri, 04 Jun 2010 11:42:07 -0700 |
Kevin Walker |
breaking long lines (probably a waste of time, but I couldn't resist)
|
changeset |
files
|
Fri, 04 Jun 2010 08:15:08 -0700 |
Kevin Walker |
starting to revise the ancient TQFTs-from-fields section; other minor stuff
|
changeset |
files
|
Thu, 03 Jun 2010 23:08:47 -0700 |
Scott Morrison |
updating notation in intro, also deciding that not everything is a 'property'
|
changeset |
files
|
Thu, 03 Jun 2010 21:59:55 -0700 |
Scott Morrison |
finally understanding what Lurie says, fixed remark about maps to a space
|
changeset |
files
|
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
|
changeset |
files
|
Thu, 03 Jun 2010 20:58:39 -0700 |
Scott Morrison |
mostly finished inserting \cl
|
changeset |
files
|
Thu, 03 Jun 2010 20:34:36 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Thu, 03 Jun 2010 20:34:32 -0700 |
Scott Morrison |
updating notation in ncat
|
changeset |
files
|
Thu, 03 Jun 2010 17:19:37 -0700 |
Scott Morrison |
fixing some inconsistencies in where the easy basic properties are treated
|
changeset |
files
|
Thu, 03 Jun 2010 18:42:39 -0700 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Thu, 03 Jun 2010 18:42:08 -0700 |
Kevin Walker |
module morphism stuff
|
changeset |
files
|
Thu, 03 Jun 2010 12:33:47 -0700 |
Scott Morrison |
various changes, mostly rewriting intros to sections for exposition
|
changeset |
files
|
Thu, 03 Jun 2010 09:47:18 -0700 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Wed, 02 Jun 2010 17:45:13 -0700 |
Scott Morrison |
minor
|
changeset |
files
|
Wed, 02 Jun 2010 22:46:31 -0700 |
Kevin Walker |
fixing accidental reversions in blob1.tex
|
changeset |
files
|
Wed, 02 Jun 2010 22:28:04 -0700 |
Kevin Walker |
misc minor changes
|
changeset |
files
|
Wed, 02 Jun 2010 22:09:52 -0700 |
Kevin Walker |
rewrite proof from gluing thm
|
changeset |
files
|
Wed, 02 Jun 2010 16:51:40 -0700 |
Kevin Walker |
added \cl ([ho]colim) (currently \underrightarrow)
|
changeset |
files
|
Wed, 02 Jun 2010 12:52:08 -0700 |
Kevin Walker |
more futzing with product thm
|
changeset |
files
|
Wed, 02 Jun 2010 11:45:19 -0700 |
Scott Morrison |
some changes to blobdef, in particular indexing starts at 1 now
|
changeset |
files
|
Wed, 02 Jun 2010 08:43:12 -0700 |
Kevin Walker |
Finished dealing with main issues in product thm proof; small issues still remain
|
changeset |
files
|
Tue, 01 Jun 2010 23:07:42 -0700 |
Scott Morrison |
editting all over the place
|
changeset |
files
|
Tue, 01 Jun 2010 21:44:09 -0700 |
Scott Morrison |
reverting label change
|
changeset |
files
|
Tue, 01 Jun 2010 20:44:54 -0700 |
Scott Morrison |
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
|
changeset |
files
|
Tue, 01 Jun 2010 17:26:28 -0700 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|