adding RefereeReport.pdf

very minor

no splittability requirement for k=n

fixing proof of 7.1.1 (product thm)

remark about families of collar maps acting; misc

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

added splittability axiom for fields

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

changing formula for blocks

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

nonsense having to do with resloving conflicts

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

typos in to-do file

changing example for no common refinement

typos

adding some TODOs

queries on topologising BD

fixing a weird numbering issue in \S 2, caused by switching to X.Y.Z numbering scheme

minor

using consistent names for field in \S 7

very minor query

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

acknowledgements for course looks fine

adding vertical arrow in decomposition poset figure

figure for ABCD in the sin(1/x) example

minor

fixing delfig3b

recompiling 'gadgets' diagram

minor

add remark about a-inf axiom implying isotopy invariance

minor; out of time for now

update n-cat summary lists

very minor

maybe done with colimit stuff; getting closer anyway

minor

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

minor

tikz figure

adding the final PDF form PNAS

starting on a Morita figure

intertwinor -> intertwiner: http://www.googlefight.com/index.php?lang=en_GB\&word1=intertwiner\&word2=intertwinor

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

typo

minor: correcting caption

morita figs

more Morita

minor

morita stuff

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

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