wrote a little (but not enough) about Morita equivalence; out of time, will finish later

adding transversality requirement to product morphism axiom

adding placeholder figure

new n-cat axiom for splittings

minor

misc; added some specifics of acknowledgements

finish fam-o-homeo axiom revisions and discussion

in the midst of revising a-inf and enriched n-cat axioms; not done yet

tweak to fam-o-homeo proof; aux enriching cats are sets with extra structure

finished topological case of Appendix B

starting proof of adaptation lemma for continuous homeos

added remark on super algebra

adding remarks on objects to C.1; this is pretty uninspired writing, so feel free to improve

more details in C.1; reorganized to-do list

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

more reorganization of n-cat defs

start to rearrange n-cat defs

corrected statement of module to category restrictions; note that this affects the numbering of items in subsection 6.4

left over comment from last week

more on colimits; still not done

minor

merging by hand (?)

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

add definition of collaring homeo, etc.

remove long nooped section on linearizing fields

adding pitchforks to denote splittability

typo

2 typos, one minor and one more serious

clarified what's small and what's not in the proof of the small blob lemma for BT_*

removing unnecessary preamble.tex

fixing rob's typo (that->than)

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.

fix typo ('to' -> 'the') noticed my Rob

re-added a remark that was accidentally deleted earlier

typo

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

clarify "splittable"; r -> l

aaron's final version

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

Edits from Aaron Mazel-Gee

adding Aaron's notes, renaming

minor

minor tweaks in talk

some suggestions from kevin

axioms (unfinished) and a bit about cell decompositions

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

adjusting figure and proof of gluing per kevin's suggestions

placeholder for change in def of string-diagram-fields

gluing formulas

writing about string diagrams

writing notes for Teichner's course

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

missing 'than'

summary of changes for G&T (will upload via their web interface)

fixing build script to omit PNAS files for arxiv submission

trying out a semicolon list

minor changes to kevin's new paragraphs

fixing the broken references introduced during my abortive edits yesterday in sydney

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.

"topological n-cat" --> either "disk-like n-cat" or "ordinary n-cat" (when contrasted with A-inf n-cat)

added subsection to intro about n-cat terminology; have not yet actually changed terminology in the rest of the paper