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

add citation to R. Brown and U. Tillman

summary of data and properties for n-cats

mention n+1-cat of sphere modules in intro

plain n-cat -> ordinary n-cat

compatibility of first and last n-cat axioms; mention stricter variant of last axiom

remove tillmann "personal communication" bib entry per PNAS policy

reformatting bibliography for PNAS

moving everything into one directory for PNAS submission, and externalizing TikZ

merging preamble into the main file

deleting unused diagram

switching in local bibliography

preferring pivotal over 'strong duality'. may want to search for 'duality' and think about phrasing...

plain -> ordinary

adding a sentence about types of decompositions of manifolds, including a cite to kirillov. Feel free to revert.

minor changes to abstract, and blob diagrams

minor

more string diagram / field nonsense

move Lurie-comparison paragraph to n-cat section

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

adding cite to tillmann

that's all for tonight

part way done with post phone call edits

more proofreading changes

minor, on enrichment

2nd installment of changes from proof-read

changes from proof-read, 1st installment

fixing single quotes and long lines

some more fixes in the colimit section

trying out 'isotopy n-category', and explaining the difference better

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

minor

minor changes from proofreading

line breaks

first cut of an abstract

minor

plain ---> linear

writing a bit more about colimits. I'm not doing a good job of this

epsilon

unoriented <=> oriented

minor changes in introduction

citing rozansky for s2 x s1: is there actually a paper by khovanov about this?

short version of cat sect intro; longer intro desirable?

done with intro for now

trying to resolve

maybe if I commit now merging will be easier?

very paltry start on colimits, out of time for now