API tools faq
paste
Advertisement
Guest User

Log file

a guest
Aug 19th, 2016
167
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 55.33 KB | None | 0 0
raw download clone embed print report
  1. [verbose]: Creating arXiv submission AutoTeX object
  2. [verbose]: Calling arXiv submission AutoTeX process
  3. [verbose]: TeX/AutoTeX.pm: admin_timeout = minion
  4. [verbose]: <Monads-Final-Version.bbl> is of type 'TeX auxiliary'.
  5. [verbose]: <Monads-Final-Version.tex> is of type 'LATEX2e'.
  6. [verbose]: ~~~~~~~~~~~ Processing file 'Monads-Final-Version.tex'
  7. [verbose]: TEXMFCNF is unset.
  8. [verbose]: ~~~~~~~~~~~ Running hlatex for the first time ~~~~~~~~
  9. [verbose]: Running: "(export HOME=/tmp PATH=/texlive/2011/bin/arch:/bin; cd /submissions/1643733/ && latex 'Monads-Final-Version.tex' < /dev/null)" 2>&1
  10. [verbose]: This is pdfTeX, Version 3.1415926-2.3-1.40.12 (TeX Live 2011)
  11. restricted \write18 enabled.
  12. entering extended mode
  13. (./Monads-Final-Version.tex
  14. LaTeX2e <2011/06/27>
  15. Babel <v3.8m> and hyphenation patterns for english, dumylang, nohyphenation, ge
  16. rman-x-2011-07-01, ngerman-x-2011-07-01, afrikaans, ancientgreek, ibycus, arabi
  17. c, armenian, basque, bulgarian, catalan, pinyin, coptic, croatian, czech, danis
  18. h, dutch, ukenglish, usenglishmax, esperanto, estonian, ethiopic, farsi, finnis
  19. h, french, galician, german, ngerman, swissgerman, monogreek, greek, hungarian,
  20. icelandic, assamese, bengali, gujarati, hindi, kannada, malayalam, marathi, or
  21. iya, panjabi, tamil, telugu, indonesian, interlingua, irish, italian, kurmanji,
  22. lao, latin, latvian, lithuanian, mongolian, mongolianlmc, bokmal, nynorsk, pol
  23. ish, portuguese, romanian, russian, sanskrit, serbian, serbianc, slovak, sloven
  24. ian, spanish, swedish, turkish, turkmen, ukrainian, uppersorbian, welsh, loaded
  25. .
  26. (/texlive/2011/texmf-dist/tex/latex/amscls/amsart.cls
  27. Document Class: amsart 2009/07/02 v2.20.1
  28. (/texlive/2011/texmf-dist/tex/latex/amsmath/amsmath.sty
  29. For additional information on amsmath, use the `?' option.
  30. (/texlive/2011/texmf-dist/tex/latex/amsmath/amstext.sty
  31. (/texlive/2011/texmf-dist/tex/latex/amsmath/amsgen.sty))
  32. (/texlive/2011/texmf-dist/tex/latex/amsmath/amsbsy.sty)
  33. (/texlive/2011/texmf-dist/tex/latex/amsmath/amsopn.sty))
  34. (/texlive/2011/texmf-dist/tex/latex/amsfonts/umsa.fd)
  35. (/texlive/2011/texmf-dist/tex/latex/amsfonts/amsfonts.sty))
  36. (/texlive/2011/texmf-dist/tex/latex/pigpen/pigpen.sty
  37. (/texlive/2011/texmf-dist/tex/latex/pigpen/pigpen.tex))
  38. (/texlive/2011/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty)
  39. (/texlive/2011/texmf-dist/tex/latex/tikz-cd/tikz-cd.sty
  40. (/texlive/2011/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
  41. (/texlive/2011/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
  42. (/texlive/2011/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
  43. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex)
  44. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
  45. (/texlive/2011/texmf-dist/tex/latex/ms/everyshi.sty))
  46. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex))
  47. (/texlive/2011/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
  48. (/texlive/2011/texmf-dist/tex/latex/graphics/graphicx.sty
  49. (/texlive/2011/texmf-dist/tex/latex/graphics/keyval.sty)
  50. (/texlive/2011/texmf-dist/tex/latex/graphics/graphics.sty
  51. (/texlive/2011/texmf-dist/tex/latex/graphics/trig.sty)
  52. (/texlive/2011/texmf-dist/tex/latex/latexconfig/graphics.cfg)
  53. (/texlive/2011/texmf-dist/tex/latex/graphics/dvips.def)))
  54. (/texlive/2011/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
  55. (/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
  56. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
  57. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex))
  58. (/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg)
  59. (/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-dvips.def
  60. (/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-postscript.
  61. def)))
  62. (/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex)
  63. (/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex))
  64. (/texlive/2011/texmf-dist/tex/latex/xcolor/xcolor.sty
  65. (/texlive/2011/texmf-dist/tex/latex/latexconfig/color.cfg))
  66. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
  67. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
  68. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
  69. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
  70. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex)
  71. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
  72. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex)
  73.  
  74. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.c
  75. ode.tex)
  76. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex
  77. )
  78. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code
  79. .tex)
  80. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex)
  81. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex)
  82. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex))
  83. ) (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex))
  84. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex)
  85. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.
  86. tex)
  87. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex)
  88. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex)
  89. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.t
  90. ex)
  91. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.cod
  92. e.tex)
  93. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex)
  94. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex)
  95. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code
  96. .tex)
  97. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex)
  98. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex)
  99. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
  100. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex))
  101. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex)
  102. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.t
  103. ex)
  104. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex))
  105. ) (/texlive/2011/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex)
  106. (/texlive/2011/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex)
  107. (/texlive/2011/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty)
  108. (/texlive/2011/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
  109. )) (/texlive/2011/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
  110. (/texlive/2011/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
  111. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex))
  112. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex))
  113. (/texlive/2011/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
  114. (/texlive/2011/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code
  115. .tex)
  116. (/texlive/2011/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex)
  117. (/texlive/2011/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibr
  118. arytopaths.code.tex)))
  119. (/texlive/2011/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibr
  120. arymatrix.code.tex)
  121. (/texlive/2011/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex)
  122. (/texlive/2011/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibr
  123. arydecorations.pathmorphing.code.tex
  124. (/texlive/2011/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibr
  125. arydecorations.code.tex
  126. (/texlive/2011/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.code.tex
  127. ))
  128. (/texlive/2011/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecor
  129. ations.pathmorphing.code.tex)))
  130. (/texlive/2011/texmf-dist/tex/latex/jknapltx/mathrsfs.sty)
  131. (/texlive/2011/texmf-dist/tex/latex/tools/array.sty)
  132. (/texlive/2011/texmf-dist/tex/latex/amsmath/amscd.sty)
  133. (/texlive/2011/texmf-dist/tex/latex/amsfonts/amssymb.sty)
  134. (/texlive/2011/texmf-dist/tex/latex/base/latexsym.sty)
  135. (/texlive/2011/texmf-dist/tex/latex/amsfonts/eucal.sty)
  136. (/texlive/2011/texmf-dist/tex/generic/xypic/xy.sty
  137. (/texlive/2011/texmf-dist/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes,
  138. docmode, (/texlive/2011/texmf-dist/tex/generic/xypic/xyrecat.tex)
  139. (/texlive/2011/texmf-dist/tex/generic/xypic/xyidioms.tex)
  140.  
  141. Xy-pic version 3.8.6 <2011/05/27>
  142. Copyright (c) 1991-2011 by Kristoffer H. Rose <krisrose@tug.org>
  143. Xy-pic is free software: see the User's Guide for details.
  144.  
  145. Loading kernel: messages; fonts; allocations: state, direction,
  146. utility macros; pictures: \xy, positions, objects, decorations;
  147. kernel objects: directionals, circles, text; options; algorithms: directions,
  148. edges, connections; Xy-pic loaded)
  149. (/texlive/2011/texmf-dist/tex/generic/oberdiek/ifpdf.sty)
  150. (/texlive/2011/texmf-dist/tex/generic/xypic/xyall.tex
  151. Xy-pic option: All features v.3.8
  152. (/texlive/2011/texmf-dist/tex/generic/xypic/xycurve.tex
  153. Xy-pic option: Curve and Spline extension v.3.12 curve, circles, loaded)
  154. (/texlive/2011/texmf-dist/tex/generic/xypic/xyframe.tex
  155. Xy-pic option: Frame and Bracket extension v.3.13 loaded)
  156. (/texlive/2011/texmf-dist/tex/generic/xypic/xycmtip.tex
  157. Xy-pic option: Computer Modern tip extension v.3.7
  158. (/texlive/2011/texmf-dist/tex/generic/xypic/xytips.tex
  159. Xy-pic option: More Tips extension v.3.9 loaded) loaded)
  160. (/texlive/2011/texmf-dist/tex/generic/xypic/xyline.tex
  161. Xy-pic option: Line styles extension v.3.10 loaded)
  162. (/texlive/2011/texmf-dist/tex/generic/xypic/xyrotate.tex
  163. Xy-pic option: Rotate and Scale extension v.3.8 loaded)
  164. (/texlive/2011/texmf-dist/tex/generic/xypic/xycolor.tex
  165. Xy-pic option: Colour extension v.3.11 loaded)
  166. (/texlive/2011/texmf-dist/tex/generic/xypic/xymatrix.tex
  167. Xy-pic option: Matrix feature v.3.14 loaded)
  168. (/texlive/2011/texmf-dist/tex/generic/xypic/xyarrow.tex
  169. Xy-pic option: Arrow and Path feature v.3.9 path, \ar, loaded)
  170. (/texlive/2011/texmf-dist/tex/generic/xypic/xygraph.tex
  171. Xy-pic option: Graph feature v.3.11 loaded) loaded))
  172. (/texlive/2011/texmf-dist/tex/latex/hyperref/hyperref.sty
  173. (/texlive/2011/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
  174. (/texlive/2011/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty))
  175. (/texlive/2011/texmf-dist/tex/generic/ifxetex/ifxetex.sty)
  176. (/texlive/2011/texmf-dist/tex/latex/oberdiek/kvoptions.sty)
  177. (/texlive/2011/texmf-dist/tex/latex/hyperref/pd1enc.def)
  178. (/texlive/2011/texmf-config/tex/latex/latexconfig/hyperref.cfg)
  179. (/texlive/2011/texmf-dist/tex/latex/url/url.sty))
  180.  
  181. Package hyperref Message: Driver (default): hdvips.
  182.  
  183. (/texlive/2011/texmf-dist/tex/latex/hyperref/hdvips.def
  184. (/texlive/2011/texmf-dist/tex/latex/hyperref/pdfmark.def
  185. (/texlive/2011/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty)))
  186. (/texlive/2011/texmf-dist/tex/latex/cite/cite.sty)
  187. No file Monads-Final-Version.aux.
  188. (/texlive/2011/texmf-dist/tex/latex/amsfonts/umsa.fd)
  189. (/texlive/2011/texmf-dist/tex/latex/amsfonts/umsb.fd)
  190. (/texlive/2011/texmf-dist/tex/latex/stmaryrd/Ustmry.fd)
  191. (/texlive/2011/texmf-dist/tex/latex/jknapltx/ursfs.fd)
  192. (/texlive/2011/texmf-dist/tex/latex/base/ulasy.fd)
  193. ABD: EveryShipout initializing macros
  194. (/texlive/2011/texmf-dist/tex/latex/hyperref/nameref.sty
  195. (/texlive/2011/texmf-dist/tex/generic/oberdiek/gettitlestring.sty))
  196.  
  197. Package hyperref Warning: Rerun to get /PageLabels entry.
  198.  
  199.  
  200. LaTeX Warning: Reference `exam: modules not compatible with triangulation' on p
  201. age 1 undefined on input line 334.
  202.  
  203.  
  204. LaTeX Warning: Citation `Balmer' on page 1 undefined on input line 334.
  205.  
  206.  
  207. LaTeX Warning: Citation `Balmer' on page 1 undefined on input line 334.
  208.  
  209.  
  210. LaTeX Warning: Citation `Balmer-Neeman-Thomasson' on page 1 undefined on input
  211. line 334.
  212.  
  213.  
  214. LaTeX Warning: Citation `Balmer-stacks' on page 1 undefined on input line 334.
  215.  
  216.  
  217. LaTeX Warning: Citation `Balmer-equivariant' on page 1 undefined on input line
  218. 334.
  219.  
  220.  
  221. LaTeX Warning: Citation `Balmer-equivariant' on page 1 undefined on input line
  222. 334.
  223.  
  224.  
  225. LaTeX Warning: Citation `Balmer' on page 1 undefined on input line 334.
  226.  
  227.  
  228. LaTeX Warning: Reference `defn: stable' on page 1 undefined on input line 336.
  229.  
  230.  
  231. LaTeX Warning: Reference `defn: strong' on page 1 undefined on input line 336.
  232.  
  233.  
  234. LaTeX Warning: Reference `rem: non-strong stable derivators' on page 1 undefine
  235. d on input line 336.
  236.  
  237.  
  238. LaTeX Warning: Citation `Kelly-Ross' on page 1 undefined on input line 343.
  239.  
  240.  
  241. LaTeX Warning: Citation `Borceux1' on page 1 undefined on input line 343.
  242.  
  243.  
  244. LaTeX Warning: Citation `Kelly-Ross' on page 1 undefined on input line 343.
  245.  
  246.  
  247. LaTeX Warning: Citation `Kelly' on page 1 undefined on input line 343.
  248.  
  249. (/texlive/2011/texmf-dist/tex/latex/amsfonts/ueus.fd)
  250. ! Missing \endcsname inserted.
  251. <to be read again>
  252. \mu
  253. l.350 \end{tikzcd}
  254.  
  255. ?
  256. ! Emergency stop.
  257. <to be read again>
  258. \mu
  259. l.350 \end{tikzcd}
  260.  
  261. No pages of output.
  262. Transcript written on Monads-Final-Version.log.
  263.  
  264. [verbose]: latex 'Monads-Final-Version.tex' failed.
  265. [verbose]: Removing (La)TeX AUX file called 'Monads-Final-Version.out' (1471644031 >= 1471644031)
  266. [verbose]: Removing (La)TeX AUX file called 'Monads-Final-Version.aux' (1471644031 >= 1471644031)
  267. [verbose]: Removing (La)TeX AUX file called 'Monads-Final-Version.toc' (1471644031 >= 1471644031)
  268. [verbose]: TEXMFCNF is unset.
  269. [verbose]: ~~~~~~~~~~~ Running latex for the first time ~~~~~~~~
  270. [verbose]: Running: "(export HOME=/tmp PATH=/texlive/2011/bin/arch:/bin; cd /submissions/1643733/ && latex 'Monads-Final-Version.tex' < /dev/null)" 2>&1
  271. [verbose]: This is pdfTeX, Version 3.1415926-2.3-1.40.12 (TeX Live 2011)
  272. restricted \write18 enabled.
  273. entering extended mode
  274. (./Monads-Final-Version.tex
  275. LaTeX2e <2011/06/27>
  276. Babel <v3.8m> and hyphenation patterns for english, dumylang, nohyphenation, ge
  277. rman-x-2011-07-01, ngerman-x-2011-07-01, afrikaans, ancientgreek, ibycus, arabi
  278. c, armenian, basque, bulgarian, catalan, pinyin, coptic, croatian, czech, danis
  279. h, dutch, ukenglish, usenglishmax, esperanto, estonian, ethiopic, farsi, finnis
  280. h, french, galician, german, ngerman, swissgerman, monogreek, greek, hungarian,
  281. icelandic, assamese, bengali, gujarati, hindi, kannada, malayalam, marathi, or
  282. iya, panjabi, tamil, telugu, indonesian, interlingua, irish, italian, kurmanji,
  283. lao, latin, latvian, lithuanian, mongolian, mongolianlmc, bokmal, nynorsk, pol
  284. ish, portuguese, romanian, russian, sanskrit, serbian, serbianc, slovak, sloven
  285. ian, spanish, swedish, turkish, turkmen, ukrainian, uppersorbian, welsh, loaded
  286. .
  287. (/texlive/2011/texmf-dist/tex/latex/amscls/amsart.cls
  288. Document Class: amsart 2009/07/02 v2.20.1
  289. (/texlive/2011/texmf-dist/tex/latex/amsmath/amsmath.sty
  290. For additional information on amsmath, use the `?' option.
  291. (/texlive/2011/texmf-dist/tex/latex/amsmath/amstext.sty
  292. (/texlive/2011/texmf-dist/tex/latex/amsmath/amsgen.sty))
  293. (/texlive/2011/texmf-dist/tex/latex/amsmath/amsbsy.sty)
  294. (/texlive/2011/texmf-dist/tex/latex/amsmath/amsopn.sty))
  295. (/texlive/2011/texmf-dist/tex/latex/amsfonts/umsa.fd)
  296. (/texlive/2011/texmf-dist/tex/latex/amsfonts/amsfonts.sty))
  297. (/texlive/2011/texmf-dist/tex/latex/pigpen/pigpen.sty
  298. (/texlive/2011/texmf-dist/tex/latex/pigpen/pigpen.tex))
  299. (/texlive/2011/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty)
  300. (/texlive/2011/texmf-dist/tex/latex/tikz-cd/tikz-cd.sty
  301. (/texlive/2011/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
  302. (/texlive/2011/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
  303. (/texlive/2011/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
  304. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex)
  305. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
  306. (/texlive/2011/texmf-dist/tex/latex/ms/everyshi.sty))
  307. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex))
  308. (/texlive/2011/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
  309. (/texlive/2011/texmf-dist/tex/latex/graphics/graphicx.sty
  310. (/texlive/2011/texmf-dist/tex/latex/graphics/keyval.sty)
  311. (/texlive/2011/texmf-dist/tex/latex/graphics/graphics.sty
  312. (/texlive/2011/texmf-dist/tex/latex/graphics/trig.sty)
  313. (/texlive/2011/texmf-dist/tex/latex/latexconfig/graphics.cfg)
  314. (/texlive/2011/texmf-dist/tex/latex/graphics/dvips.def)))
  315. (/texlive/2011/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
  316. (/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
  317. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
  318. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex))
  319. (/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg)
  320. (/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-dvips.def
  321. (/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-postscript.
  322. def)))
  323. (/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex)
  324. (/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex))
  325. (/texlive/2011/texmf-dist/tex/latex/xcolor/xcolor.sty
  326. (/texlive/2011/texmf-dist/tex/latex/latexconfig/color.cfg))
  327. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
  328. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
  329. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
  330. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
  331. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex)
  332. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
  333. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex)
  334.  
  335. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.c
  336. ode.tex)
  337. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex
  338. )
  339. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code
  340. .tex)
  341. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex)
  342. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex)
  343. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex))
  344. ) (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex))
  345. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex)
  346. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.
  347. tex)
  348. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex)
  349. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex)
  350. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.t
  351. ex)
  352. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.cod
  353. e.tex)
  354. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex)
  355. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex)
  356. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code
  357. .tex)
  358. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex)
  359. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex)
  360. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
  361. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex))
  362. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex)
  363. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.t
  364. ex)
  365. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex))
  366. ) (/texlive/2011/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex)
  367. (/texlive/2011/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex)
  368. (/texlive/2011/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty)
  369. (/texlive/2011/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
  370. )) (/texlive/2011/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
  371. (/texlive/2011/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
  372. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex))
  373. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex))
  374. (/texlive/2011/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
  375. (/texlive/2011/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code
  376. .tex)
  377. (/texlive/2011/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex)
  378. (/texlive/2011/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibr
  379. arytopaths.code.tex)))
  380. (/texlive/2011/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibr
  381. arymatrix.code.tex)
  382. (/texlive/2011/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex)
  383. (/texlive/2011/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibr
  384. arydecorations.pathmorphing.code.tex
  385. (/texlive/2011/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibr
  386. arydecorations.code.tex
  387. (/texlive/2011/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.code.tex
  388. ))
  389. (/texlive/2011/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecor
  390. ations.pathmorphing.code.tex)))
  391. (/texlive/2011/texmf-dist/tex/latex/jknapltx/mathrsfs.sty)
  392. (/texlive/2011/texmf-dist/tex/latex/tools/array.sty)
  393. (/texlive/2011/texmf-dist/tex/latex/amsmath/amscd.sty)
  394. (/texlive/2011/texmf-dist/tex/latex/amsfonts/amssymb.sty)
  395. (/texlive/2011/texmf-dist/tex/latex/base/latexsym.sty)
  396. (/texlive/2011/texmf-dist/tex/latex/amsfonts/eucal.sty)
  397. (/texlive/2011/texmf-dist/tex/generic/xypic/xy.sty
  398. (/texlive/2011/texmf-dist/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes,
  399. docmode, (/texlive/2011/texmf-dist/tex/generic/xypic/xyrecat.tex)
  400. (/texlive/2011/texmf-dist/tex/generic/xypic/xyidioms.tex)
  401.  
  402. Xy-pic version 3.8.6 <2011/05/27>
  403. Copyright (c) 1991-2011 by Kristoffer H. Rose <krisrose@tug.org>
  404. Xy-pic is free software: see the User's Guide for details.
  405.  
  406. Loading kernel: messages; fonts; allocations: state, direction,
  407. utility macros; pictures: \xy, positions, objects, decorations;
  408. kernel objects: directionals, circles, text; options; algorithms: directions,
  409. edges, connections; Xy-pic loaded)
  410. (/texlive/2011/texmf-dist/tex/generic/oberdiek/ifpdf.sty)
  411. (/texlive/2011/texmf-dist/tex/generic/xypic/xyall.tex
  412. Xy-pic option: All features v.3.8
  413. (/texlive/2011/texmf-dist/tex/generic/xypic/xycurve.tex
  414. Xy-pic option: Curve and Spline extension v.3.12 curve, circles, loaded)
  415. (/texlive/2011/texmf-dist/tex/generic/xypic/xyframe.tex
  416. Xy-pic option: Frame and Bracket extension v.3.13 loaded)
  417. (/texlive/2011/texmf-dist/tex/generic/xypic/xycmtip.tex
  418. Xy-pic option: Computer Modern tip extension v.3.7
  419. (/texlive/2011/texmf-dist/tex/generic/xypic/xytips.tex
  420. Xy-pic option: More Tips extension v.3.9 loaded) loaded)
  421. (/texlive/2011/texmf-dist/tex/generic/xypic/xyline.tex
  422. Xy-pic option: Line styles extension v.3.10 loaded)
  423. (/texlive/2011/texmf-dist/tex/generic/xypic/xyrotate.tex
  424. Xy-pic option: Rotate and Scale extension v.3.8 loaded)
  425. (/texlive/2011/texmf-dist/tex/generic/xypic/xycolor.tex
  426. Xy-pic option: Colour extension v.3.11 loaded)
  427. (/texlive/2011/texmf-dist/tex/generic/xypic/xymatrix.tex
  428. Xy-pic option: Matrix feature v.3.14 loaded)
  429. (/texlive/2011/texmf-dist/tex/generic/xypic/xyarrow.tex
  430. Xy-pic option: Arrow and Path feature v.3.9 path, \ar, loaded)
  431. (/texlive/2011/texmf-dist/tex/generic/xypic/xygraph.tex
  432. Xy-pic option: Graph feature v.3.11 loaded) loaded))
  433. (/texlive/2011/texmf-dist/tex/latex/hyperref/hyperref.sty
  434. (/texlive/2011/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
  435. (/texlive/2011/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty))
  436. (/texlive/2011/texmf-dist/tex/generic/ifxetex/ifxetex.sty)
  437. (/texlive/2011/texmf-dist/tex/latex/oberdiek/kvoptions.sty)
  438. (/texlive/2011/texmf-dist/tex/latex/hyperref/pd1enc.def)
  439. (/texlive/2011/texmf-config/tex/latex/latexconfig/hyperref.cfg)
  440. (/texlive/2011/texmf-dist/tex/latex/url/url.sty))
  441.  
  442. Package hyperref Message: Driver (default): hdvips.
  443.  
  444. (/texlive/2011/texmf-dist/tex/latex/hyperref/hdvips.def
  445. (/texlive/2011/texmf-dist/tex/latex/hyperref/pdfmark.def
  446. (/texlive/2011/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty)))
  447. (/texlive/2011/texmf-dist/tex/latex/cite/cite.sty)
  448. No file Monads-Final-Version.aux.
  449. (/texlive/2011/texmf-dist/tex/latex/amsfonts/umsa.fd)
  450. (/texlive/2011/texmf-dist/tex/latex/amsfonts/umsb.fd)
  451. (/texlive/2011/texmf-dist/tex/latex/stmaryrd/Ustmry.fd)
  452. (/texlive/2011/texmf-dist/tex/latex/jknapltx/ursfs.fd)
  453. (/texlive/2011/texmf-dist/tex/latex/base/ulasy.fd)
  454. ABD: EveryShipout initializing macros
  455. (/texlive/2011/texmf-dist/tex/latex/hyperref/nameref.sty
  456. (/texlive/2011/texmf-dist/tex/generic/oberdiek/gettitlestring.sty))
  457.  
  458. Package hyperref Warning: Rerun to get /PageLabels entry.
  459.  
  460.  
  461. LaTeX Warning: Reference `exam: modules not compatible with triangulation' on p
  462. age 1 undefined on input line 333.
  463.  
  464.  
  465. LaTeX Warning: Citation `Balmer' on page 1 undefined on input line 333.
  466.  
  467.  
  468. LaTeX Warning: Citation `Balmer' on page 1 undefined on input line 333.
  469.  
  470.  
  471. LaTeX Warning: Citation `Balmer-Neeman-Thomasson' on page 1 undefined on input
  472. line 333.
  473.  
  474.  
  475. LaTeX Warning: Citation `Balmer-stacks' on page 1 undefined on input line 333.
  476.  
  477.  
  478. LaTeX Warning: Citation `Balmer-equivariant' on page 1 undefined on input line
  479. 333.
  480.  
  481.  
  482. LaTeX Warning: Citation `Balmer-equivariant' on page 1 undefined on input line
  483. 333.
  484.  
  485.  
  486. LaTeX Warning: Citation `Balmer' on page 1 undefined on input line 333.
  487.  
  488.  
  489. LaTeX Warning: Reference `defn: stable' on page 1 undefined on input line 335.
  490.  
  491.  
  492. LaTeX Warning: Reference `defn: strong' on page 1 undefined on input line 335.
  493.  
  494.  
  495. LaTeX Warning: Reference `rem: non-strong stable derivators' on page 1 undefine
  496. d on input line 335.
  497.  
  498.  
  499. LaTeX Warning: Citation `Kelly-Ross' on page 1 undefined on input line 342.
  500.  
  501.  
  502. LaTeX Warning: Citation `Borceux1' on page 1 undefined on input line 342.
  503.  
  504.  
  505. LaTeX Warning: Citation `Kelly-Ross' on page 1 undefined on input line 342.
  506.  
  507.  
  508. LaTeX Warning: Citation `Kelly' on page 1 undefined on input line 342.
  509.  
  510. (/texlive/2011/texmf-dist/tex/latex/amsfonts/ueus.fd)
  511. ! Missing \endcsname inserted.
  512. <to be read again>
  513. \mu
  514. l.349 \end{tikzcd}
  515.  
  516. ?
  517. ! Emergency stop.
  518. <to be read again>
  519. \mu
  520. l.349 \end{tikzcd}
  521.  
  522. No pages of output.
  523. Transcript written on Monads-Final-Version.log.
  524.  
  525. [verbose]: latex 'Monads-Final-Version.tex' failed.
  526. [verbose]: Removing (La)TeX AUX file called 'Monads-Final-Version.out' (1471644032 >= 1471644031)
  527. [verbose]: Removing (La)TeX AUX file called 'Monads-Final-Version.aux' (1471644032 >= 1471644031)
  528. [verbose]: Removing (La)TeX AUX file called 'Monads-Final-Version.toc' (1471644032 >= 1471644031)
  529. [verbose]: TEXMFCNF is unset.
  530. [verbose]: ~~~~~~~~~~~ Running hpdflatex for the first time ~~~~~~~~
  531. [verbose]: Running: "(export HOME=/tmp PATH=/texlive/2011/bin/arch:/bin; cd /submissions/1643733/ && pdflatex 'Monads-Final-Version.tex' < /dev/null)" 2>&1
  532. [verbose]: This is pdfTeX, Version 3.1415926-2.3-1.40.12 (TeX Live 2011)
  533. restricted \write18 enabled.
  534. entering extended mode
  535. (./Monads-Final-Version.tex
  536. LaTeX2e <2011/06/27>
  537. Babel <v3.8m> and hyphenation patterns for english, dumylang, nohyphenation, ge
  538. rman-x-2011-07-01, ngerman-x-2011-07-01, afrikaans, ancientgreek, ibycus, arabi
  539. c, armenian, basque, bulgarian, catalan, pinyin, coptic, croatian, czech, danis
  540. h, dutch, ukenglish, usenglishmax, esperanto, estonian, ethiopic, farsi, finnis
  541. h, french, galician, german, ngerman, swissgerman, monogreek, greek, hungarian,
  542. icelandic, assamese, bengali, gujarati, hindi, kannada, malayalam, marathi, or
  543. iya, panjabi, tamil, telugu, indonesian, interlingua, irish, italian, kurmanji,
  544. lao, latin, latvian, lithuanian, mongolian, mongolianlmc, bokmal, nynorsk, pol
  545. ish, portuguese, romanian, russian, sanskrit, serbian, serbianc, slovak, sloven
  546. ian, spanish, swedish, turkish, turkmen, ukrainian, uppersorbian, welsh, loaded
  547. .
  548. (/texlive/2011/texmf-dist/tex/latex/amscls/amsart.cls
  549. Document Class: amsart 2009/07/02 v2.20.1
  550. (/texlive/2011/texmf-dist/tex/latex/amsmath/amsmath.sty
  551. For additional information on amsmath, use the `?' option.
  552. (/texlive/2011/texmf-dist/tex/latex/amsmath/amstext.sty
  553. (/texlive/2011/texmf-dist/tex/latex/amsmath/amsgen.sty))
  554. (/texlive/2011/texmf-dist/tex/latex/amsmath/amsbsy.sty)
  555. (/texlive/2011/texmf-dist/tex/latex/amsmath/amsopn.sty))
  556. (/texlive/2011/texmf-dist/tex/latex/amsfonts/umsa.fd)
  557. (/texlive/2011/texmf-dist/tex/latex/amsfonts/amsfonts.sty))
  558. (/texlive/2011/texmf-dist/tex/latex/pigpen/pigpen.sty
  559. (/texlive/2011/texmf-dist/tex/latex/pigpen/pigpen.tex))
  560. (/texlive/2011/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty)
  561. (/texlive/2011/texmf-dist/tex/latex/tikz-cd/tikz-cd.sty
  562. (/texlive/2011/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
  563. (/texlive/2011/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
  564. (/texlive/2011/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
  565. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex)
  566. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
  567. (/texlive/2011/texmf-dist/tex/latex/ms/everyshi.sty))
  568. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex))
  569. (/texlive/2011/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
  570. (/texlive/2011/texmf-dist/tex/latex/graphics/graphicx.sty
  571. (/texlive/2011/texmf-dist/tex/latex/graphics/keyval.sty)
  572. (/texlive/2011/texmf-dist/tex/latex/graphics/graphics.sty
  573. (/texlive/2011/texmf-dist/tex/latex/graphics/trig.sty)
  574. (/texlive/2011/texmf-dist/tex/latex/latexconfig/graphics.cfg)
  575. (/texlive/2011/texmf-dist/tex/latex/pdftex-def/pdftex.def
  576. (/texlive/2011/texmf-dist/tex/generic/oberdiek/infwarerr.sty)
  577. (/texlive/2011/texmf-dist/tex/generic/oberdiek/ltxcmds.sty))))
  578. (/texlive/2011/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
  579. (/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
  580. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
  581. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex))
  582. (/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg)
  583. (/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
  584. (/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def)))
  585. (/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex)
  586. (/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex))
  587. (/texlive/2011/texmf-dist/tex/latex/xcolor/xcolor.sty
  588. (/texlive/2011/texmf-dist/tex/latex/latexconfig/color.cfg))
  589. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
  590. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
  591. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
  592. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
  593. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex)
  594. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
  595. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex)
  596.  
  597. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.c
  598. ode.tex)
  599. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex
  600. )
  601. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code
  602. .tex)
  603. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex)
  604. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex)
  605. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex))
  606. ) (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex))
  607. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex)
  608. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.
  609. tex)
  610. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex)
  611. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex)
  612. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.t
  613. ex)
  614. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.cod
  615. e.tex)
  616. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex)
  617. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex)
  618. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code
  619. .tex)
  620. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex)
  621. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex)
  622. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
  623. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex))
  624. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex)
  625. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.t
  626. ex)
  627. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex))
  628. ) (/texlive/2011/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex)
  629. (/texlive/2011/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex)
  630. (/texlive/2011/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty)
  631. (/texlive/2011/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
  632. )) (/texlive/2011/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
  633. (/texlive/2011/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
  634. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex))
  635. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex))
  636. (/texlive/2011/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
  637. (/texlive/2011/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code
  638. .tex)
  639. (/texlive/2011/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex)
  640. (/texlive/2011/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibr
  641. arytopaths.code.tex)))
  642. (/texlive/2011/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibr
  643. arymatrix.code.tex)
  644. (/texlive/2011/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex)
  645. (/texlive/2011/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibr
  646. arydecorations.pathmorphing.code.tex
  647. (/texlive/2011/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibr
  648. arydecorations.code.tex
  649. (/texlive/2011/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.code.tex
  650. ))
  651. (/texlive/2011/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecor
  652. ations.pathmorphing.code.tex)))
  653. (/texlive/2011/texmf-dist/tex/latex/jknapltx/mathrsfs.sty)
  654. (/texlive/2011/texmf-dist/tex/latex/tools/array.sty)
  655. (/texlive/2011/texmf-dist/tex/latex/amsmath/amscd.sty)
  656. (/texlive/2011/texmf-dist/tex/latex/amsfonts/amssymb.sty)
  657. (/texlive/2011/texmf-dist/tex/latex/base/latexsym.sty)
  658. (/texlive/2011/texmf-dist/tex/latex/amsfonts/eucal.sty)
  659. (/texlive/2011/texmf-dist/tex/generic/xypic/xy.sty
  660. (/texlive/2011/texmf-dist/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes,
  661. docmode, (/texlive/2011/texmf-dist/tex/generic/xypic/xyrecat.tex)
  662. (/texlive/2011/texmf-dist/tex/generic/xypic/xyidioms.tex)
  663.  
  664. Xy-pic version 3.8.6 <2011/05/27>
  665. Copyright (c) 1991-2011 by Kristoffer H. Rose <krisrose@tug.org>
  666. Xy-pic is free software: see the User's Guide for details.
  667.  
  668. Loading kernel: messages; fonts; allocations: state, direction,
  669. utility macros; pictures: \xy, positions, objects, decorations;
  670. kernel objects: directionals, circles, text; options; algorithms: directions,
  671. edges, connections; Xy-pic loaded)
  672. (/texlive/2011/texmf-dist/tex/generic/oberdiek/ifpdf.sty)
  673. (/texlive/2011/texmf-dist/tex/generic/xypic/xyall.tex
  674. Xy-pic option: All features v.3.8
  675. (/texlive/2011/texmf-dist/tex/generic/xypic/xycurve.tex
  676. Xy-pic option: Curve and Spline extension v.3.12 curve, circles, loaded)
  677. (/texlive/2011/texmf-dist/tex/generic/xypic/xyframe.tex
  678. Xy-pic option: Frame and Bracket extension v.3.13 loaded)
  679. (/texlive/2011/texmf-dist/tex/generic/xypic/xycmtip.tex
  680. Xy-pic option: Computer Modern tip extension v.3.7
  681. (/texlive/2011/texmf-dist/tex/generic/xypic/xytips.tex
  682. Xy-pic option: More Tips extension v.3.9 loaded) loaded)
  683. (/texlive/2011/texmf-dist/tex/generic/xypic/xyline.tex
  684. Xy-pic option: Line styles extension v.3.10 loaded)
  685. (/texlive/2011/texmf-dist/tex/generic/xypic/xyrotate.tex
  686. Xy-pic option: Rotate and Scale extension v.3.8 loaded)
  687. (/texlive/2011/texmf-dist/tex/generic/xypic/xycolor.tex
  688. Xy-pic option: Colour extension v.3.11 loaded)
  689. (/texlive/2011/texmf-dist/tex/generic/xypic/xymatrix.tex
  690. Xy-pic option: Matrix feature v.3.14 loaded)
  691. (/texlive/2011/texmf-dist/tex/generic/xypic/xyarrow.tex
  692. Xy-pic option: Arrow and Path feature v.3.9 path, \ar, loaded)
  693. (/texlive/2011/texmf-dist/tex/generic/xypic/xygraph.tex
  694. Xy-pic option: Graph feature v.3.11 loaded) loaded)
  695. (/texlive/2011/texmf-dist/tex/generic/xypic/xypdf.tex
  696. Xy-pic option: PDF driver v.1.7 Xy-pic pdf driver: `color' extension support
  697. (/texlive/2011/texmf-dist/tex/generic/xypic/xypdf-co.tex loaded)
  698. Xy-pic pdf driver: `curve' extension support
  699. (/texlive/2011/texmf-dist/tex/generic/xypic/xypdf-cu.tex loaded)
  700. Xy-pic pdf driver: `frame' extension support
  701. (/texlive/2011/texmf-dist/tex/generic/xypic/xypdf-fr.tex loaded)
  702. Xy-pic pdf driver: `line' extension support
  703. (/texlive/2011/texmf-dist/tex/generic/xypic/xypdf-li.tex loaded)
  704. Xy-pic pdf driver: `rotate' extension support
  705. (/texlive/2011/texmf-dist/tex/generic/xypic/xypdf-ro.tex loaded) loaded))
  706. (/texlive/2011/texmf-dist/tex/latex/hyperref/hyperref.sty
  707. (/texlive/2011/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
  708. (/texlive/2011/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty))
  709. (/texlive/2011/texmf-dist/tex/generic/ifxetex/ifxetex.sty)
  710. (/texlive/2011/texmf-dist/tex/latex/oberdiek/kvoptions.sty)
  711. (/texlive/2011/texmf-dist/tex/latex/hyperref/pd1enc.def)
  712. (/texlive/2011/texmf-config/tex/latex/latexconfig/hyperref.cfg)
  713. (/texlive/2011/texmf-dist/tex/latex/url/url.sty))
  714.  
  715. Package hyperref Message: Driver (autodetected): hpdftex.
  716.  
  717. (/texlive/2011/texmf-dist/tex/latex/hyperref/hpdftex.def
  718. (/texlive/2011/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty))
  719. (/texlive/2011/texmf-dist/tex/latex/cite/cite.sty)
  720. No file Monads-Final-Version.aux.
  721. (/texlive/2011/texmf-dist/tex/latex/amsfonts/umsa.fd)
  722. (/texlive/2011/texmf-dist/tex/latex/amsfonts/umsb.fd)
  723. (/texlive/2011/texmf-dist/tex/latex/stmaryrd/Ustmry.fd)
  724. (/texlive/2011/texmf-dist/tex/latex/jknapltx/ursfs.fd)
  725. (/texlive/2011/texmf-dist/tex/latex/base/ulasy.fd)
  726. ABD: EveryShipout initializing macros
  727. (/texlive/2011/texmf-dist/tex/context/base/supp-pdf.mkii
  728. [Loading MPS to PDF converter (version 2006.09.02).]
  729. ) (/texlive/2011/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
  730. (/texlive/2011/texmf-dist/tex/latex/oberdiek/grfext.sty)
  731. (/texlive/2011/texmf-config/tex/latex/latexconfig/epstopdf-sys.cfg))
  732. (/texlive/2011/texmf-dist/tex/latex/hyperref/nameref.sty
  733. (/texlive/2011/texmf-dist/tex/generic/oberdiek/gettitlestring.sty))
  734.  
  735. LaTeX Warning: Reference `exam: modules not compatible with triangulation' on p
  736. age 1 undefined on input line 334.
  737.  
  738.  
  739. LaTeX Warning: Citation `Balmer' on page 1 undefined on input line 334.
  740.  
  741.  
  742. LaTeX Warning: Citation `Balmer' on page 1 undefined on input line 334.
  743.  
  744.  
  745. LaTeX Warning: Citation `Balmer-Neeman-Thomasson' on page 1 undefined on input
  746. line 334.
  747.  
  748.  
  749. LaTeX Warning: Citation `Balmer-stacks' on page 1 undefined on input line 334.
  750.  
  751.  
  752. LaTeX Warning: Citation `Balmer-equivariant' on page 1 undefined on input line
  753. 334.
  754.  
  755.  
  756. LaTeX Warning: Citation `Balmer-equivariant' on page 1 undefined on input line
  757. 334.
  758.  
  759.  
  760. LaTeX Warning: Citation `Balmer' on page 1 undefined on input line 334.
  761.  
  762.  
  763. LaTeX Warning: Reference `defn: stable' on page 1 undefined on input line 336.
  764.  
  765.  
  766. LaTeX Warning: Reference `defn: strong' on page 1 undefined on input line 336.
  767.  
  768.  
  769. LaTeX Warning: Reference `rem: non-strong stable derivators' on page 1 undefine
  770. d on input line 336.
  771.  
  772.  
  773. LaTeX Warning: Citation `Kelly-Ross' on page 1 undefined on input line 343.
  774.  
  775.  
  776. LaTeX Warning: Citation `Borceux1' on page 1 undefined on input line 343.
  777.  
  778.  
  779. LaTeX Warning: Citation `Kelly-Ross' on page 1 undefined on input line 343.
  780.  
  781.  
  782. LaTeX Warning: Citation `Kelly' on page 1 undefined on input line 343.
  783.  
  784. (/texlive/2011/texmf-dist/tex/latex/amsfonts/ueus.fd)
  785. ! Missing \endcsname inserted.
  786. <to be read again>
  787. \mu
  788. l.350 \end{tikzcd}
  789.  
  790. ?
  791. ! Emergency stop.
  792. <to be read again>
  793. \mu
  794. l.350 \end{tikzcd}
  795.  
  796. ! ==> Fatal error occurred, no output PDF file produced!
  797. Transcript written on Monads-Final-Version.log.
  798.  
  799. [verbose]: pdflatex 'Monads-Final-Version.tex' failed.
  800. [verbose]: Removing (La)TeX AUX file called 'Monads-Final-Version.out' (1471644032 >= 1471644032)
  801. [verbose]: Removing (La)TeX AUX file called 'Monads-Final-Version.aux' (1471644032 >= 1471644032)
  802. [verbose]: Removing (La)TeX AUX file called 'Monads-Final-Version.toc' (1471644032 >= 1471644032)
  803. [verbose]: TEXMFCNF is unset.
  804. [verbose]: ~~~~~~~~~~~ Running pdflatex for the first time ~~~~~~~~
  805. [verbose]: Running: "(export HOME=/tmp PATH=/texlive/2011/bin/arch:/bin; cd /submissions/1643733/ && pdflatex 'Monads-Final-Version.tex' < /dev/null)" 2>&1
  806. [verbose]: This is pdfTeX, Version 3.1415926-2.3-1.40.12 (TeX Live 2011)
  807. restricted \write18 enabled.
  808. entering extended mode
  809. (./Monads-Final-Version.tex
  810. LaTeX2e <2011/06/27>
  811. Babel <v3.8m> and hyphenation patterns for english, dumylang, nohyphenation, ge
  812. rman-x-2011-07-01, ngerman-x-2011-07-01, afrikaans, ancientgreek, ibycus, arabi
  813. c, armenian, basque, bulgarian, catalan, pinyin, coptic, croatian, czech, danis
  814. h, dutch, ukenglish, usenglishmax, esperanto, estonian, ethiopic, farsi, finnis
  815. h, french, galician, german, ngerman, swissgerman, monogreek, greek, hungarian,
  816. icelandic, assamese, bengali, gujarati, hindi, kannada, malayalam, marathi, or
  817. iya, panjabi, tamil, telugu, indonesian, interlingua, irish, italian, kurmanji,
  818. lao, latin, latvian, lithuanian, mongolian, mongolianlmc, bokmal, nynorsk, pol
  819. ish, portuguese, romanian, russian, sanskrit, serbian, serbianc, slovak, sloven
  820. ian, spanish, swedish, turkish, turkmen, ukrainian, uppersorbian, welsh, loaded
  821. .
  822. (/texlive/2011/texmf-dist/tex/latex/amscls/amsart.cls
  823. Document Class: amsart 2009/07/02 v2.20.1
  824. (/texlive/2011/texmf-dist/tex/latex/amsmath/amsmath.sty
  825. For additional information on amsmath, use the `?' option.
  826. (/texlive/2011/texmf-dist/tex/latex/amsmath/amstext.sty
  827. (/texlive/2011/texmf-dist/tex/latex/amsmath/amsgen.sty))
  828. (/texlive/2011/texmf-dist/tex/latex/amsmath/amsbsy.sty)
  829. (/texlive/2011/texmf-dist/tex/latex/amsmath/amsopn.sty))
  830. (/texlive/2011/texmf-dist/tex/latex/amsfonts/umsa.fd)
  831. (/texlive/2011/texmf-dist/tex/latex/amsfonts/amsfonts.sty))
  832. (/texlive/2011/texmf-dist/tex/latex/pigpen/pigpen.sty
  833. (/texlive/2011/texmf-dist/tex/latex/pigpen/pigpen.tex))
  834. (/texlive/2011/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty)
  835. (/texlive/2011/texmf-dist/tex/latex/tikz-cd/tikz-cd.sty
  836. (/texlive/2011/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
  837. (/texlive/2011/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
  838. (/texlive/2011/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
  839. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex)
  840. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
  841. (/texlive/2011/texmf-dist/tex/latex/ms/everyshi.sty))
  842. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex))
  843. (/texlive/2011/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
  844. (/texlive/2011/texmf-dist/tex/latex/graphics/graphicx.sty
  845. (/texlive/2011/texmf-dist/tex/latex/graphics/keyval.sty)
  846. (/texlive/2011/texmf-dist/tex/latex/graphics/graphics.sty
  847. (/texlive/2011/texmf-dist/tex/latex/graphics/trig.sty)
  848. (/texlive/2011/texmf-dist/tex/latex/latexconfig/graphics.cfg)
  849. (/texlive/2011/texmf-dist/tex/latex/pdftex-def/pdftex.def
  850. (/texlive/2011/texmf-dist/tex/generic/oberdiek/infwarerr.sty)
  851. (/texlive/2011/texmf-dist/tex/generic/oberdiek/ltxcmds.sty))))
  852. (/texlive/2011/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
  853. (/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
  854. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
  855. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex))
  856. (/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg)
  857. (/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
  858. (/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def)))
  859. (/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex)
  860. (/texlive/2011/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex))
  861. (/texlive/2011/texmf-dist/tex/latex/xcolor/xcolor.sty
  862. (/texlive/2011/texmf-dist/tex/latex/latexconfig/color.cfg))
  863. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
  864. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
  865. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
  866. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
  867. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex)
  868. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
  869. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex)
  870.  
  871. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.c
  872. ode.tex)
  873. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex
  874. )
  875. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code
  876. .tex)
  877. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex)
  878. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex)
  879. (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex))
  880. ) (/texlive/2011/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex))
  881. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex)
  882. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.
  883. tex)
  884. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex)
  885. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex)
  886. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.t
  887. ex)
  888. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.cod
  889. e.tex)
  890. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex)
  891. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex)
  892. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code
  893. .tex)
  894. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex)
  895. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex)
  896. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
  897. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex))
  898. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex)
  899. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.t
  900. ex)
  901. (/texlive/2011/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex))
  902. ) (/texlive/2011/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex)
  903. (/texlive/2011/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex)
  904. (/texlive/2011/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty)
  905. (/texlive/2011/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
  906. )) (/texlive/2011/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
  907. (/texlive/2011/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
  908. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex))
  909. (/texlive/2011/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex))
  910. (/texlive/2011/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
  911. (/texlive/2011/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code
  912. .tex)
  913. (/texlive/2011/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex)
  914. (/texlive/2011/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibr
  915. arytopaths.code.tex)))
  916. (/texlive/2011/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibr
  917. arymatrix.code.tex)
  918. (/texlive/2011/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex)
  919. (/texlive/2011/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibr
  920. arydecorations.pathmorphing.code.tex
  921. (/texlive/2011/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibr
  922. arydecorations.code.tex
  923. (/texlive/2011/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.code.tex
  924. ))
  925. (/texlive/2011/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecor
  926. ations.pathmorphing.code.tex)))
  927. (/texlive/2011/texmf-dist/tex/latex/jknapltx/mathrsfs.sty)
  928. (/texlive/2011/texmf-dist/tex/latex/tools/array.sty)
  929. (/texlive/2011/texmf-dist/tex/latex/amsmath/amscd.sty)
  930. (/texlive/2011/texmf-dist/tex/latex/amsfonts/amssymb.sty)
  931. (/texlive/2011/texmf-dist/tex/latex/base/latexsym.sty)
  932. (/texlive/2011/texmf-dist/tex/latex/amsfonts/eucal.sty)
  933. (/texlive/2011/texmf-dist/tex/generic/xypic/xy.sty
  934. (/texlive/2011/texmf-dist/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes,
  935. docmode, (/texlive/2011/texmf-dist/tex/generic/xypic/xyrecat.tex)
  936. (/texlive/2011/texmf-dist/tex/generic/xypic/xyidioms.tex)
  937.  
  938. Xy-pic version 3.8.6 <2011/05/27>
  939. Copyright (c) 1991-2011 by Kristoffer H. Rose <krisrose@tug.org>
  940. Xy-pic is free software: see the User's Guide for details.
  941.  
  942. Loading kernel: messages; fonts; allocations: state, direction,
  943. utility macros; pictures: \xy, positions, objects, decorations;
  944. kernel objects: directionals, circles, text; options; algorithms: directions,
  945. edges, connections; Xy-pic loaded)
  946. (/texlive/2011/texmf-dist/tex/generic/oberdiek/ifpdf.sty)
  947. (/texlive/2011/texmf-dist/tex/generic/xypic/xyall.tex
  948. Xy-pic option: All features v.3.8
  949. (/texlive/2011/texmf-dist/tex/generic/xypic/xycurve.tex
  950. Xy-pic option: Curve and Spline extension v.3.12 curve, circles, loaded)
  951. (/texlive/2011/texmf-dist/tex/generic/xypic/xyframe.tex
  952. Xy-pic option: Frame and Bracket extension v.3.13 loaded)
  953. (/texlive/2011/texmf-dist/tex/generic/xypic/xycmtip.tex
  954. Xy-pic option: Computer Modern tip extension v.3.7
  955. (/texlive/2011/texmf-dist/tex/generic/xypic/xytips.tex
  956. Xy-pic option: More Tips extension v.3.9 loaded) loaded)
  957. (/texlive/2011/texmf-dist/tex/generic/xypic/xyline.tex
  958. Xy-pic option: Line styles extension v.3.10 loaded)
  959. (/texlive/2011/texmf-dist/tex/generic/xypic/xyrotate.tex
  960. Xy-pic option: Rotate and Scale extension v.3.8 loaded)
  961. (/texlive/2011/texmf-dist/tex/generic/xypic/xycolor.tex
  962. Xy-pic option: Colour extension v.3.11 loaded)
  963. (/texlive/2011/texmf-dist/tex/generic/xypic/xymatrix.tex
  964. Xy-pic option: Matrix feature v.3.14 loaded)
  965. (/texlive/2011/texmf-dist/tex/generic/xypic/xyarrow.tex
  966. Xy-pic option: Arrow and Path feature v.3.9 path, \ar, loaded)
  967. (/texlive/2011/texmf-dist/tex/generic/xypic/xygraph.tex
  968. Xy-pic option: Graph feature v.3.11 loaded) loaded)
  969. (/texlive/2011/texmf-dist/tex/generic/xypic/xypdf.tex
  970. Xy-pic option: PDF driver v.1.7 Xy-pic pdf driver: `color' extension support
  971. (/texlive/2011/texmf-dist/tex/generic/xypic/xypdf-co.tex loaded)
  972. Xy-pic pdf driver: `curve' extension support
  973. (/texlive/2011/texmf-dist/tex/generic/xypic/xypdf-cu.tex loaded)
  974. Xy-pic pdf driver: `frame' extension support
  975. (/texlive/2011/texmf-dist/tex/generic/xypic/xypdf-fr.tex loaded)
  976. Xy-pic pdf driver: `line' extension support
  977. (/texlive/2011/texmf-dist/tex/generic/xypic/xypdf-li.tex loaded)
  978. Xy-pic pdf driver: `rotate' extension support
  979. (/texlive/2011/texmf-dist/tex/generic/xypic/xypdf-ro.tex loaded) loaded))
  980. (/texlive/2011/texmf-dist/tex/latex/hyperref/hyperref.sty
  981. (/texlive/2011/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
  982. (/texlive/2011/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty))
  983. (/texlive/2011/texmf-dist/tex/generic/ifxetex/ifxetex.sty)
  984. (/texlive/2011/texmf-dist/tex/latex/oberdiek/kvoptions.sty)
  985. (/texlive/2011/texmf-dist/tex/latex/hyperref/pd1enc.def)
  986. (/texlive/2011/texmf-config/tex/latex/latexconfig/hyperref.cfg)
  987. (/texlive/2011/texmf-dist/tex/latex/url/url.sty))
  988.  
  989. Package hyperref Message: Driver (autodetected): hpdftex.
  990.  
  991. (/texlive/2011/texmf-dist/tex/latex/hyperref/hpdftex.def
  992. (/texlive/2011/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty))
  993. (/texlive/2011/texmf-dist/tex/latex/cite/cite.sty)
  994. No file Monads-Final-Version.aux.
  995. (/texlive/2011/texmf-dist/tex/latex/amsfonts/umsa.fd)
  996. (/texlive/2011/texmf-dist/tex/latex/amsfonts/umsb.fd)
  997. (/texlive/2011/texmf-dist/tex/latex/stmaryrd/Ustmry.fd)
  998. (/texlive/2011/texmf-dist/tex/latex/jknapltx/ursfs.fd)
  999. (/texlive/2011/texmf-dist/tex/latex/base/ulasy.fd)
  1000. ABD: EveryShipout initializing macros
  1001. (/texlive/2011/texmf-dist/tex/context/base/supp-pdf.mkii
  1002. [Loading MPS to PDF converter (version 2006.09.02).]
  1003. ) (/texlive/2011/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
  1004. (/texlive/2011/texmf-dist/tex/latex/oberdiek/grfext.sty)
  1005. (/texlive/2011/texmf-config/tex/latex/latexconfig/epstopdf-sys.cfg))
  1006. (/texlive/2011/texmf-dist/tex/latex/hyperref/nameref.sty
  1007. (/texlive/2011/texmf-dist/tex/generic/oberdiek/gettitlestring.sty))
  1008.  
  1009. LaTeX Warning: Reference `exam: modules not compatible with triangulation' on p
  1010. age 1 undefined on input line 333.
  1011.  
  1012.  
  1013. LaTeX Warning: Citation `Balmer' on page 1 undefined on input line 333.
  1014.  
  1015.  
  1016. LaTeX Warning: Citation `Balmer' on page 1 undefined on input line 333.
  1017.  
  1018.  
  1019. LaTeX Warning: Citation `Balmer-Neeman-Thomasson' on page 1 undefined on input
  1020. line 333.
  1021.  
  1022.  
  1023. LaTeX Warning: Citation `Balmer-stacks' on page 1 undefined on input line 333.
  1024.  
  1025.  
  1026. LaTeX Warning: Citation `Balmer-equivariant' on page 1 undefined on input line
  1027. 333.
  1028.  
  1029.  
  1030. LaTeX Warning: Citation `Balmer-equivariant' on page 1 undefined on input line
  1031. 333.
  1032.  
  1033.  
  1034. LaTeX Warning: Citation `Balmer' on page 1 undefined on input line 333.
  1035.  
  1036.  
  1037. LaTeX Warning: Reference `defn: stable' on page 1 undefined on input line 335.
  1038.  
  1039.  
  1040. LaTeX Warning: Reference `defn: strong' on page 1 undefined on input line 335.
  1041.  
  1042.  
  1043. LaTeX Warning: Reference `rem: non-strong stable derivators' on page 1 undefine
  1044. d on input line 335.
  1045.  
  1046.  
  1047. LaTeX Warning: Citation `Kelly-Ross' on page 1 undefined on input line 342.
  1048.  
  1049.  
  1050. LaTeX Warning: Citation `Borceux1' on page 1 undefined on input line 342.
  1051.  
  1052.  
  1053. LaTeX Warning: Citation `Kelly-Ross' on page 1 undefined on input line 342.
  1054.  
  1055.  
  1056. LaTeX Warning: Citation `Kelly' on page 1 undefined on input line 342.
  1057.  
  1058. (/texlive/2011/texmf-dist/tex/latex/amsfonts/ueus.fd)
  1059. ! Missing \endcsname inserted.
  1060. <to be read again>
  1061. \mu
  1062. l.349 \end{tikzcd}
  1063.  
  1064. ?
  1065. ! Emergency stop.
  1066. <to be read again>
  1067. \mu
  1068. l.349 \end{tikzcd}
  1069.  
  1070. ! ==> Fatal error occurred, no output PDF file produced!
  1071. Transcript written on Monads-Final-Version.log.
  1072.  
  1073. [verbose]: pdflatex 'Monads-Final-Version.tex' failed.
  1074. [verbose]: Removing (La)TeX AUX file called 'Monads-Final-Version.out' (1471644033 >= 1471644032)
  1075. [verbose]: Removing (La)TeX AUX file called 'Monads-Final-Version.aux' (1471644033 >= 1471644032)
  1076. [verbose]: Removing (La)TeX AUX file called 'Monads-Final-Version.toc' (1471644033 >= 1471644032)
  1077. [verbose]: 'htex' is not a valid TeX format; will ignore.
  1078. [verbose]: TEXMFCNF is unset.
  1079. [verbose]: ~~~~~~~~~~~ Running htex for the first time ~~~~~~~~
  1080. [verbose]: Running: "(export HOME=/tmp PATH=/texlive/2011/bin/arch:/bin; cd /submissions/1643733/ && tex 'Monads-Final-Version.tex' < /dev/null)" 2>&1
  1081. [verbose]: This is TeX, Version 3.1415926 (TeX Live 2011)
  1082. (./Monads-Final-Version.tex
  1083. ! Undefined control sequence.
  1084. l.1 \documentclass
  1085. [oneside, a4paper]{amsart}
  1086. ?
  1087. ! Emergency stop.
  1088. l.1 \documentclass
  1089. [oneside, a4paper]{amsart}
  1090. No pages of output.
  1091. Transcript written on Monads-Final-Version.log.
  1092.  
  1093. [verbose]: tex 'Monads-Final-Version.tex' failed.
  1094. [verbose]: TEXMFCNF is unset.
  1095. [verbose]: ~~~~~~~~~~~ Running tex for the first time ~~~~~~~~
  1096. [verbose]: Running: "(export HOME=/tmp PATH=/texlive/2011/bin/arch:/bin; cd /submissions/1643733/ && tex 'Monads-Final-Version.tex' < /dev/null)" 2>&1
  1097. [verbose]: This is TeX, Version 3.1415926 (TeX Live 2011)
  1098. (./Monads-Final-Version.tex
  1099. ! Undefined control sequence.
  1100. l.1 \documentclass
  1101. [oneside, a4paper]{amsart}
  1102. ?
  1103. ! Emergency stop.
  1104. l.1 \documentclass
  1105. [oneside, a4paper]{amsart}
  1106. No pages of output.
  1107. Transcript written on Monads-Final-Version.log.
  1108.  
  1109. [verbose]: tex 'Monads-Final-Version.tex' failed.
  1110. [verbose]: We failed utterly to process the TeX file 'Monads-Final-Version.tex'
  1111. [error]: Unable to sucessfully process tex files.
  1112. *** AutoTeX ABORTING ***
  1113.  
  1114. [verbose]: AutoTeX returned error: Unable to sucessfully process tex files.
  1115.  
  1116. [verbose]: $autotex->process failed $@: $?: 0 $!: Inappropriate ioctl for device
  1117. [verbose]: Error running AutoTeX process:
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!