rewriting colimit def; there's still a little more to do

starting to work on colimit stuff, but not much progress yet

minor

add remarks to address the bizarre and inexplicable confusion about "hemisphere"

added a sentence about conditions of existence of path integrals (at PT's request); other minor stuff

updated to-do list

oops -- 3 reverts

move figs to top of page

make sure poset of decomps is a small category; added to to-do list

string diagrams have stratifications more general than mere cell complexes

minor

added remark about defect categories; tweaked sphere cat intro

minor: remove \nn from ack list; shorten lines; remove some comments

adding to-do list

updated delta file

acknowledge the existence of manifolds without ball decompositions

Automated merge with https://tqft.net/hg/blob/

delta file for next arXiv/G&T version (complete as of now, but will need to be updated)

reverting removing kw:tqft

Automated merge with https://tqft.net/hg/blob/

Automated merge with https://tqft.net/hg/blob/

Automated merge with https://tqft.net/hg/blob/

old change to a diagram, forgot to commit

correcting typo

Automated merge with https://tqft.net/hg/blob/

removing kw:tqft from pnas

remark about apparent vacuity of lemma 6.1.2 (spheres)

added more motivation for pinched products

more on piched product union axiom

fixed statement of compatibility of product morphisms with decompositions (might still need some work)

added to examples of unions of pinched products (fig)

added brief def of monoidal n-cats; killed some old invisible comments

add M. Shulman to acknowledgements

clarification of definition of n-SC operad

adding notes for Scott's April 19 talk

removing repeated word

Automated merge with https://tqft.net/hg/blob/

fixing minor mistake in the proof of the product formula

Automated merge with https://tqft.net/hg/blob/

typo in caption

more splittable symbols in the module section, and minor typos from April 12

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

Automated merge with https://tqft.net/hg/blob

Automated merge with https://tqft.net/hg/blob

some daggers

Automated merge with https://tqft.net/hg/blob/

correctly definition of ball decomposition in PNAS article

fix definition of refinement of ball decomp (intermediate manifolds are disj unions of balls)

added 2nd parameter to the two bordism examples

invisible, unimportant changes

neat embedding for bordism category

Automated merge with http://tqft.net/hg/blob

slightly more detail on lack of surjectivity

two more transverse symbols

added two more transverse symbols

small fix for def of bordism category definitions; perhaps more should be done

explain why we dont require gluing to be surjective

added remark that in the case of disjoint gluing the equalizer is also a fibered product

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)

thank hot topics course lecturers