This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2022/dev/Debian) (preloaded format=pdflatex 2026.1.30) 4 MAY 2026 04:49 entering extended mode restricted \write18 enabled. %&-line parsing enabled. **category-theory.tex (./category-theory.tex LaTeX2e <2021-11-15> patch level 1 L3 programming layer <2022-01-21> (/usr/share/texlive/texmf-dist/tex/latex/base/book.cls Document Class: book 2021/10/04 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/bk12.clo File: bk12.clo 2021/10/04 v1.4n Standard LaTeX file (size option) ) \c@part=\count185 \c@chapter=\count186 \c@section=\count187 \c@subsection=\count188 \c@subsubsection=\count189 \c@paragraph=\count190 \c@subparagraph=\count191 \c@figure=\count192 \c@table=\count193 \abovecaptionskip=\skip47 \belowcaptionskip=\skip48 \bibindent=\dimen138 ) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty Package: amsmath 2021/10/15 v2.17l AMS math features \@mathmargin=\skip49 For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty Package: amstext 2021/08/26 v2.01 AMS text (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 generic functions \@emptytoks=\toks16 \ex@=\dimen139 )) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d Bold Symbols \pmbraise@=\dimen140 ) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty Package: amsopn 2021/08/26 v2.02 operator names ) \inf@bad=\count194 LaTeX Info: Redefining \frac on input line 234. \uproot@=\count195 \leftroot@=\count196 LaTeX Info: Redefining \overline on input line 399. \classnum@=\count197 \DOTSCASE@=\count198 LaTeX Info: Redefining \ldots on input line 496. LaTeX Info: Redefining \dots on input line 499. LaTeX Info: Redefining \cdots on input line 620. \Mathstrutbox@=\box50 \strutbox@=\box51 \big@size=\dimen141 LaTeX Font Info: Redeclaring font encoding OML on input line 743. LaTeX Font Info: Redeclaring font encoding OMS on input line 744. \macc@depth=\count199 \c@MaxMatrixCols=\count266 \dotsspace@=\muskip16 \c@parentequation=\count267 \dspbrk@lvl=\count268 \tag@help=\toks17 \row@=\count269 \column@=\count270 \maxfields@=\count271 \andhelp@=\toks18 \eqnshift@=\dimen142 \alignsep@=\dimen143 \tagshift@=\dimen144 \tagwidth@=\dimen145 \totwidth@=\dimen146 \lineht@=\dimen147 \@envbody=\toks19 \multlinegap=\skip50 \multlinetaggap=\skip51 \mathdisplay@stack=\toks20 LaTeX Info: Redefining \[ on input line 2938. LaTeX Info: Redefining \] on input line 2939. ) (/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty Package: amsthm 2020/05/29 v2.20.6 \thm@style=\toks21 \thm@bodyfont=\toks22 \thm@headfont=\toks23 \thm@notefont=\toks24 \thm@headpunct=\toks25 \thm@preskip=\skip52 \thm@postskip=\skip53 \thm@headsep=\skip54 \dth@everypar=\toks26 ) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty Package: amssymb 2013/01/14 v3.01 AMS font symbols (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 LaTeX Font Info: Redeclaring math symbol \hbar on input line 98. LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 106. )) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty Package: graphicx 2021/09/16 v1.2d Enhanced LaTeX Graphics (DPC,SPQR) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 2014/10/28 v1.15 key=value parser (DPC) \KV@toks@=\toks27 ) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty Package: graphics 2021/03/04 v1.4d Standard LaTeX Graphics (DPC,SPQR) (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty Package: trig 2021/08/11 v1.11 sin cos tan (DPC) ) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration ) Package graphics Info: Driver file: pdftex.def on input line 107. (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def File: pdftex.def 2020/10/05 v1.2a Graphics/color driver for pdftex )) \Gin@req@height=\dimen148 \Gin@req@width=\dimen149 ) (/usr/share/texlive/texmf-dist/tex/latex/algorithms/algorithm.sty Package: algorithm 2009/08/24 v0.1 Document Style `algorithm' - floating enviro nment (/usr/share/texlive/texmf-dist/tex/latex/float/float.sty Package: float 2001/11/08 v1.3d Float enhancements (AL) \c@float@type=\count272 \float@exts=\toks28 \float@box=\box52 \@float@everytoks=\toks29 \@floatcapt=\box53 ) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty Package: ifthen 2020/11/24 v1.1c Standard LaTeX ifthen package (DPC) ) \@float@every@algorithm=\toks30 \c@algorithm=\count273 ) (/usr/share/texlive/texmf-dist/tex/latex/algorithms/algorithmic.sty Package: algorithmic 2009/08/24 v0.1 Document Style `algorithmic' \c@ALC@unique=\count274 \c@ALC@line=\count275 \c@ALC@rem=\count276 \c@ALC@depth=\count277 \ALC@tlm=\skip55 \algorithmicindent=\skip56 ) (/usr/share/texlive/texmf-dist/tex/latex/tikz-cd/tikz-cd.sty Package: tikz-cd 2021/05/04 v1.0 Commutative diagrams with TikZ (/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex \pgfutil@everybye=\toks31 \pgfutil@tempdima=\dimen150 \pgfutil@tempdimb=\dimen151 (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.t ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def \pgfutil@abb=\box54 ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/pgf.revision.tex) Package: pgfrcs 2021/05/15 v3.1.9a (3.1.9a) )) Package: pgf 2021/05/15 v3.1.9a (3.1.9a) (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex Package: pgfsys 2021/05/15 v3.1.9a (3.1.9a) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex \pgfkeys@pathtoks=\toks32 \pgfkeys@temptoks=\toks33 (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.t ex \pgfkeys@tmptoks=\toks34 )) \pgf@x=\dimen152 \pgf@y=\dimen153 \pgf@xa=\dimen154 \pgf@ya=\dimen155 \pgf@xb=\dimen156 \pgf@yb=\dimen157 \pgf@xc=\dimen158 \pgf@yc=\dimen159 \pgf@xd=\dimen160 \pgf@yd=\dimen161 \w@pgf@writea=\write3 \r@pgf@reada=\read2 \c@pgf@counta=\count278 \c@pgf@countb=\count279 \c@pgf@countc=\count280 \c@pgf@countd=\count281 \t@pgf@toka=\toks35 \t@pgf@tokb=\toks36 \t@pgf@tokc=\toks37 \pgf@sys@id@count=\count282 (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg File: pgf.cfg 2021/05/15 v3.1.9a (3.1.9a) ) Driver file for pgf: pgfsys-pdftex.def (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def File: pgfsys-pdftex.def 2021/05/15 v3.1.9a (3.1.9a) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.de f File: pgfsys-common-pdf.def 2021/05/15 v3.1.9a (3.1.9a) ))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code. tex File: pgfsyssoftpath.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgfsyssoftpath@smallbuffer@items=\count283 \pgfsyssoftpath@bigbuffer@items=\count284 ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code. tex File: pgfsysprotocol.code.tex 2021/05/15 v3.1.9a (3.1.9a) )) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty Package: xcolor 2021/10/31 v2.13 LaTeX color extensions (UK) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg File: color.cfg 2016/01/02 v1.6 sample color configuration ) Package xcolor Info: Driver file: pdftex.def on input line 227. Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1352. Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1356. Package xcolor Info: Model `RGB' extended on input line 1368. Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1370. Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1371. Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1372. Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1373. Package xcolor Info: Model `Gray' substituted by `gray' on input line 1374. Package xcolor Info: Model `wave' substituted by `hsb' on input line 1375. ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex Package: pgfcore 2021/05/15 v3.1.9a (3.1.9a) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex \pgfmath@dimen=\dimen162 \pgfmath@count=\count285 \pgfmath@box=\box55 \pgfmath@toks=\toks38 \pgfmath@stack@operand=\toks39 \pgfmath@stack@operation=\toks40 ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet ric.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod e.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison .code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code .tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code. tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari thmetics.code.tex))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex \c@pgfmathroundto@lastzeros=\count286 )) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te x File: pgfcorepoints.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgf@picminx=\dimen163 \pgf@picmaxx=\dimen164 \pgf@picminy=\dimen165 \pgf@picmaxy=\dimen166 \pgf@pathminx=\dimen167 \pgf@pathmaxx=\dimen168 \pgf@pathminy=\dimen169 \pgf@pathmaxy=\dimen170 \pgf@xx=\dimen171 \pgf@xy=\dimen172 \pgf@yx=\dimen173 \pgf@yy=\dimen174 \pgf@zx=\dimen175 \pgf@zy=\dimen176 ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct. code.tex File: pgfcorepathconstruct.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgf@path@lastx=\dimen177 \pgf@path@lasty=\dimen178 ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code .tex File: pgfcorepathusage.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgf@shorten@end@additional=\dimen179 \pgf@shorten@start@additional=\dimen180 ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te x File: pgfcorescopes.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgfpic=\box56 \pgf@hbox=\box57 \pgf@layerbox@main=\box58 \pgf@picture@serial@count=\count287 ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c ode.tex File: pgfcoregraphicstate.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgflinewidth=\dimen181 ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation s.code.tex File: pgfcoretransformations.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgf@pt@x=\dimen182 \pgf@pt@y=\dimen183 \pgf@pt@temp=\dimen184 ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex File: pgfcorequick.code.tex 2021/05/15 v3.1.9a (3.1.9a) ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t ex File: pgfcoreobjects.code.tex 2021/05/15 v3.1.9a (3.1.9a) ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing .code.tex File: pgfcorepathprocessing.code.tex 2021/05/15 v3.1.9a (3.1.9a) ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te x File: pgfcorearrows.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgfarrowsep=\dimen185 ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex File: pgfcoreshade.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgf@max=\dimen186 \pgf@sys@shading@range@num=\count288 \pgf@shadingcount=\count289 ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex File: pgfcoreimage.code.tex 2021/05/15 v3.1.9a (3.1.9a) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code. tex File: pgfcoreexternal.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgfexternal@startupbox=\box59 )) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te x File: pgfcorelayers.code.tex 2021/05/15 v3.1.9a (3.1.9a) ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c ode.tex File: pgfcoretransparency.code.tex 2021/05/15 v3.1.9a (3.1.9a) ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code. tex File: pgfcorepatterns.code.tex 2021/05/15 v3.1.9a (3.1.9a) ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex File: pgfcorerdf.code.tex 2021/05/15 v3.1.9a (3.1.9a) ))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex File: pgfmoduleshapes.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgfnodeparttextbox=\box60 ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex File: pgfmoduleplot.code.tex 2021/05/15 v3.1.9a (3.1.9a) ) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65 .sty Package: pgfcomp-version-0-65 2021/05/15 v3.1.9a (3.1.9a) \pgf@nodesepstart=\dimen187 \pgf@nodesepend=\dimen188 ) (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18 .sty Package: pgfcomp-version-1-18 2021/05/15 v3.1.9a (3.1.9a) )) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex Package: pgffor 2021/05/15 v3.1.9a (3.1.9a) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex) \pgffor@iter=\dimen189 \pgffor@skip=\dimen190 \pgffor@stack=\toks41 \pgffor@toks=\toks42 )) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex Package: tikz 2021/05/15 v3.1.9a (3.1.9a) (/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers .code.tex File: pgflibraryplothandlers.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgf@plot@mark@count=\count290 \pgfplotmarksize=\dimen191 ) \tikz@lastx=\dimen192 \tikz@lasty=\dimen193 \tikz@lastxsaved=\dimen194 \tikz@lastysaved=\dimen195 \tikz@lastmovetox=\dimen196 \tikz@lastmovetoy=\dimen197 \tikzleveldistance=\dimen198 \tikzsiblingdistance=\dimen199 \tikz@figbox=\box61 \tikz@figbox@bg=\box62 \tikz@tempbox=\box63 \tikz@tempbox@bg=\box64 \tikztreelevel=\count291 \tikznumberofchildren=\count292 \tikznumberofcurrentchild=\count293 \tikz@fig@count=\count294 (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex File: pgfmodulematrix.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgfmatrixcurrentrow=\count295 \pgfmatrixcurrentcolumn=\count296 \pgf@matrix@numberofcolumns=\count297 ) \tikz@expandcount=\count298 (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik zlibrarytopaths.code.tex File: tikzlibrarytopaths.code.tex 2021/05/15 v3.1.9a (3.1.9a) ))) (/usr/share/texlive/texmf-dist/tex/generic/tikz-cd/tikzlibrarycd.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik zlibrarymatrix.code.tex File: tikzlibrarymatrix.code.tex 2021/05/15 v3.1.9a (3.1.9a) ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik zlibraryquotes.code.tex File: tikzlibraryquotes.code.tex 2021/05/15 v3.1.9a (3.1.9a) ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.meta. code.tex File: pgflibraryarrows.meta.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgfarrowinset=\dimen256 \pgfarrowlength=\dimen257 \pgfarrowwidth=\dimen258 \pgfarrowlinewidth=\dimen259 ))) (./quiver.sty Package: quiver 2025/09/20 quiver (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik zlibrarycalc.code.tex File: tikzlibrarycalc.code.tex 2021/05/15 v3.1.9a (3.1.9a) ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik zlibrarydecorations.pathmorphing.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik zlibrarydecorations.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.cod e.tex \pgfdecoratedcompleteddistance=\dimen260 \pgfdecoratedremainingdistance=\dimen261 \pgfdecoratedinputsegmentcompleteddistance=\dimen262 \pgfdecoratedinputsegmentremainingdistance=\dimen263 \pgf@decorate@distancetomove=\dimen264 \pgf@decorate@repeatstate=\count299 \pgfdecorationsegmentamplitude=\dimen265 \pgfdecorationsegmentlength=\dimen266 ) \tikz@lib@dec@box=\box65 ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrary decorations.pathmorphing.code.tex)) (/usr/share/texlive/texmf-dist/tex/latex/spath3/tikzlibraryspath3.code.tex (/usr/share/texlive/texmf-dist/tex/latex/spath3/spath3.sty (/usr/share/texlive/texmf-dist/tex/latex/l3kernel/expl3.sty Package: expl3 2022-01-21 L3 programming layer (loader) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def File: l3backend-pdftex.def 2022-01-12 L3 backend support: PDF output (pdfTeX) \l__color_backend_stack_int=\count300 \l__pdf_internal_box=\box66 )) Package: spath3 2021/02/21 v2.4 Functions for manipulating PGF soft paths (/usr/share/texlive/texmf-dist/tex/latex/l3packages/xparse/xparse.sty Package: xparse 2022-01-12 L3 Experimental document command parser ) \g__spath_output_int=\count301 \l__spath_tmpa_dim=\dimen267 \l__spath_tmpb_dim=\dimen268 \l__spath_tmpa_int=\count302 \l__spath_tmpb_int=\count303 \l__spath_move_x_dim=\dimen269 \l__spath_move_y_dim=\dimen270 \g__spath_anon_int=\count304 ))) \c@proposition=\count305 \c@lemma=\count306 \c@theorem=\count307 \c@definition=\count308 \c@example=\count309 \c@corollary=\count310 \@indexfile=\write4 \openout4 = `category-theory.idx'. Writing index file category-theory.idx (./category-theory.aux (./1.aux) (./2.aux) (./3.aux) (./4.aux) (./5.aux) (./6.aux) (./7.aux) (./8.aux)) \openout1 = `category-theory.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 33. LaTeX Font Info: ... okay on input line 33. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 33. LaTeX Font Info: ... okay on input line 33. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 33. LaTeX Font Info: ... okay on input line 33. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 33. LaTeX Font Info: ... okay on input line 33. LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 33. LaTeX Font Info: ... okay on input line 33. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 33. LaTeX Font Info: ... okay on input line 33. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 33. LaTeX Font Info: ... okay on input line 33. (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] \scratchcounter=\count311 \scratchdimen=\dimen271 \scratchbox=\box67 \nofMPsegments=\count312 \nofMParguments=\count313 \everyMPshowfont=\toks43 \MPscratchCnt=\count314 \MPscratchDim=\dimen272 \MPnumerator=\count315 \makeMPintoPDFobject=\count316 \everyMPtoPDFconversion=\toks44 ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4 85. (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv e )) LaTeX Font Info: Trying to load font information for U+msa on input line 48. (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A ) LaTeX Font Info: Trying to load font information for U+msb on input line 48. (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) [1 {/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [4 ] (./category-theory.toc) \tf@toc=\write5 \openout5 = `category-theory.toc'. [5] [6 ] \openout2 = `1.aux'. (./1.tex [1 ] [2] Chapter 1. [3 ] Overfull \hbox (8.06816pt too wide) in paragraph at lines 45--46 []\OT1/cmr/m/n/12 For any $\OML/cmm/m/it/12 f \OMS/cmsy/m/n/12 2 [][]\OT1/cmr/m /n/12 (\OML/cmm/m/it/12 X; Y\OT1/cmr/m/n/12 )$, there ex-ist $1[] \OMS/cmsy/m/n /12 2 [][]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 X; X\OT1/cmr/m/n/12 )\OML/cmm/m/it/ 12 ; \OT1/cmr/m/n/12 1[] \OMS/cmsy/m/n/12 2 [][]\OT1/cmr/m/n/12 (\OML/cmm/m/it/ 12 Y; Y\OT1/cmr/m/n/12 )$ [] [4] [5] [6] Overfull \hbox (210.33435pt too wide) detected at line 140 \OML/cmm/m/it/12 f \OMS/cmsy/m/n/12 2 [][]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 X; Y\OT1/cmr/m/n/12 )[] \OMS/cmsy/m/n/12 ([]) 8\OML/cmm/m/it/12 U \OMS/cmsy/m/n/ 12 2 []\OT1/cmr/m/n/12 (\OMS/cmsy/m/n/12 C\OT1/cmr/m/n/12 )[\OMS/cmsy/m/n/12 8\ OML/cmm/m/it/12 g[]; g[] \OMS/cmsy/m/n/12 2 [][]\OT1/cmr/m/n/12 (\OML/cmm/m/it/ 12 U; X\OT1/cmr/m/n/12 )(\OML/cmm/m/it/12 f \OMS/cmsy/m/n/12 ^^N \OML/cmm/m/it/ 12 g[] \OT1/cmr/m/n/12 = \OML/cmm/m/it/12 f \OMS/cmsy/m/n/12 ^^N \OML/cmm/m/it/ 12 g[] \OT1/cmr/m/n/12 =[]\OMS/cmsy/m/n/12 ) \OML/cmm/m/it/12 g[] \OT1/cmr/m/ n/12 = \OML/cmm/m/it/12 g[]\OT1/cmr/m/n/12 )] [] Overfull \hbox (210.33435pt too wide) detected at line 147 \OML/cmm/m/it/12 f \OMS/cmsy/m/n/12 2 [][]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 X; Y\OT1/cmr/m/n/12 )[] \OMS/cmsy/m/n/12 ([]) 8\OML/cmm/m/it/12 U \OMS/cmsy/m/n/ 12 2 []\OT1/cmr/m/n/12 (\OMS/cmsy/m/n/12 C\OT1/cmr/m/n/12 )[\OMS/cmsy/m/n/12 8\ OML/cmm/m/it/12 g[]; g[] \OMS/cmsy/m/n/12 2 [][]\OT1/cmr/m/n/12 (\OML/cmm/m/it/ 12 U; X\OT1/cmr/m/n/12 )(\OML/cmm/m/it/12 g[] \OMS/cmsy/m/n/12 ^^N \OML/cmm/m/i t/12 f \OT1/cmr/m/n/12 = \OML/cmm/m/it/12 g[] \OMS/cmsy/m/n/12 ^^N \OML/cmm/m/i t/12 f \OT1/cmr/m/n/12 =[]\OMS/cmsy/m/n/12 ) \OML/cmm/m/it/12 g[] \OT1/cmr/m/ n/12 = \OML/cmm/m/it/12 g[]\OT1/cmr/m/n/12 )] [] Overfull \hbox (2.00102pt too wide) in paragraph at lines 162--163 []\OT1/cmr/bx/n/12 Definition 1.8 \OT1/cmr/m/n/12 (Cat-e-gor-i-cal au-to-mor-ph ism)\OT1/cmr/bx/n/12 . []\OT1/cmr/m/n/12 Cat-e-gor-i-cal iso-mor-phism whose [] [7] [8] [9] [10] Overfull \hbox (23.44342pt too wide) in paragraph at lines 360--362 []\OT1/cmr/bx/n/12 Definition 1.21 \OT1/cmr/m/n/12 (Pull-back)\OT1/cmr/bx/n/12 . []\OT1/cmr/m/n/12 Given 2 mor-phisms $\OML/cmm/m/it/12 f \OMS/cmsy/m/n/12 2 [ ]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 X; Z\OT1/cmr/m/n/12 )\OML/cmm/m/it/12 ; g \O MS/cmsy/m/n/12 2 []\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 Y; Z\OT1/cmr/m/n/12 )$, [] [11]) [12] \openout2 = `2.aux'. (./2.tex Chapter 2. [13 ] [14]) [15] \openout2 = `3.aux'. (./3.tex [16 ] Chapter 3. ) [17] \openout2 = `4.aux'. No file 4.tex. \openout2 = `5.aux'. No file 5.tex. \openout2 = `6.aux'. No file 6.tex. \openout2 = `7.aux'. No file 7.tex. \openout2 = `8.aux'. No file 8.tex. [18 ] No file category-theory.bbl. ! Undefined control sequence. l.77 \printindex ? (./category-theory.aux (./1.aux) (./2.aux) (./3.aux) (./4.aux) (./5.aux) (./6.aux) (./7.aux) (./8.aux)) ) Here is how much of TeX's memory you used: 16799 strings out of 479654 364318 string characters out of 5883416 615523 words of memory out of 5000000 34567 multiletter control sequences out of 15000+600000 480285 words of font info for 69 fonts, out of 8000000 for 9000 309 hyphenation exceptions out of 8191 98i,15n,103p,606b,1054s stack positions out of 5000i,500n,10000p,200000b,80000s Output written on category-theory.pdf (22 pages, 193214 bytes). PDF statistics: 153 PDF objects out of 1000 (max. 8388607) 99 compressed objects within 1 object stream 0 named destinations out of 1000 (max. 500000) 13 words of extra memory for PDF output out of 10000 (max. 10000000)