This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 1999.8.9)  1 DEC 2000 13:24
**all
(all.tex
LaTeX2e <1998/12/01> patch level 1
Babel <v3.6x> and hyphenation patterns for american, french, german, ngerman, n
ohyphenation, loaded.
(/Benutzer/wirth/Library/TeX/texmf/tex/latex/latexlib/article.cls
Document Class: article 1999/01/07 v1.4a Standard LaTeX document class
(/app/unido-inf/sun4_56/tetex/1.0.6/texmf/tex/latex/base/size12.clo
File: size12.clo 1999/01/07 v1.4a Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
) (body.tex (/app/unido-inf/sun4_56/tetex/1.0.6/texmf/tex/latex/base/latexsym.s
ty
Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols)
\symlasy=\mathgroup4
LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'
(Font)                  U/lasy/m/n --> U/lasy/b/n on input line 29.
)
(/app/unido-inf/sun4_56/tetex/1.0.6/texmf/tex/latex/amsfonts/amssymb.sty
Package: amssymb 1996/11/03 v2.2b

(/app/unido-inf/sun4_56/tetex/1.0.6/texmf/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 1997/09/17 v2.2e
\@emptytoks=\toks14
\symAMSa=\mathgroup5
\symAMSb=\mathgroup6
LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
(Font)                  U/euf/m/n --> U/euf/b/n on input line 133.
))
(/Benutzer/wirth/Library/TeX/texmf/tex/latex/latexlib/dina4.sty)
(/Benutzer/wirth/Library/TeX/texmf/tex/latex/latexlib/headergerman.tex
(/Benutzer/wirth/Library/TeX/texmf/tex/latex/latexlib/oldgerman.tex))
(/Benutzer/wirth/Library/TeX/texmf/tex/latex/latexlib/header.tex
(/Benutzer/wirth/Library/TeX/texmf/tex/latex/latexlib/headerhot.tex
\disp=\skip43
\textwidthminustwomm=\skip44
\textwidthminushalfcm=\skip45
\textwidthminusonecm=\skip46
\textwidthminustwocm=\skip47
\textwidthminusfourcm=\skip48
\textwidthminussixcm=\skip49
))
(/Benutzer/wirth/Library/TeX/texmf/tex/latex/latexlib/headertheorem.tex
\c@theorem=\count87
)
(/Benutzer/wirth/Library/TeX/texmf/tex/latex/latexlib/header12pt.tex)
(/Benutzer/wirth/Library/TeX/texmf/tex/latex/latexlib/headercategories.tex)
(/Benutzer/wirth/Library/TeX/texmf/tex/latex/latexlib/headergigantic.tex)
(/Benutzer/wirth/Library/TeX/texmf/tex/latex/latexlib/headerforformulas.tex)
(/Benutzer/wirth/Library/TeX/texmf/tex/latex/latexlib/headersugarterms.tex)
(/Benutzer/wirth/Library/TeX/texmf/tex/latex/latexlib/headerbiblio.tex
Doc. St. `headerbiblio', <vers. 1.38>, copyright CP Wirth
\mybibitemsep=\skip50
(/Benutzer/wirth/Library/TeX/texmf/tex/latex/latexlib/headernames.tex)
LaTeX Info: Redefining \cite on input line 329.
)
(/Benutzer/wirth/Library/TeX/texmf/tex/latex/latexlib/diagrams.tex
\cD@LB=\count88
\cD@MB=\count89
\cD@NB=\count90
\cD@OB=\count91
\cD@tA=\dimen103
\cD@uA=\dimen104
\cD@wA=\dimen105
\cD@xA=\dimen106
\cD@PB=\count92
\cD@VG=\count93
\cD@vA=\dimen107
\cD@qA=\box26
\cD@NH=\count94
\cD@bG=\count95
\cD@SH=\dimen108
\cD@nH=\dimen109
\cD@kH=\dimen110
\cD@NI=\dimen111
\cD@bI=\dimen112
\PileSpacing=\dimen113
\cD@HB=\dimen114
\cD@IB=\dimen115
\cD@fB=\dimen116
\DiagramCellHeight=\dimen117
\DiagramCellWidth=\dimen118
\MapShortFall=\dimen119
\cD@EB=\dimen120
\rh+:>=\box27
\rt+:<=\box28
\dh+:>=\box29
\dt+:<=\box30
\rt+:>=\box31
\rh+:<=\box32
\dt+:>=\box33
\dh+:<=\box34
\cD@zC=\toks15
\cD@oG=\toks16
\cD@zA=\count96
\cD@vC=\toks17
\cD@AD=\toks18
\cD@xC=\toks19
\cD@yC=\toks20
\cD@wC=\toks21
\cD@@D=\toks22
\cD@II=\toks23
\cD@JI=\toks24
\cD@HI=\toks25
\cD@KI=\toks26
\cD@pA=\count97
\cD@eB=\count98
\cD@ZB=\count99
\cD@rA=\count100
\cD@FB=\count101
\cD@YB=\count102
\cD@VB=\count103
\cD@tD=\box35
\cD@rD=\box36
\DiagonalChoice=\count104
\cD@OH=\dimen121
\cD@PH=\dimen122
\cD@SG=\toks27
\cD@NF=\toks28
\cD@gE=\toks29
\cD@hC=\toks30
\cD@dE=\toks31
LaTeX Font Info:    Try loading font information for U+lasy on input line 1564.


(/app/unido-inf/sun4_56/tetex/1.0.6/texmf/tex/latex/base/ulasy.fd
File: ulasy.fd 1998/08/17 v2.2eLaTeX symbol font definitions
)
LaTeX Font Info:    Try loading font information for U+msa on input line 1564.

(/app/unido-inf/sun4_56/tetex/1.0.6/texmf/tex/latex/amsfonts/umsa.fd
File: umsa.fd 1995/01/05 v2.2e AMS font definitions
)
LaTeX Font Info:    Try loading font information for U+msb on input line 1564.

(/app/unido-inf/sun4_56/tetex/1.0.6/texmf/tex/latex/amsfonts/umsb.fd
File: umsb.fd 1995/01/05 v2.2e AMS font definitions
))
(/Benutzer/wirth/Library/TeX/texmf/tex/latex/latexlib/headerdiagrams.tex)
(all.aux (titlepage.aux) (tableofcontents.aux) (basic.aux) (duality.aux)
(inside.aux) (algebra.aux) (coalgebra.aux) (superalgebra.aux) (references.aux))
\openout1 = `all.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 23.
LaTeX Font Info:    ... okay on input line 23.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 23.
LaTeX Font Info:    ... okay on input line 23.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 23.
LaTeX Font Info:    ... okay on input line 23.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 23.
LaTeX Font Info:    ... okay on input line 23.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 23.
LaTeX Font Info:    ... okay on input line 23.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 23.
LaTeX Font Info:    ... okay on input line 23.
\openout2 = `titlepage.aux'.

(titlepage.tex) [-99


]
\openout2 = `tableofcontents.aux'.

 (tableofcontents.tex (all.toc)
\tf@toc=\write3
\openout3 = `all.toc'.

) [-98


]
(/Benutzer/wirth/Library/TeX/texmf/tex/latex/latexlib/headerpagenumber.tex)
\openout2 = `basic.aux'.


(basic.tex
LaTeX Font Info:    Try loading font information for U+euf on input line 63.
 (/app/unido-inf/sun4_56/tetex/1.0.6/texmf/tex/latex/amsfonts/ueuf.fd
File: ueuf.fd 1995/01/05 v2.2e AMS font definitions
) [1


]
LaTeX Font Info:    Try loading font information for OMS+cmr on input line 115.

 (/app/unido-inf/sun4_56/tetex/1.0.6/texmf/tex/latex/base/omscmr.fd
File: omscmr.fd 1998/03/27 v2.5g Standard LaTeX font definitions
)
LaTeX Font Info:    Font shape `OMS/cmr/m/n' in size <12> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 115.

[2]
Underfull \hbox (badness 6380) in paragraph at lines 326--326
[][]\OT1/cmr/m/n/10 Note that in a set the-ory with ur-elements, we need Hil-be
rt's $\OML/cmm/m/it/10 "$\OT1/cmr/m/n/10 -operator to de-fine
 []

[3]
Underfull \hbox (badness 10000) in paragraph at lines 433--452
[]\OT1/cmr/m/n/12 An \OT1/cmr/m/it/12 ar-row func-tion $[]$   \OT1/cmr/m/n/12 o
r else a \OT1/cmr/m/it/12 mor-phism func-
 []

[4] [5]) [6]
\openout2 = `duality.aux'.

 (duality.tex) [7


]
\openout2 = `inside.aux'.

 (inside.tex [8


]
Underfull \hbox (badness 2142) in paragraph at lines 233--243
[]$ \OT1/cmr/m/n/12 For  $\OML/cmm/m/it/12 ba[]ca$  \OT1/cmr/m/n/12 we get  $\O
ML/cmm/m/it/12 b[]b [] \OT1/cmr/m/n/12 = \OML/cmm/m/it/12 bar \OT1/cmr/m/n/12 =
 \OML/cmm/m/it/12 car \OT1/cmr/m/n/12 =
 []

[9] [10]
Underfull \vbox (badness 4378) has occurred while \output is active []

 [11]
Underfull \vbox (badness 5022) has occurred while \output is active []

 [12])
[13]
\openout2 = `algebra.aux'.

 (algebra.tex
Underfull \hbox (badness 2547) in paragraph at lines 20--31
\OT1/cmr/m/n/12 Set $\U/msb/m/n/12 S$ $\OT1/cmr/m/n/12 :=$ $\OMS/cmsy/m/n/12 f$
\OT1/cmss/m/n/12 1\OT1/cmr/m/n/12 , \OT1/cmss/m/n/12 zero\OT1/cmr/m/n/12 , \OT1
/cmss/m/n/12 pos-nat\OT1/cmr/m/n/12 , \OT1/cmss/m/n/12 emptylist\OT1/cmr/m/n/12
 , \OT1/cmss/m/n/12 nonemptylist\OT1/cmr/m/n/12 , \OT1/cmss/m/n/12 zero$\OT1/cm
r/m/n/12 +$\OT1/cmss/m/n/12 posnat\OT1/cmr/m/n/12 , \OT1/cmss/m/n/12 zero$\OT1/
cmr/m/n/12 +$\OT1/cmss/m/n/12 posnat$\OT1/cmr/m/n/12 +$\OT1/cmss/m/n/12 1\OT1/c
mr/m/n/12 ,
 []

[14


] [15]) [16]
\openout2 = `coalgebra.aux'.

 (coalgebra.tex [17


] [18]) [19]
\openout2 = `superalgebra.aux'.

 (superalgebra.tex [20


] [21])
[22]
\openout2 = `references.aux'.

 (references.tex) [23


] (all.aux (titlepage.aux) (tableofcontents.aux)
(basic.aux) (duality.aux) (inside.aux) (algebra.aux) (coalgebra.aux)
(superalgebra.aux) (references.aux)) ) ) 
Here is how much of TeX's memory you used:
 4102 strings out of 10901
 37663 string characters out of 71802
 97795 words of memory out of 263001
 6925 multiletter control sequences out of 10000+0
 30281 words of font info for 114 fonts, out of 400000 for 1000
 68 hyphenation exceptions out of 1000
 110i,22n,24p,413b,410s stack positions out of 300i,100n,500p,50000b,4000s

Output written on all.dvi (25 pages, 100652 bytes).