# HG changeset patch # User Scott Morrison # Date 1295818225 28800 # Node ID 1d99796a73f306c599a6bea4299741750d2b4804 # Parent 2d89072c8b33ae395cb997c3b3a1407049abc7ee writing about string diagrams diff -r 2d89072c8b33 -r 1d99796a73f3 talks/201101-Teichner/notes.aux --- a/talks/201101-Teichner/notes.aux Fri Jan 21 20:53:49 2011 -0800 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,20 +0,0 @@ -\relax -\ifx\hyper@anchor\@undefined -\global \let \oldcontentsline\contentsline -\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} -\global \let \oldnewlabel\newlabel -\gdef \newlabel#1#2{\newlabelxx{#1}#2} -\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} -\AtEndDocument{\let \contentsline\oldcontentsline -\let \newlabel\oldnewlabel} -\else -\global \let \hyper@last\relax -\fi - -\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Examples of fields}}{1}{section.1}} -\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.1}{Maps to a target space}}{1}{subsection.1.1}} -\newlabel{tocindent-1}{0pt} -\newlabel{tocindent0}{0pt} -\newlabel{tocindent1}{19.4667pt} -\newlabel{tocindent2}{32.18062pt} -\newlabel{tocindent3}{0pt} diff -r 2d89072c8b33 -r 1d99796a73f3 talks/201101-Teichner/notes.log --- a/talks/201101-Teichner/notes.log Fri Jan 21 20:53:49 2011 -0800 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,706 +0,0 @@ -This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009) (format=pdflatex 2009.11.7) 21 JAN 2011 20:53 -entering extended mode - \write18 enabled. - %&-line parsing enabled. -**notes.tex -(./notes.tex -LaTeX2e <2009/09/24> -Babel and hyphenation patterns for english, usenglishmax, dumylang, noh -yphenation, german-x-2009-06-19, ngerman-x-2009-06-19, ancientgreek, ibycus, ar -abic, basque, bulgarian, catalan, pinyin, coptic, croatian, czech, danish, dutc -h, esperanto, estonian, farsi, finnish, french, galician, german, ngerman, mono -greek, greek, hungarian, icelandic, indonesian, interlingua, irish, italian, ku -rmanji, latin, latvian, lithuanian, mongolian, mongolian2a, bokmal, nynorsk, po -lish, portuguese, romanian, russian, sanskrit, serbian, slovak, slovenian, span -ish, swedish, turkish, ukenglish, ukrainian, uppersorbian, welsh, loaded. -(/usr/local/texlive/2009/texmf-dist/tex/latex/amscls/amsart.cls -Document Class: amsart 2009/07/02 v2.20.1 -\linespacing=\dimen102 -\normalparindent=\dimen103 -\normaltopskip=\skip41 -(/usr/local/texlive/2009/texmf-dist/tex/latex/amsmath/amsmath.sty -Package: amsmath 2000/07/18 v2.13 AMS math features -\@mathmargin=\skip42 - -For additional information on amsmath, use the `?' option. -(/usr/local/texlive/2009/texmf-dist/tex/latex/amsmath/amstext.sty -Package: amstext 2000/06/29 v2.01 - -(/usr/local/texlive/2009/texmf-dist/tex/latex/amsmath/amsgen.sty -File: amsgen.sty 1999/11/30 v2.0 -\@emptytoks=\toks14 -\ex@=\dimen104 -)) -(/usr/local/texlive/2009/texmf-dist/tex/latex/amsmath/amsbsy.sty -Package: amsbsy 1999/11/29 v1.2d -\pmbraise@=\dimen105 -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/amsmath/amsopn.sty -Package: amsopn 1999/12/14 v2.01 operator names -) -\inf@bad=\count79 -LaTeX Info: Redefining \frac on input line 211. -\uproot@=\count80 -\leftroot@=\count81 -LaTeX Info: Redefining \overline on input line 307. -\classnum@=\count82 -\DOTSCASE@=\count83 -LaTeX Info: Redefining \ldots on input line 379. -LaTeX Info: Redefining \dots on input line 382. -LaTeX Info: Redefining \cdots on input line 467. -\Mathstrutbox@=\box26 -\strutbox@=\box27 -\big@size=\dimen106 -LaTeX Font Info: Redeclaring font encoding OML on input line 567. -LaTeX Font Info: Redeclaring font encoding OMS on input line 568. -\macc@depth=\count84 -\c@MaxMatrixCols=\count85 -\dotsspace@=\muskip10 -\c@parentequation=\count86 -\dspbrk@lvl=\count87 -\tag@help=\toks15 -\row@=\count88 -\column@=\count89 -\maxfields@=\count90 -\andhelp@=\toks16 -\eqnshift@=\dimen107 -\alignsep@=\dimen108 -\tagshift@=\dimen109 -\tagwidth@=\dimen110 -\totwidth@=\dimen111 -\lineht@=\dimen112 -\@envbody=\toks17 -\multlinegap=\skip43 -\multlinetaggap=\skip44 -\mathdisplay@stack=\toks18 -LaTeX Info: Redefining \[ on input line 2666. -LaTeX Info: Redefining \] on input line 2667. -) -LaTeX Font Info: Try loading font information for U+msa on input line 388. - -(/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/umsa.fd -File: umsa.fd 2009/06/22 v3.00 AMS symbols A -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/amsfonts.sty -Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support -\symAMSa=\mathgroup4 -\symAMSb=\mathgroup5 -LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' -(Font) U/euf/m/n --> U/euf/b/n on input line 96. -) -\copyins=\insert233 -\abstractbox=\box28 -\listisep=\skip45 -\c@part=\count91 -\c@section=\count92 -\c@subsection=\count93 -\c@subsubsection=\count94 -\c@paragraph=\count95 -\c@subparagraph=\count96 -\c@figure=\count97 -\c@table=\count98 -\abovecaptionskip=\skip46 -\belowcaptionskip=\skip47 -\captionindent=\dimen113 -\thm@style=\toks19 -\thm@bodyfont=\toks20 -\thm@headfont=\toks21 -\thm@notefont=\toks22 -\thm@headpunct=\toks23 -\thm@preskip=\skip48 -\thm@postskip=\skip49 -\thm@headsep=\skip50 -\dth@everypar=\toks24 -) -\c@prop=\count99 - -(/usr/local/texlive/2009/texmf-dist/tex/latex/graphics/graphicx.sty -Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) - -(/usr/local/texlive/2009/texmf-dist/tex/latex/graphics/keyval.sty -Package: keyval 1999/03/16 v1.13 key=value parser (DPC) -\KV@toks@=\toks25 -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/graphics/graphics.sty -Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR) - -(/usr/local/texlive/2009/texmf-dist/tex/latex/graphics/trig.sty -Package: trig 1999/03/16 v1.09 sin cos tan (DPC) -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/latexconfig/graphics.cfg -File: graphics.cfg 2009/08/28 v1.8 graphics configuration of TeX Live -) -Package graphics Info: Driver file: pdftex.def on input line 91. - -(/usr/local/texlive/2009/texmf-dist/tex/latex/pdftex-def/pdftex.def -File: pdftex.def 2009/08/25 v0.04m Graphics/color for pdfTeX -\Gread@gobject=\count100 -)) -\Gin@req@height=\dimen114 -\Gin@req@width=\dimen115 -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty -(/usr/local/texlive/2009/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty -(/usr/local/texlive/2009/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ut -ilities/pgfutil-common.tex -\pgfutil@everybye=\toks26 -) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ut -ilities/pgfutil-latex.def -\pgfutil@abb=\box29 - -(/usr/local/texlive/2009/texmf-dist/tex/latex/ms/everyshi.sty -Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS) -)) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ut -ilities/pgfrcs.code.tex -Package: pgfrcs 2008/05/19 v2.00-cvs (rcs-revision 1.22) -)) -Package: pgf 2008/01/15 v2.00-cvs (rcs-revision 1.12) - -(/usr/local/texlive/2009/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty -(/usr/local/texlive/2009/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/sy -stemlayer/pgfsys.code.tex -Package: pgfsys 2009/11/29 v2.00-cvs (rcs-revision 1.35) - -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ut -ilities/pgfkeys.code.tex -\pgfkeys@pathtoks=\toks27 -\pgfkeys@temptoks=\toks28 - -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ut -ilities/pgfkeysfiltered.code.tex -\pgfkeys@tmptoks=\toks29 -)) -\pgf@x=\dimen116 -\pgf@y=\dimen117 -\pgf@xa=\dimen118 -\pgf@ya=\dimen119 -\pgf@xb=\dimen120 -\pgf@yb=\dimen121 -\pgf@xc=\dimen122 -\pgf@yc=\dimen123 -\w@pgf@writea=\write3 -\r@pgf@reada=\read1 -\c@pgf@counta=\count101 -\c@pgf@countb=\count102 -\c@pgf@countc=\count103 -\c@pgf@countd=\count104 - -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/sy -stemlayer/pgf.cfg -File: pgf.cfg 2008/05/14 (rcs-revision 1.7) -) -Package pgfsys Info: Driver file for pgf: pgfsys-pdftex.def on input line 895. - -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/sy -stemlayer/pgfsys-pdftex.def -File: pgfsys-pdftex.def 2009/05/22 (rcs-revision 1.26) - -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/sy -stemlayer/pgfsys-common-pdf.def -File: pgfsys-common-pdf.def 2008/05/19 (rcs-revision 1.10) -))) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/sy -stemlayer/pgfsyssoftpath.code.tex -File: pgfsyssoftpath.code.tex 2008/07/18 (rcs-revision 1.7) -\pgfsyssoftpath@smallbuffer@items=\count105 -\pgfsyssoftpath@bigbuffer@items=\count106 -) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/sy -stemlayer/pgfsysprotocol.code.tex -File: pgfsysprotocol.code.tex 2006/10/16 (rcs-revision 1.4) -)) -(/usr/local/texlive/2009/texmf-dist/tex/latex/xcolor/xcolor.sty -Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK) - -(/usr/local/texlive/2009/texmf-dist/tex/latex/latexconfig/color.cfg -File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive -) -Package xcolor Info: Driver file: pdftex.def on input line 225. -Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337. -Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1341. -Package xcolor Info: Model `RGB' extended on input line 1353. -Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1355. -Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1356. -Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1357. -Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1358. -Package xcolor Info: Model `Gray' substituted by `gray' on input line 1359. -Package xcolor Info: Model `wave' substituted by `hsb' on input line 1360. -) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ba -siclayer/pgfcore.code.tex -Package: pgfcore 2010/04/11 v2.00-cvs (rcs-revision 1.7) - -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ma -th/pgfmath.code.tex -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ma -th/pgfmathcalc.code.tex -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ma -th/pgfmathutil.code.tex) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ma -th/pgfmathparser.code.tex -\pgfmath@dimen=\dimen124 -\pgfmath@count=\count107 -\pgfmath@box=\box30 -\pgfmath@toks=\toks30 -\pgfmath@stack@operand=\toks31 -\pgfmath@stack@operation=\toks32 -) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ma -th/pgfmathfunctions.code.tex -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ma -th/pgfmathfunctions.basic.code.tex) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ma -th/pgfmathfunctions.trigonometric.code.tex) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ma -th/pgfmathfunctions.random.code.tex) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ma -th/pgfmathfunctions.comparison.code.tex) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ma -th/pgfmathfunctions.base.code.tex) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ma -th/pgfmathfunctions.round.code.tex) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ma -th/pgfmathfunctions.misc.code.tex))) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ma -th/pgfmathfloat.code.tex -\c@pgfmathroundto@lastzeros=\count108 -)) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ba -siclayer/pgfcorepoints.code.tex -File: pgfcorepoints.code.tex 2010/04/09 (rcs-revision 1.20) -\pgf@picminx=\dimen125 -\pgf@picmaxx=\dimen126 -\pgf@picminy=\dimen127 -\pgf@picmaxy=\dimen128 -\pgf@pathminx=\dimen129 -\pgf@pathmaxx=\dimen130 -\pgf@pathminy=\dimen131 -\pgf@pathmaxy=\dimen132 -\pgf@xx=\dimen133 -\pgf@xy=\dimen134 -\pgf@yx=\dimen135 -\pgf@yy=\dimen136 -\pgf@zx=\dimen137 -\pgf@zy=\dimen138 -) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ba -siclayer/pgfcorepathconstruct.code.tex -File: pgfcorepathconstruct.code.tex 2009/01/22 (rcs-revision 1.21) -\pgf@path@lastx=\dimen139 -\pgf@path@lasty=\dimen140 -) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ba -siclayer/pgfcorepathusage.code.tex -File: pgfcorepathusage.code.tex 2008/04/22 (rcs-revision 1.12) -\pgf@shorten@end@additional=\dimen141 -\pgf@shorten@start@additional=\dimen142 -) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ba -siclayer/pgfcorescopes.code.tex -File: pgfcorescopes.code.tex 2010/04/09 (rcs-revision 1.29) -\pgfpic=\box31 -\pgf@hbox=\box32 -\pgf@layerbox@main=\box33 -\pgf@picture@serial@count=\count109 -) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ba -siclayer/pgfcoregraphicstate.code.tex -File: pgfcoregraphicstate.code.tex 2008/04/22 (rcs-revision 1.9) -\pgflinewidth=\dimen143 -) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ba -siclayer/pgfcoretransformations.code.tex -File: pgfcoretransformations.code.tex 2009/06/10 (rcs-revision 1.11) -\pgf@pt@x=\dimen144 -\pgf@pt@y=\dimen145 -\pgf@pt@temp=\dimen146 -) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ba -siclayer/pgfcorequick.code.tex -File: pgfcorequick.code.tex 2008/10/09 (rcs-revision 1.3) -) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ba -siclayer/pgfcoreobjects.code.tex -File: pgfcoreobjects.code.tex 2006/10/11 (rcs-revision 1.2) -) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ba -siclayer/pgfcorepathprocessing.code.tex -File: pgfcorepathprocessing.code.tex 2008/10/09 (rcs-revision 1.8) -) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ba -siclayer/pgfcorearrows.code.tex -File: pgfcorearrows.code.tex 2008/04/23 (rcs-revision 1.11) -) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ba -siclayer/pgfcoreshade.code.tex -File: pgfcoreshade.code.tex 2008/11/23 (rcs-revision 1.13) -\pgf@max=\dimen147 -\pgf@sys@shading@range@num=\count110 -) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ba -siclayer/pgfcoreimage.code.tex -File: pgfcoreimage.code.tex 2010/03/25 (rcs-revision 1.16) - -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ba -siclayer/pgfcoreexternal.code.tex -File: pgfcoreexternal.code.tex 2010/04/09 (rcs-revision 1.3) -\pgfexternal@startupbox=\box34 -)) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ba -siclayer/pgfcorelayers.code.tex -File: pgfcorelayers.code.tex 2008/01/15 (rcs-revision 1.1) -) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ba -siclayer/pgfcoretransparency.code.tex -File: pgfcoretransparency.code.tex 2008/01/17 (rcs-revision 1.2) -) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ba -siclayer/pgfcorepatterns.code.tex -File: pgfcorepatterns.code.tex 2009/07/02 (rcs-revision 1.3) -))) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/mo -dules/pgfmoduleshapes.code.tex -File: pgfmoduleshapes.code.tex 2009/10/13 (rcs-revision 1.9) -\pgfnodeparttextbox=\box35 -) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/mo -dules/pgfmoduleplot.code.tex -File: pgfmoduleplot.code.tex 2009/12/02 (rcs-revision 1.6) -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version --0-65.sty -Package: pgfcomp-version-0-65 2007/07/03 v2.00-cvs (rcs-revision 1.7) -\pgf@nodesepstart=\dimen148 -\pgf@nodesepend=\dimen149 -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version --1-18.sty -Package: pgfcomp-version-1-18 2007/07/23 v2.00-cvs (rcs-revision 1.1) -)) -(/usr/local/texlive/2009/texmf-dist/tex/latex/pgf/utilities/pgffor.sty -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/ut -ilities/pgffor.code.tex -Package: pgffor 2010/03/23 v2.00-cvs (rcs-revision 1.18) -\pgffor@iter=\dimen150 -\pgffor@skip=\dimen151 -\pgffor@stack=\toks33 -\pgffor@toks=\toks34 -)) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/fr -ontendlayer/tikz/tikz.code.tex -Package: tikz 2010/03/23 v2.00-cvs (rcs-revision 1.67) - -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/li -braries/pgflibraryplothandlers.code.tex -File: pgflibraryplothandlers.code.tex 2009/11/18 v2.00-cvs (rcs-revision 1.14) -\pgf@plot@mark@count=\count111 -\pgfplotmarksize=\dimen152 -) -\tikz@lastx=\dimen153 -\tikz@lasty=\dimen154 -\tikz@lastxsaved=\dimen155 -\tikz@lastysaved=\dimen156 -\tikzleveldistance=\dimen157 -\tikzsiblingdistance=\dimen158 -\tikz@figbox=\box36 -\tikz@tempbox=\box37 -\tikztreelevel=\count112 -\tikznumberofchildren=\count113 -\tikznumberofcurrentchild=\count114 -\tikz@fig@count=\count115 - -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/mo -dules/pgfmodulematrix.code.tex -File: pgfmodulematrix.code.tex 2008/11/24 (rcs-revision 1.3) -\pgfmatrixcurrentrow=\count116 -\pgfmatrixcurrentcolumn=\count117 -\pgf@matrix@numberofcolumns=\count118 -) -\tikz@expandcount=\count119 - -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/fr -ontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex -File: tikzlibrarytopaths.code.tex 2008/06/17 v2.00-cvs (rcs-revision 1.2) -))) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/fr -ontendlayer/tikz/libraries/tikzlibraryshapes.code.tex -File: tikzlibraryshapes.code.tex 2008/01/09 v2.00-cvs (rcs-revision 1.1) - -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/fr -ontendlayer/tikz/libraries/tikzlibraryshapes.geometric.code.tex -File: tikzlibraryshapes.geometric.code.tex 2008/01/09 v2.00-cvs (rcs-revision 1 -.1) - -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/li -braries/shapes/pgflibraryshapes.geometric.code.tex -File: pgflibraryshapes.geometric.code.tex 2008/06/26 v2.00-cvs (rcs-revision 1. -1) -)) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/fr -ontendlayer/tikz/libraries/tikzlibraryshapes.misc.code.tex -File: tikzlibraryshapes.misc.code.tex 2008/01/09 v2.00-cvs (rcs-revision 1.1) - -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/li -braries/shapes/pgflibraryshapes.misc.code.tex -File: pgflibraryshapes.misc.code.tex 2008/10/07 v2.00-cvs (rcs-revision 1.3) -)) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/fr -ontendlayer/tikz/libraries/tikzlibraryshapes.symbols.code.tex -File: tikzlibraryshapes.symbols.code.tex 2008/01/09 v2.00-cvs (rcs-revision 1.1 -) - -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/li -braries/shapes/pgflibraryshapes.symbols.code.tex -File: pgflibraryshapes.symbols.code.tex 2009/10/27 v2.00-cvs (rcs-revision 1.3) - -)) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/fr -ontendlayer/tikz/libraries/tikzlibraryshapes.arrows.code.tex -File: tikzlibraryshapes.arrows.code.tex 2008/01/09 v2.00-cvs (rcs-revision 1.1) - - -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/li -braries/shapes/pgflibraryshapes.arrows.code.tex -File: pgflibraryshapes.arrows.code.tex 2008/06/26 v2.00-cvs (rcs-revision 1.1) -)) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/fr -ontendlayer/tikz/libraries/tikzlibraryshapes.callouts.code.tex -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/li -braries/shapes/pgflibraryshapes.callouts.code.tex)) -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/fr -ontendlayer/tikz/libraries/tikzlibraryshapes.multipart.code.tex -File: tikzlibraryshapes.multipart.code.tex 2008/01/09 v2.00-cvs (rcs-revision 1 -.1) - -(/Users/scott/Library/texmf/tex/generic/pgfCVS2010-04-18_TDS/tex/generic/pgf/li -braries/shapes/pgflibraryshapes.multipart.code.tex -File: pgflibraryshapes.multipart.code.tex 2010/01/07 v2.00-cvs (rcs-revision 1. -2) -\pgfnodepartlowerbox=\box38 -\pgfnodeparttwobox=\box39 -\pgfnodepartthreebox=\box40 -\pgfnodepartfourbox=\box41 -\pgfnodeparttwentybox=\box42 -\pgfnodepartnineteenbox=\box43 -\pgfnodeparteighteenbox=\box44 -\pgfnodepartseventeenbox=\box45 -\pgfnodepartsixteenbox=\box46 -\pgfnodepartfifteenbox=\box47 -\pgfnodepartfourteenbox=\box48 -\pgfnodepartthirteenbox=\box49 -\pgfnodeparttwelvebox=\box50 -\pgfnodepartelevenbox=\box51 -\pgfnodeparttenbox=\box52 -\pgfnodepartninebox=\box53 -\pgfnodeparteightbox=\box54 -\pgfnodepartsevenbox=\box55 -\pgfnodepartsixbox=\box56 -\pgfnodepartfivebox=\box57 -))) -(/usr/local/texlive/2009/texmf-dist/tex/latex/hyperref/hyperref.sty -Package: hyperref 2009/10/09 v6.79a Hypertext links for LaTeX - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/ifpdf.sty -Package: ifpdf 2009/04/10 v2.0 Provides the ifpdf switch (HO) -Package ifpdf Info: pdfTeX in pdf mode detected. -) -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/ifvtex.sty -Package: ifvtex 2008/11/04 v1.4 Switches for detecting VTeX and its modes (HO) -Package ifvtex Info: VTeX not detected. -) -(/usr/local/texlive/2009/texmf-dist/tex/generic/ifxetex/ifxetex.sty -Package: ifxetex 2009/01/23 v0.5 Provides ifxetex conditional -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/oberdiek/hycolor.sty -Package: hycolor 2009/10/02 v1.5 Code for color options of hyperref/bookmark (H -O) - -(/usr/local/texlive/2009/texmf-dist/tex/latex/oberdiek/xcolor-patch.sty -Package: xcolor-patch 2009/10/02 xcolor patch -)) -\@linkdim=\dimen159 -\Hy@linkcounter=\count120 -\Hy@pagecounter=\count121 - -(/usr/local/texlive/2009/texmf-dist/tex/latex/hyperref/pd1enc.def -File: pd1enc.def 2009/10/09 v6.79a Hyperref: PDFDocEncoding definition (HO) -) -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/etexcmds.sty -Package: etexcmds 2007/12/12 v1.2 Prefix for e-TeX command names (HO) - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/infwarerr.sty -Package: infwarerr 2007/09/09 v1.2 Providing info/warning/message (HO) -) -Package etexcmds Info: Could not find \expanded. -(etexcmds) That can mean that you are not using pdfTeX 1.50 or -(etexcmds) that some package has redefined \expanded. -(etexcmds) In the latter case, load this package earlier. -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/latexconfig/hyperref.cfg -File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/oberdiek/kvoptions.sty -Package: kvoptions 2009/08/13 v3.4 Keyval support for LaTeX options (HO) - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty -Package: kvsetkeys 2009/07/30 v1.5 Key value parser with default handler suppor -t (HO) -)) -Package hyperref Info: Hyper figures OFF on input line 2975. -Package hyperref Info: Link nesting OFF on input line 2980. -Package hyperref Info: Hyper index ON on input line 2983. -Package hyperref Info: Plain pages OFF on input line 2990. -Package hyperref Info: Backreferencing OFF on input line 2995. - -Implicit mode ON; LaTeX internals redefined -Package hyperref Info: Bookmarks ON on input line 3191. -(/usr/local/texlive/2009/texmf-dist/tex/latex/ltxmisc/url.sty -\Urlmuskip=\muskip11 -Package: url 2006/04/12 ver 3.3 Verb mode for urls, etc. -) -LaTeX Info: Redefining \url on input line 3428. - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/bitset.sty -Package: bitset 2007/09/28 v1.0 Data type bit set (HO) - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/intcalc.sty -Package: intcalc 2007/09/27 v1.1 Expandable integer calculations (HO) -) -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/bigintcalc.sty -Package: bigintcalc 2007/11/11 v1.1 Expandable big integer calculations (HO) - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty -Package: pdftexcmds 2009/09/23 v0.6 LuaTeX support for pdfTeX utility functions - (HO) - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/ifluatex.sty -Package: ifluatex 2009/04/17 v1.2 Provides the ifluatex switch (HO) -Package ifluatex Info: LuaTeX not detected. -) -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/ltxcmds.sty -Package: ltxcmds 2009/08/05 v1.0 Some LaTeX kernel commands for general use (HO -) -) -Package pdftexcmds Info: LuaTeX not detected. -Package pdftexcmds Info: \pdf@primitive is available. -Package pdftexcmds Info: \pdf@ifprimitive is available. -))) -\Fld@menulength=\count122 -\Field@Width=\dimen160 -\Fld@charsize=\dimen161 -\Field@toks=\toks35 -Package hyperref Info: Hyper figures OFF on input line 4377. -Package hyperref Info: Link nesting OFF on input line 4382. -Package hyperref Info: Hyper index ON on input line 4385. -Package hyperref Info: backreferencing OFF on input line 4392. -Package hyperref Info: Link coloring OFF on input line 4397. -Package hyperref Info: Link coloring with OCG OFF on input line 4402. -Package hyperref Info: PDF/A mode OFF on input line 4407. - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/atbegshi.sty -Package: atbegshi 2008/07/31 v1.9 At begin shipout hook (HO) -) -\Hy@abspage=\count123 -\c@Item=\count124 -\c@Hfootnote=\count125 -) -*hyperref using default driver hpdftex* -(/usr/local/texlive/2009/texmf-dist/tex/latex/hyperref/hpdftex.def -File: hpdftex.def 2009/10/09 v6.79a Hyperref driver for pdfTeX -\Fld@listcount=\count126 -) -(./notes.aux) -\openout1 = `notes.aux'. - -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 57. -LaTeX Font Info: ... okay on input line 57. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 57. -LaTeX Font Info: ... okay on input line 57. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 57. -LaTeX Font Info: ... okay on input line 57. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 57. -LaTeX Font Info: ... okay on input line 57. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 57. -LaTeX Font Info: ... okay on input line 57. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 57. -LaTeX Font Info: ... okay on input line 57. -LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 57. -LaTeX Font Info: ... okay on input line 57. -LaTeX Font Info: Try loading font information for U+msa on input line 57. - (/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/umsa.fd -File: umsa.fd 2009/06/22 v3.00 AMS symbols A -) -LaTeX Font Info: Try loading font information for U+msb on input line 57. - -(/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/umsb.fd -File: umsb.fd 2009/06/22 v3.00 AMS symbols B -) -(/usr/local/texlive/2009/texmf-dist/tex/context/base/supp-pdf.mkii -[Loading MPS to PDF converter (version 2006.09.02).] -\scratchcounter=\count127 -\scratchdimen=\dimen162 -\scratchbox=\box58 -\nofMPsegments=\count128 -\nofMParguments=\count129 -\everyMPshowfont=\toks36 -\MPscratchCnt=\count130 -\MPscratchDim=\dimen163 -\MPnumerator=\count131 -\everyMPtoPDFconversion=\toks37 -) ABD: EveryShipout initializing macros -Package hyperref Info: Link coloring OFF on input line 57. - -(/usr/local/texlive/2009/texmf-dist/tex/latex/hyperref/nameref.sty -Package: nameref 2007/05/29 v2.31 Cross-referencing by name of section - -(/usr/local/texlive/2009/texmf-dist/tex/latex/oberdiek/refcount.sty -Package: refcount 2008/08/11 v3.1 Data extraction from references (HO) -) -\c@section@level=\count132 -) -LaTeX Info: Redefining \ref on input line 57. -LaTeX Info: Redefining \pageref on input line 57. - -(./notes.out) (./notes.out) -\@outlinefile=\write4 -\openout4 = `notes.out'. - -\AtBeginShipoutBox=\box59 -LaTeX Font Info: Try loading font information for OMS+cmr on input line 60. - -(/usr/local/texlive/2009/texmf-dist/tex/latex/base/omscmr.fd -File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions -) -LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <10.95> not available -(Font) Font shape `OMS/cmsy/m/n' tried instead on input line 60. - [1{/usr/local/texlive/2009/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] [2] -(./notes.aux) ) -Here is how much of TeX's memory you used: - 15137 strings out of 493848 - 290408 string characters out of 3149207 - 371236 words of memory out of 3000000 - 17952 multiletter control sequences out of 15000+200000 - 11778 words of font info for 45 fonts, out of 3000000 for 9000 - 875 hyphenation exceptions out of 8191 - 56i,6n,56p,833b,307s stack positions out of 5000i,500n,10000p,200000b,50000s - -< -/usr/local/texlive/2009/texmf-dist/fonts/type1/public/amsfonts/cm/cmti9.pfb> -Output written on notes.pdf (2 pages, 133272 bytes). -PDF statistics: - 71 PDF objects out of 1000 (max. 8388607) - 5 named destinations out of 1000 (max. 500000) - 29 words of extra memory for PDF output out of 10000 (max. 10000000) - diff -r 2d89072c8b33 -r 1d99796a73f3 talks/201101-Teichner/notes.out --- a/talks/201101-Teichner/notes.out Fri Jan 21 20:53:49 2011 -0800 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,2 +0,0 @@ -\BOOKMARK [1][-]{section.1}{1. Examples of fields}{} -\BOOKMARK [2][-]{subsection.1.1}{1.1. Maps to a target space}{section.1} diff -r 2d89072c8b33 -r 1d99796a73f3 talks/201101-Teichner/notes.pdf Binary file talks/201101-Teichner/notes.pdf has changed diff -r 2d89072c8b33 -r 1d99796a73f3 talks/201101-Teichner/notes.synctex.gz Binary file talks/201101-Teichner/notes.synctex.gz has changed diff -r 2d89072c8b33 -r 1d99796a73f3 talks/201101-Teichner/notes.tex --- a/talks/201101-Teichner/notes.tex Fri Jan 21 20:53:49 2011 -0800 +++ b/talks/201101-Teichner/notes.tex Sun Jan 23 13:30:25 2011 -0800 @@ -1,6 +1,14 @@ \documentclass[11pt]{amsart} -\usepackage{amsthm} +% margin stuff +\setlength{\textwidth}{6.25in} +\setlength{\oddsidemargin}{0in} +\setlength{\evensidemargin}{0in} +\setlength{\textheight}{8.5in} +\setlength{\topmargin}{-.25in} + + +\usepackage{amsthm,amsmath} \theoremstyle{plain} \newtheorem{prop}{Proposition}[section] \newtheorem{conj}[prop]{Conjecture} @@ -23,6 +31,7 @@ \newcommand{\bdy}{\partial} \newcommand{\iso}{\cong} +\newcommand{\tensor}{\otimes} \newcommand{\restrict}[2]{#1{}_{\mid #2}{}} \newcommand{\set}[1]{\left\{#1\right\}} @@ -48,7 +57,7 @@ % \DeclareMathOperator{\pr}{pr} etc. \def\declaremathop#1{\expandafter\DeclareMathOperator\csname #1\endcsname{#1}} -\applytolist{declaremathop}{Maps}{Diff}{Homeo}; +\applytolist{declaremathop}{Maps}{Diff}{Homeo}{Hom}; \title{Fields and local relations} \author{Scott Morrison} @@ -67,11 +76,11 @@ There are two main examples which will motivate the precise definitions, so we'll go and understand these in some detail first. \subsection{Maps to a target space} -Fixing a target space $T$, we can define a system of fields $\Maps(- \to T)$. Actually, it's best to modify this a bit, just in the top dimension, where we'll linearize in the following way: define $\Maps(X^n \to T)$ on an $n$-manifold $X$ to be \emph{formal linear combinations} of maps to $T$, extending a \emph{fixed} linear map on $\bdy X$. (That is, arbitrary boundary conditions are allowed, but we can only take linear combinations of maps with the same boundary conditions.) This will be a common feature for all `linear' systems of fields: at the top dimension the set associated to an $n$-manifold will break up into a vector space for each possibly boundary condition. +Fixing a target space $T$, we can define a system of fields $\Maps(- \to T)$. Actually, it's best to modify this a bit, just in the top dimension, where we'll linearize in the following way: define $\Maps(X^n \to T)$ on an $n$-manifold $X$ to be \emph{formal linear combinations} of maps to $T$, extending a \emph{fixed} linear map on $\bdy X$. (That is, arbitrary boundary conditions are allowed, but we can only take linear combinations of maps with the same boundary conditions.) This will be a common feature for all `linear' systems of fields: at the top dimension the set associated to an $n$-manifold will break up into a vector space for each possible boundary condition. What then are the local relations? We define $U(B)$, the local relations on an $n$-ball $B$, to be the subspace of $\Maps(B \to T)$ spanned by differences $f-g$ of maps which are homotopic rel boundary. -Let's identify some useful features of this system of fields and local relations; momentarily these will inspire the axioms. +Let's identify some useful features of this system of fields and local relations; later these will inspire the axioms. \begin{description} \item[Boundaries] We can restrict $f: X \to T$ to a map $\bdy f: \bdy X \to T$. @@ -81,4 +90,85 @@ If $f, g: X \to T$ are homotopic maps, and $h: Y \to T$ is an arbitrary map, and all agree on the $(n-1)$-ball $S$, then $f \bullet_S h$ and $g \bullet_S h$ are again homotopic to each other. Said otherwise, $f-g$ was a local relation on $X$, and $(f-g) \bullet_S h$ is a local relation on $X \cup_S Y$. \end{description} +\subsection{String diagrams} +This will be a more complicated example, and also a very important one. Essentially, it's a recipe for constructing a system of fields and local relations from a suitable $n$-category. As we haven't yet talked about a definition of an $n$-category, I'll be somewhat vague about what we actually require from one. I'll spell out the construction precisely in the cases $n=1$ and $n=2$, where there are familiar concrete definitions to work with. Later, in \S 6, when we introduce our notion of a `disklike $n$-category', you should think of the definition as being optimized to make the transition back and forth between $n$-categories and systems of fields as straightforward as possible. + +The core idea is to fix a diagrammatic calculus which represents the algebraic operations in an $n$-category. The diagrams are drawn in $n$-balls. Each diagram is a recipe for composing some collection of morphisms. Modifying the diagram by an isotopy should not change the result of the corresponding composition (perhaps for some types of $n$-categories not all isotopies should be allowed, but we'll generally work in `most invariant' situation, which roughly corresponds to the $n$-categories have lots of nice duality properties). Moreover, the allowed diagrams should be specified by some `local rule': e.g. the diagrams are locally modeled on a certain collection of subdiagrams. Because the diagrams are specified in this way, we can then allow ourselves to draw the same diagrams on arbitrary manifolds, and these become our fields. When we restrict our attention to balls, the `local relations' are precisely those diagrams are a recipe for a composition which is zero in the $n$-category. + +There are several alternative schemes for realizing this idea. Two that may be familiar are `string diagrams' (which we'll discuss in detail below, beloved of quantum topologists) and `pasting diagrams' (familiar to category theorists). In fact, these are geometrically dual to each other (and one could look at them as limiting cases of diagrams based on handle decompositions, as the core or co-core diameter goes to zero). The use of string diagrams significantly predates the term (or indeed `quantum topology', and perhaps also `higher category'): Penrose was using them by the late '60s. + +Fix an $n$-category $\cC$, according to your favorite definition. Suppose that it has `the right sort of duality'. Let's state the general definition, but then to preserve sanity unwind it in dimensions $1$ and $2$. +A string diagram on a $k$-manifold $X$ consists of +\begin{itemize} +\item a cell decomposition of X; +\item a general position homeomorphism from the link of each $j$-cell to the boundary of the standard $(k-j)$-dimensional bihedron; and +\item a labelling of each $j$-cell by a $(k-j)$-dimensional morphism of $\cC$, with domain and range determined by the labelings of the link of the $j$-cell. +\end{itemize} +Actually, this data is just a representative of a string diagram, and we consider this data up to a certain equivalence; we can modify the homeomorphism parametrizing the link of a $j$-cell, at the expense of replacing the corresponding $(k-j)$-morphism labelling that $j$-cell by the `appropriate dual'. + +When $X$ has boundary, we ask that each cell meets the boundary transversely (so cells meeting the boundary are only half-cells). Note that this means that a string diagram on $X$ restricts to a string diagram on $\bdy X$. + +\subsubsection{$n=1$} +Now suppose $n=1$; here the right sort of duality means that we want $\cC$ to be a $*$-$1$-category. + +A string diagram on a $0$-manifold consists just of a labeling of each point with an object of $\cC$. + +A string diagram on a $1$-manifold $S$ consists of +\begin{itemize} +\item a cell decomposition of $S$: the $0$-cells form a finite collection of points in the interior of $S$, the $1$-cells are the complementary intervals; +\item a labeling of each $1$-cell by an object of $\cC$; +\item a transverse orientation of each $0$-cell; +\item a labeling of each $0$-cell by a morphism of $\cC$, with source and target given by the labels on the $1$-cells on the `incoming' and `outgoing' sides of the $0$-cell. +\end{itemize} +As above, we allow ourselves to switch the transverse orientation of $0$-cell, as long as we replace the label on that $0$-cell by its $*$. + +Note that if $S$ is an interval, we can interpret the string diagram as a recipe for a morphism in $\cC$, at least after we fix one boundary point as `incoming' and the other `outgoing'. There's a (half-)$1$-cell adjacent to the incoming boundary point, and another adjacent to the outgoing boundary point. These will be the source and target of the morphism we build. Flip all the transverse orientations of the $0$-cells so they are compatible with the overall orientation of the interval. Now we simply compose all the morphisms living on the $0$-cells. + +If $\cC$ were a $*$-algebra (i.e., it has only one $0$-morphism) we could forget the labels on the $1$-cells, and a string diagram would just consist of a finite collection of oriented points in the interior, labelled by elements of the algebra, up to flipping an orientation and taking $*$ of the corresponding element. + +\subsubsection{$n=2$} +Now suppose $\cC$ is a pivotal $2$-category. (The usual definition in the literature is for a pivotal monoidal category; by a pivotal $2$-category we mean to take the axioms for a pivotal monoidal category, think of a monoidal category as a $2$-category with only one object, then forget that restriction. There is an unfortunate other use of the phrase `pivotal $2$-category' in the literature, which actually refers to a $3$-category, but that's their fault.) + +A string diagram on a $0$-manifold is a labeling of each point by an object (a.k.a. a $0$-morphism) of $\cC$. A string diagram on a $1$-manifold is exactly as in the $n=1$ case, with labels taken from the $0$- and $1$-morphisms of $\cC$. + +A string diagram on a $2$-manifold $Y$ consists of +\begin{itemize} +\item a cell decomposition of $Y$: the $1$-skeleton is a graph embedded in $Y$, and the $2$-cells ensure that each component of the complement of this graph is a disk); +\item a $0$-morphism of $\cC$ on each $2$-cell; +\item a transverse orientation of each $1$-cell; +\item a $1$-morphism of $\cC$ on each $1$-cell, with source and target given by the labels on the $2$-cells on the incoming and outgoing sides; +\item for each $0$-cell, a homeomorphism of its link to $S^1$ (this is `the boundary of the standard $2$-bihedron') such that none of the intersections of $1$-cells with the link are sent to $\pm 1$ (this is the `general position' requirement; the points $\pm 1$ are special, as part of the structure of a standard bihedron); +\item a $2$-morphism of $\cC$ for each $0$-cell, with source and target given by the labels of the $1$-cells crossing the incoming and outgoing faces of the bihedron. +\end{itemize} + +Let's spell out this stuff about bihedra. Suppose the neighborhood of a $0$-cell looks like the following. +$$ +\begin{tikzpicture} +\draw[fill] (0,0) circle (0.5mm) node[anchor=north west] (x) {$x$}; +\draw (0,0) to[out=135,in=-90] node[above=10] {$b$} (-1,2); +\draw (0,0) to[out=10,in=-150] node[right=15] {$c$} (3,1); +\draw (0,0) -- node[below right] {$a$} (0,-2); +\draw[red,->] (0,-1.5) -- +(0.2,0); +\draw[red,->] (-0.85,1.2) -- +(0.2,0); +\draw[red,->] (2.5,0.7) -- +(0.2,0); +\draw[dashed] (-2,0) arc (135:45:2.81) node[anchor=west] {\tiny $+1$} arc (-45:-135:2.81) node[anchor=east] {\tiny $-1$}; +\end{tikzpicture} +$$ +(Here the small arrows indicate the transverse orientation of the $1$-cells, and the dashes indicate a parametrization of the link as the boundary of a bihedron.) +Which $2$-morphism space of $\cC$ should the label $x$ belong to? It should be an element of $\Hom(a, b \tensor c)$. But now what if we modify the parametrization as follows: +$$ +\begin{tikzpicture} +\draw[fill] (0,0) circle (0.5mm) node[anchor=north west] (x) {$x'$}; +\draw (0,0) to[out=135,in=-90] node[above=10] {$b$} (-1,2); +\draw (0,0) to[out=10,in=-150] node[right=15] {$c$} (3,1); +\draw (0,0) -- node[below right] {$a$} (0,-2); +\draw[red,->] (0,-1.5) -- +(0.2,0); +\draw[red,->] (-0.85,1.2) -- +(0.2,0); +\draw[red,->] (2.5,0.7) -- +(0.2,0); +\draw[dashed] (225:2) arc (180:90:2.81) node[anchor=west] {\tiny $+1$} arc (0:-90:2.81) node[anchor=east] {\tiny $-1$}; +\end{tikzpicture} +$$ +What is the element $x'$? It should be an element of $\Hom(a \tensor c^*, b)$, and in a pivotal $2$-category this space is naturally isomorphic to $\Hom(a, b \tensor c)$, so we just choose $x'$ to be the image of $x$ under this isomorphism. + +Finally, when $Y$ is a ball, how do we interpret a string diagram on $Y$ as a $2$-morphism in $\cC$? First choose a parametrization of $Y$ as a standard bihedron; now `sweep out' the interior of $Y$. We'll build a $2$-morphism from the tensor product of the $1$-morphisms labeling the $1$-cells meeting the lower boundary to the tensor product of the $1$-morphisms labelling the upper boundary. As we pass critical points in the $1$-cells, apply a pairing or copairing map from the category. As we pass $0$-cells, modify the parametrization to match the direction we're sweeping out, and compose with the label of the $0$-cell, acting on the appropriate tensor factors. \end{document}