Sat, 25 Jun 2011 06:27:16 -0700 Kevin Walker very minor
Fri, 24 Jun 2011 21:41:48 -0700 Kevin Walker maybe done with colimit stuff; getting closer anyway
Fri, 24 Jun 2011 06:39:25 -0700 Kevin Walker minor
Thu, 23 Jun 2011 09:19:51 -0700 Kevin Walker Automated merge with https://tqft.net/hg/blob/
Thu, 23 Jun 2011 09:19:42 -0700 Kevin Walker minor
Wed, 22 Jun 2011 22:36:34 -0700 Kevin Walker tikz figure
Wed, 22 Jun 2011 23:09:35 -0700 Scott Morrison adding the final PDF form PNAS
Wed, 22 Jun 2011 23:09:25 -0700 Scott Morrison starting on a Morita figure
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
Wed, 22 Jun 2011 16:02:37 -0700 Scott Morrison Automated merge with https://tqft.net/hg/blob
Wed, 22 Jun 2011 16:02:27 -0700 Scott Morrison typo
Tue, 10 May 2011 18:08:26 -0700 Scott Morrison minor: correcting caption
Wed, 22 Jun 2011 11:13:51 -0700 Kevin Walker morita figs
Wed, 22 Jun 2011 11:06:33 -0700 Kevin Walker more Morita
Tue, 21 Jun 2011 18:10:31 -0700 Kevin Walker minor
Tue, 21 Jun 2011 12:05:16 -0700 Kevin Walker morita stuff
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
Sun, 19 Jun 2011 17:31:34 -0600 Kevin Walker adding transversality requirement to product morphism axiom
Sun, 19 Jun 2011 17:07:48 -0600 Kevin Walker adding placeholder figure
Sun, 19 Jun 2011 15:31:28 -0600 Kevin Walker new n-cat axiom for splittings
Fri, 17 Jun 2011 20:56:27 -0600 Kevin Walker minor
Fri, 17 Jun 2011 12:12:53 -0600 Kevin Walker misc; added some specifics of acknowledgements
Fri, 17 Jun 2011 12:01:43 -0600 Kevin Walker finish fam-o-homeo axiom revisions and discussion
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
Thu, 16 Jun 2011 08:51:40 -0600 Kevin Walker tweak to fam-o-homeo proof; aux enriching cats are sets with extra structure
Wed, 15 Jun 2011 14:15:19 -0600 Kevin Walker finished topological case of Appendix B
Tue, 14 Jun 2011 19:28:48 -0600 Kevin Walker starting proof of adaptation lemma for continuous homeos
Wed, 01 Jun 2011 15:17:39 -0600 Kevin Walker added remark on super algebra
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
Sat, 28 May 2011 21:45:13 -0600 Kevin Walker more details in C.1; reorganized to-do list
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
Fri, 27 May 2011 21:54:22 -0600 Kevin Walker more reorganization of n-cat defs
Fri, 27 May 2011 13:43:20 -0600 Kevin Walker start to rearrange n-cat defs
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
Wed, 25 May 2011 09:48:01 -0600 Kevin Walker left over comment from last week
Sat, 14 May 2011 11:42:48 -0700 Kevin Walker more on colimits; still not done
Fri, 13 May 2011 21:16:40 -0700 Kevin Walker minor
Fri, 13 May 2011 21:01:03 -0700 Kevin Walker merging by hand (?)
Fri, 13 May 2011 20:52:18 -0700 Kevin Walker rewriting colimit def; there's still a little more to do
Thu, 12 May 2011 21:42:34 -0700 Kevin Walker starting to work on colimit stuff, but not much progress yet
Wed, 11 May 2011 14:39:21 -0700 Kevin Walker minor
Wed, 11 May 2011 14:32:13 -0700 Kevin Walker add remarks to address the bizarre and inexplicable confusion about "hemisphere"
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
Tue, 10 May 2011 14:30:23 -0700 Kevin Walker updated to-do list
Sun, 08 May 2011 22:15:11 -0700 Kevin Walker oops -- 3 reverts
Sun, 08 May 2011 22:08:47 -0700 Kevin Walker move figs to top of page
Sun, 08 May 2011 09:05:53 -0700 Kevin Walker make sure poset of decomps is a small category; added to to-do list
Sat, 07 May 2011 09:40:20 -0700 Kevin Walker string diagrams have stratifications more general than mere cell complexes
Sat, 07 May 2011 09:27:21 -0700 Kevin Walker minor
Sat, 07 May 2011 09:18:37 -0700 Kevin Walker added remark about defect categories; tweaked sphere cat intro
Sat, 07 May 2011 08:35:36 -0700 Kevin Walker minor: remove \nn from ack list; shorten lines; remove some comments
Fri, 06 May 2011 18:02:06 -0700 Kevin Walker adding to-do list
Fri, 06 May 2011 17:48:23 -0700 Kevin Walker updated delta file
Fri, 06 May 2011 17:46:07 -0700 Kevin Walker acknowledge the existence of manifolds without ball decompositions
Fri, 06 May 2011 17:24:08 -0700 Kevin Walker Automated merge with https://tqft.net/hg/blob/
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)
Fri, 06 May 2011 17:21:26 -0700 Scott Morrison reverting removing kw:tqft
Fri, 06 May 2011 17:20:51 -0700 Scott Morrison Automated merge with https://tqft.net/hg/blob/
Fri, 06 May 2011 15:32:55 -0700 Scott Morrison Automated merge with https://tqft.net/hg/blob/
Mon, 28 Mar 2011 18:07:36 -0700 Scott Morrison Automated merge with https://tqft.net/hg/blob/
Mon, 28 Mar 2011 18:07:33 -0700 Scott Morrison old change to a diagram, forgot to commit
Fri, 06 May 2011 16:54:18 -0700 Scott Morrison correcting typo
Fri, 06 May 2011 16:52:59 -0700 Scott Morrison Automated merge with https://tqft.net/hg/blob/
Fri, 06 May 2011 16:52:45 -0700 Scott Morrison removing kw:tqft from pnas
Fri, 06 May 2011 16:04:22 -0700 Kevin Walker remark about apparent vacuity of lemma 6.1.2 (spheres)
Fri, 06 May 2011 15:23:26 -0700 Kevin Walker added more motivation for pinched products
Fri, 06 May 2011 15:00:46 -0700 Kevin Walker more on piched product union axiom
Fri, 06 May 2011 14:56:13 -0700 Kevin Walker fixed statement of compatibility of product morphisms with decompositions (might still need some work)
Fri, 06 May 2011 14:22:35 -0700 Kevin Walker added to examples of unions of pinched products (fig)
Fri, 06 May 2011 14:11:43 -0700 Kevin Walker added brief def of monoidal n-cats; killed some old invisible comments
Wed, 04 May 2011 14:47:43 -0600 Kevin Walker add M. Shulman to acknowledgements
Sun, 24 Apr 2011 13:55:58 -0700 Kevin Walker clarification of definition of n-SC operad
Tue, 19 Apr 2011 15:52:37 -0700 Scott Morrison adding notes for Scott's April 19 talk
Mon, 18 Apr 2011 22:32:35 -0700 Scott Morrison removing repeated word
Mon, 18 Apr 2011 22:28:44 -0700 Scott Morrison Automated merge with https://tqft.net/hg/blob/
Mon, 18 Apr 2011 22:28:40 -0700 Scott Morrison fixing minor mistake in the proof of the product formula
Mon, 18 Apr 2011 22:18:00 -0700 Kevin Walker Automated merge with https://tqft.net/hg/blob/
Thu, 14 Apr 2011 20:36:08 -0700 Kevin Walker typo in caption
Wed, 13 Apr 2011 12:14:18 -0700 Scott Morrison more splittable symbols in the module section, and minor typos from April 12
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
Thu, 31 Mar 2011 14:13:58 -0700 Scott Morrison Automated merge with https://tqft.net/hg/blob
Tue, 29 Mar 2011 13:30:35 -0700 Scott Morrison Automated merge with https://tqft.net/hg/blob
Wed, 23 Mar 2011 15:52:36 -0700 Scott Morrison some daggers
Wed, 30 Mar 2011 08:03:27 -0700 Scott Morrison Automated merge with https://tqft.net/hg/blob/
Wed, 30 Mar 2011 08:03:22 -0700 Scott Morrison correctly definition of ball decomposition in PNAS article
Wed, 30 Mar 2011 07:16:14 -0700 Kevin Walker fix definition of refinement of ball decomp (intermediate manifolds are disj unions of balls)
Thu, 24 Mar 2011 10:06:09 -0700 Kevin Walker added 2nd parameter to the two bordism examples
Thu, 24 Mar 2011 09:08:15 -0700 Kevin Walker invisible, unimportant changes
Wed, 23 Mar 2011 15:33:48 -0700 Scott Morrison neat embedding for bordism category
Wed, 23 Mar 2011 15:30:38 -0700 Scott Morrison Automated merge with http://tqft.net/hg/blob
Wed, 23 Mar 2011 15:30:16 -0700 Scott Morrison slightly more detail on lack of surjectivity
Wed, 23 Mar 2011 15:19:37 -0700 Scott Morrison two more transverse symbols
Wed, 23 Mar 2011 15:29:31 -0700 Kevin Walker added two more transverse symbols
Sun, 20 Mar 2011 06:26:04 -0700 Kevin Walker small fix for def of bordism category definitions; perhaps more should be done
Tue, 15 Mar 2011 17:22:44 -0700 Kevin Walker explain why we dont require gluing to be surjective
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
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)
Tue, 15 Mar 2011 08:11:27 -0700 Kevin Walker thank hot topics course lecturers
Tue, 15 Mar 2011 08:01:12 -0700 Kevin Walker add definition of collaring homeo, etc.
Tue, 15 Mar 2011 07:25:13 -0700 Kevin Walker remove long nooped section on linearizing fields
Wed, 09 Mar 2011 06:48:39 -0700 Kevin Walker adding pitchforks to denote splittability
Wed, 23 Feb 2011 12:59:31 -0800 Kevin Walker typo
Tue, 22 Feb 2011 10:17:22 -0800 Kevin Walker 2 typos, one minor and one more serious
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_*
Mon, 14 Feb 2011 09:14:26 +1100 Scott Morrison removing unnecessary preamble.tex
Mon, 14 Feb 2011 08:45:47 +1100 Scott Morrison fixing rob's typo (that->than)
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.
Tue, 08 Feb 2011 13:15:46 -0800 Kevin Walker fix typo ('to' -> 'the') noticed my Rob
Tue, 08 Feb 2011 07:27:53 -0800 Kevin Walker re-added a remark that was accidentally deleted earlier
Tue, 08 Feb 2011 07:19:38 -0800 Kevin Walker typo
Tue, 08 Feb 2011 07:14:18 -0800 Kevin Walker Automated merge with https://tqft.net/hg/blob/
Tue, 08 Feb 2011 07:13:42 -0800 Kevin Walker clarify "splittable"; r -> l
Tue, 08 Feb 2011 20:16:47 +1100 Scott Morrison aaron's final version
Sun, 06 Feb 2011 20:54:10 -0800 Kevin Walker Automated merge with https://tqft.net/hg/blob/
Sun, 06 Feb 2011 20:53:43 -0800 Kevin Walker Edits from Aaron Mazel-Gee
Sun, 06 Feb 2011 18:31:17 -0800 Scott Morrison adding Aaron's notes, renaming
Tue, 25 Jan 2011 14:57:07 -0800 Scott Morrison minor
Tue, 25 Jan 2011 13:07:38 -0800 Scott Morrison minor tweaks in talk
Tue, 25 Jan 2011 10:15:35 -0800 Scott Morrison some suggestions from kevin
Tue, 25 Jan 2011 00:30:50 -0800 Scott Morrison axioms (unfinished) and a bit about cell decompositions
Mon, 24 Jan 2011 21:50:56 -0800 Scott Morrison Automated merge with https://tqft.net/hg/blob/
Mon, 24 Jan 2011 21:50:45 -0800 Scott Morrison adjusting figure and proof of gluing per kevin's suggestions
Mon, 24 Jan 2011 18:29:31 -0700 Kevin Walker placeholder for change in def of string-diagram-fields
Sun, 23 Jan 2011 18:44:18 -0800 Scott Morrison gluing formulas
Sun, 23 Jan 2011 13:30:25 -0800 Scott Morrison writing about string diagrams
Fri, 21 Jan 2011 20:53:49 -0800 Scott Morrison writing notes for Teichner's course
Sat, 15 Jan 2011 15:32:37 -0800 Scott Morrison Automated merge with https://tqft.net/hg/blob/
Sat, 15 Jan 2011 15:32:30 -0800 Scott Morrison missing 'than'
Thu, 13 Jan 2011 14:48:47 -0800 Kevin Walker summary of changes for G&T (will upload via their web interface)
Mon, 10 Jan 2011 20:14:24 -0800 Scott Morrison fixing build script to omit PNAS files for arxiv submission
Mon, 10 Jan 2011 19:27:21 -0800 Scott Morrison trying out a semicolon list
Mon, 10 Jan 2011 15:25:53 -0800 Scott Morrison minor changes to kevin's new paragraphs
Mon, 10 Jan 2011 14:18:52 -0800 Scott Morrison fixing the broken references introduced during my abortive edits yesterday in sydney
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.
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)
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
Fri, 07 Jan 2011 12:41:45 -0800 Kevin Walker add citation to R. Brown and U. Tillman
Fri, 07 Jan 2011 09:08:15 -0800 Kevin Walker summary of data and properties for n-cats
Thu, 06 Jan 2011 23:10:55 -0800 Kevin Walker mention n+1-cat of sphere modules in intro
Thu, 06 Jan 2011 22:56:31 -0800 Kevin Walker plain n-cat -> ordinary n-cat
Thu, 06 Jan 2011 22:47:06 -0800 Kevin Walker compatibility of first and last n-cat axioms; mention stricter variant of last axiom
Mon, 27 Dec 2010 11:29:54 -0800 Kevin Walker remove tillmann "personal communication" bib entry per PNAS policy
Tue, 07 Dec 2010 15:09:29 -0600 Scott Morrison reformatting bibliography for PNAS
Mon, 06 Dec 2010 11:57:19 -0600 Scott Morrison moving everything into one directory for PNAS submission, and externalizing TikZ
Fri, 03 Dec 2010 19:11:40 -0600 Scott Morrison merging preamble into the main file
Fri, 03 Dec 2010 19:04:17 -0600 Scott Morrison deleting unused diagram
Fri, 03 Dec 2010 18:42:13 -0600 Scott Morrison switching in local bibliography
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...
Tue, 30 Nov 2010 11:30:33 -0800 Scott Morrison plain -> ordinary
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.
Tue, 30 Nov 2010 11:07:24 -0800 Scott Morrison minor changes to abstract, and blob diagrams
Mon, 29 Nov 2010 10:01:34 -0700 Kevin Walker minor
Wed, 24 Nov 2010 09:57:41 -0700 Kevin Walker more string diagram / field nonsense
Wed, 24 Nov 2010 09:51:28 -0700 Kevin Walker move Lurie-comparison paragraph to n-cat section
Tue, 23 Nov 2010 09:28:45 -0800 Scott Morrison Automated merge with https://tqft.net/hg/blob/
Tue, 23 Nov 2010 09:28:41 -0800 Scott Morrison adding cite to tillmann
Mon, 22 Nov 2010 19:42:06 -0700 Kevin Walker that's all for tonight
Mon, 22 Nov 2010 17:55:32 -0700 Kevin Walker part way done with post phone call edits
Mon, 22 Nov 2010 13:40:40 -0800 Scott Morrison more proofreading changes
Mon, 22 Nov 2010 12:19:53 -0800 Scott Morrison minor, on enrichment
Mon, 22 Nov 2010 11:56:18 -0700 Kevin Walker 2nd installment of changes from proof-read
Mon, 22 Nov 2010 09:46:07 -0700 Kevin Walker changes from proof-read, 1st installment
Mon, 22 Nov 2010 09:02:17 -0700 Kevin Walker fixing single quotes and long lines
Sun, 21 Nov 2010 15:24:53 -0800 Scott Morrison some more fixes in the colimit section
Sun, 21 Nov 2010 15:09:24 -0800 Scott Morrison trying out 'isotopy n-category', and explaining the difference better
Sun, 21 Nov 2010 14:47:58 -0800 Scott Morrison Automated merge with https://tqft.net/hg/blob/
Sun, 21 Nov 2010 14:47:54 -0800 Scott Morrison minor
Fri, 19 Nov 2010 15:02:04 -0800 Scott Morrison minor changes from proofreading
Thu, 18 Nov 2010 12:06:17 -0800 Kevin Walker line breaks
Thu, 18 Nov 2010 10:58:46 -0800 Scott Morrison first cut of an abstract
Thu, 18 Nov 2010 10:52:38 -0800 Scott Morrison minor
Thu, 18 Nov 2010 10:45:52 -0800 Scott Morrison plain ---> linear
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
Thu, 18 Nov 2010 00:15:04 -0800 Scott Morrison epsilon
Wed, 17 Nov 2010 16:30:24 -0800 Kevin Walker unoriented <=> oriented
Wed, 17 Nov 2010 15:48:20 -0800 Scott Morrison minor changes in introduction
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?
Wed, 17 Nov 2010 11:58:35 -0800 Kevin Walker short version of cat sect intro; longer intro desirable?
Wed, 17 Nov 2010 11:46:39 -0800 Kevin Walker done with intro for now
Wed, 17 Nov 2010 11:26:00 -0800 Kevin Walker trying to resolve
Wed, 17 Nov 2010 11:16:39 -0800 Kevin Walker maybe if I commit now merging will be easier?
Wed, 17 Nov 2010 11:16:27 -0800 Scott Morrison very paltry start on colimits, out of time for now
Wed, 17 Nov 2010 10:56:17 -0800 Scott Morrison minor changes to rewritten intro
Wed, 17 Nov 2010 10:23:37 -0800 Scott Morrison Automated merge with https://tqft.net/hg/blob/
Mon, 15 Nov 2010 09:49:04 -0800 Scott Morrison Automated merge with https://tqft.net/hg/blob/
Sun, 14 Nov 2010 19:43:47 -0800 Scott Morrison Automated merge with https://tqft.net/hg/blob/
Sun, 14 Nov 2010 19:43:43 -0800 Scott Morrison changing title?
Wed, 17 Nov 2010 09:17:07 -0800 Kevin Walker more intro
Tue, 16 Nov 2010 16:55:55 -0800 Kevin Walker Automated merge with https://tqft.net/hg/blob
Tue, 16 Nov 2010 16:55:49 -0800 Kevin Walker silly commit to move stuff from office to home
Tue, 16 Nov 2010 14:54:51 -0800 Scott Morrison adding reference to Ronnie Brown's paper, from MO
Tue, 16 Nov 2010 14:49:17 -0800 Scott Morrison adding Gerstenhaber-Voronov, explicitly not proving the mapping spaces result, and slight tweaks
Mon, 15 Nov 2010 08:15:28 -0800 Kevin Walker finish deligne section; misc
Sun, 14 Nov 2010 23:13:40 -0800 Kevin Walker more on deligne
Sun, 14 Nov 2010 22:54:29 -0800 Kevin Walker starting on Deligne section
Sun, 14 Nov 2010 19:25:16 -0800 Kevin Walker misc
Sun, 14 Nov 2010 18:33:03 -0800 Kevin Walker proof of product thm
Sun, 14 Nov 2010 17:28:04 -0800 Scott Morrison minor tweaks in sketch proofs
Sun, 14 Nov 2010 16:33:36 -0800 Kevin Walker Automated merge with https://tqft.net/hg/blob/
Sun, 14 Nov 2010 16:33:18 -0800 Kevin Walker adding some proof sketches
Sun, 14 Nov 2010 16:14:43 -0800 Kevin Walker Automated merge with https://tqft.net/hg/blob/
Sun, 14 Nov 2010 16:14:37 -0800 Kevin Walker minor
Sun, 14 Nov 2010 16:10:31 -0800 Kevin Walker minor
Sun, 14 Nov 2010 16:15:17 -0800 Scott Morrison hopefully preamble commands should all be okay again
Sun, 14 Nov 2010 16:13:12 -0800 Scott Morrison various minor, and moving mapping spaces to 'specializations'
Sun, 14 Nov 2010 16:02:06 -0800 Scott Morrison oops, unbreaking stuff
Sun, 14 Nov 2010 16:00:35 -0800 Scott Morrison Automated merge with https://tqft.net/hg/blob/
Sun, 14 Nov 2010 15:45:26 -0800 Scott Morrison bordism example
Sun, 14 Nov 2010 15:39:03 -0800 Scott Morrison futzing with preambles
Sun, 14 Nov 2010 15:54:11 -0800 Kevin Walker misc
Sun, 14 Nov 2010 15:01:53 -0800 Kevin Walker proof for CH_* action
Sat, 13 Nov 2010 20:58:40 -0800 Scott Morrison minor, during call
Sat, 13 Nov 2010 20:58:23 -0800 Scott Morrison minor, during call
Sat, 13 Nov 2010 13:26:29 -0800 Kevin Walker minor
Sat, 13 Nov 2010 13:23:22 -0800 Kevin Walker intro to more concrete \bc_* definition and misc
Sat, 13 Nov 2010 12:14:55 -0800 Kevin Walker definition of collar maps
Fri, 12 Nov 2010 15:07:00 -0800 Scott Morrison changing title
Fri, 12 Nov 2010 14:34:16 -0800 Scott Morrison writing intro; just an expanded version of the existing notes, feel free to savage
Fri, 12 Nov 2010 10:49:09 -0800 Scott Morrison minor changes to cone-product polyhedra discussion
Thu, 11 Nov 2010 20:45:33 -0800 Kevin Walker Examples and misc.; quality of writing perhaps not so great.
Thu, 11 Nov 2010 17:50:28 -0800 Scott Morrison various
Thu, 11 Nov 2010 15:48:47 -0800 Scott Morrison writing inconclusively about homotopy colimits, but have to run
Tue, 09 Nov 2010 17:48:16 -0800 Kevin Walker fixing typo
Wed, 10 Nov 2010 10:40:29 +0900 Scott Morrison Automated merge with https://tqft.net/hg/blob/
(0) -224 tip