mirror of
https://github.com/hmemcpy/milewski-ctfp-pdf.git
synced 2024-11-26 03:11:47 +03:00
Adding cover page
This commit is contained in:
Igal Tabachnik
Igal Tabachnik
parent
a75e91ff45
commit
2be02358d1
@ -1,6 +1,9 @@
|
|||||||
Category Theory for Programmers
|
Category Theory for Programmers
|
||||||
====
|
====
|
||||||
|
|
||||||
|
<img src="https://github.com/hmemcpy/milewski-ctfp-pdf/raw/master/src/commutative_diagram.png"
|
||||||
|
alt="Category Theory for Programmers" width=256 align="right" />
|
||||||
|
|
||||||
**Note**: this is a work in progress!
|
**Note**: this is a work in progress!
|
||||||
|
|
||||||
<b>Direct link: [category-theory-for-programmers.pdf](https://github.com/hmemcpy/milewski-ctfp-pdf/raw/master/ctfp.pdf)</b>
|
<b>Direct link: [category-theory-for-programmers.pdf](https://github.com/hmemcpy/milewski-ctfp-pdf/raw/master/ctfp.pdf)</b>
|
||||||
|
|||||||
Binary file not shown.
|
Before Width: | Height: | Size: 453 KiB |
BIN
src/commutative_diagram.png
Normal file
BIN
src/commutative_diagram.png
Normal file
Binary file not shown.
|
After Width: | Height: | Size: 24 KiB |
@ -12,7 +12,7 @@
|
|||||||
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
|
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
|
||||||
style="display:inline;enable-background:new"
|
style="display:inline;enable-background:new"
|
||||||
sodipodi:docname="coverpage.svg"
|
sodipodi:docname="coverpage.svg"
|
||||||
inkscape:version="0.48.3.1 r9886"
|
inkscape:version="0.91 r13725"
|
||||||
version="1.1"
|
version="1.1"
|
||||||
id="svg2"
|
id="svg2"
|
||||||
height="853"
|
height="853"
|
||||||
@ -43,15 +43,15 @@
|
|||||||
inkscape:pageopacity="0"
|
inkscape:pageopacity="0"
|
||||||
inkscape:pageshadow="2"
|
inkscape:pageshadow="2"
|
||||||
inkscape:zoom="0.98994951"
|
inkscape:zoom="0.98994951"
|
||||||
inkscape:cx="472.66589"
|
inkscape:cx="678.97117"
|
||||||
inkscape:cy="421.26271"
|
inkscape:cy="434.61539"
|
||||||
inkscape:document-units="px"
|
inkscape:document-units="px"
|
||||||
inkscape:current-layer="layer3"
|
inkscape:current-layer="layer3"
|
||||||
showgrid="false"
|
showgrid="false"
|
||||||
inkscape:window-width="1920"
|
inkscape:window-width="1920"
|
||||||
inkscape:window-height="1004"
|
inkscape:window-height="1114"
|
||||||
inkscape:window-x="0"
|
inkscape:window-x="0"
|
||||||
inkscape:window-y="24"
|
inkscape:window-y="0"
|
||||||
inkscape:window-maximized="1"
|
inkscape:window-maximized="1"
|
||||||
height="1020px"
|
height="1020px"
|
||||||
width="600px">
|
width="600px">
|
||||||
@ -136,116 +136,53 @@
|
|||||||
transform="translate(0,-199.36211)">
|
transform="translate(0,-199.36211)">
|
||||||
<text
|
<text
|
||||||
xml:space="preserve"
|
xml:space="preserve"
|
||||||
style="font-size:36.18788528px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;letter-spacing:0px;word-spacing:0px;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;display:inline;enable-background:new;font-family:Alegreya;-inkscape-font-specification:Alegreya"
|
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:36.18788528px;line-height:100%;font-family:Alegreya;-inkscape-font-specification:Alegreya;text-align:start;letter-spacing:0px;word-spacing:0px;text-anchor:start;display:inline;fill:#000000;fill-opacity:1;stroke:none;enable-background:new"
|
||||||
x="319.11899"
|
x="320.69214"
|
||||||
y="329.89368"
|
y="329.89368"
|
||||||
id="text2985"
|
id="text2985"
|
||||||
sodipodi:linespacing="100%"><tspan
|
sodipodi:linespacing="100%"><tspan
|
||||||
sodipodi:role="line"
|
sodipodi:role="line"
|
||||||
x="319.11899"
|
x="320.69214"
|
||||||
y="329.89368"
|
y="329.89368"
|
||||||
style="font-size:52.5px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:110.00000238%;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;font-family:Alegreya;-inkscape-font-specification:Alegreya"
|
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:52.5px;line-height:110.00000238%;font-family:Alegreya;-inkscape-font-specification:Alegreya;text-align:center;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1"
|
||||||
id="tspan3056"><tspan
|
id="tspan3294">Category Theory</tspan><tspan
|
||||||
dx="0 0 0 0 0 0 0 0"
|
|
||||||
id="tspan3091"
|
|
||||||
style="font-size:52.5px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:110.00000238%;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;font-family:Alegreya;-inkscape-font-specification:Alegreya">Structure and</tspan></tspan><tspan
|
|
||||||
sodipodi:role="line"
|
sodipodi:role="line"
|
||||||
x="319.11899"
|
x="320.69214"
|
||||||
y="387.64368"
|
y="387.64368"
|
||||||
style="font-size:52.5px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:110.00000238%;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;font-family:Alegreya;-inkscape-font-specification:Alegreya"
|
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:52.5px;line-height:110.00000238%;font-family:Alegreya;-inkscape-font-specification:Alegreya;text-align:center;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1"
|
||||||
id="tspan3267"><tspan
|
id="tspan3386">for Programmers</tspan></text>
|
||||||
dx="0 0 0 0 0 0 0 0 0 0 0 0 0 0"
|
|
||||||
style="font-size:52.5px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:110.00000238%;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;font-family:Alegreya;-inkscape-font-specification:Alegreya"
|
|
||||||
id="tspan3278">Interpretation</tspan></tspan><tspan
|
|
||||||
sodipodi:role="line"
|
|
||||||
x="324.39975"
|
|
||||||
y="445.39368"
|
|
||||||
style="font-size:52.5px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:110.00000238%;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;font-family:Alegreya;-inkscape-font-specification:Alegreya"
|
|
||||||
id="tspan3288"><tspan
|
|
||||||
id="tspan3305"
|
|
||||||
style="font-size:52.50000000000000000px;font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:110.00000238000001218%;word-spacing:5px;text-anchor:middle;fill:#000000;fill-opacity:1;font-family:Alegreya;-inkscape-font-specification:Alegreya Italic">of </tspan><tspan
|
|
||||||
style="font-size:52.5px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:110.00000238%;word-spacing:5px;text-anchor:middle;fill:#000000;fill-opacity:1;font-family:Alegreya;-inkscape-font-specification:Alegreya"
|
|
||||||
dx="0 0 0 0 0 0 0 0"
|
|
||||||
id="tspan3292">Computer </tspan></tspan><tspan
|
|
||||||
sodipodi:role="line"
|
|
||||||
x="319.11899"
|
|
||||||
y="503.14368"
|
|
||||||
style="font-size:52.5px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:110.00000238%;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;font-family:Alegreya;-inkscape-font-specification:Alegreya"
|
|
||||||
dx="0 0 0 0 0 0 0 -0.50260949"
|
|
||||||
id="tspan3294">Programs</tspan></text>
|
|
||||||
<text
|
<text
|
||||||
xml:space="preserve"
|
xml:space="preserve"
|
||||||
style="font-size:24.12525558px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:110.00000238%;letter-spacing:0px;word-spacing:0px;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;display:inline;enable-background:new;font-family:Alegreya;-inkscape-font-specification:Alegreya"
|
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:24.12525558px;line-height:139.99999762%;font-family:Alegreya;-inkscape-font-specification:Alegreya;text-align:start;letter-spacing:0px;word-spacing:0px;text-anchor:start;display:inline;fill:#000000;fill-opacity:1;stroke:none;enable-background:new"
|
||||||
x="218.10582"
|
x="153.76953"
|
||||||
y="901.53918"
|
y="797.94342"
|
||||||
id="text4059"
|
id="text4059"
|
||||||
sodipodi:linespacing="140%"><tspan
|
sodipodi:linespacing="140%"><tspan
|
||||||
sodipodi:role="line"
|
sodipodi:role="line"
|
||||||
x="218.10582"
|
x="153.76953"
|
||||||
y="901.53918"
|
y="797.94342"
|
||||||
id="tspan4063"
|
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:40px;line-height:139.99999762%;font-family:sans-serif;-inkscape-font-specification:sans-serif;word-spacing:0px;fill:#000000;fill-opacity:1"
|
||||||
style="font-size:25.20000076000000178px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:120%;word-spacing:0px;fill:#000000;fill-opacity:1;font-family:Alegreya;-inkscape-font-specification:Alegreya"
|
id="tspan7240">Bartosz Milewski</tspan></text>
|
||||||
dx="-1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0.2 0 0 -0.2">Harold Abelson and </tspan><tspan
|
<image
|
||||||
sodipodi:role="line"
|
sodipodi:absref="/Users/igalt/code/milewski-ctfp-pdf/src/commutative_diagram.png"
|
||||||
x="218.10582"
|
xlink:href="commutative_diagram.png"
|
||||||
y="929.25922"
|
y="436.8056"
|
||||||
style="font-size:25.20000076000000178px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:120%;word-spacing:0px;fill:#000000;fill-opacity:1;font-family:Alegreya;-inkscape-font-specification:Alegreya"
|
x="215.9724"
|
||||||
id="tspan7238"
|
id="image7052"
|
||||||
dx="0 0 0 0 0 0 0 0 0 0 0">Gerald Jay Sussman</tspan><tspan
|
height="301.99292"
|
||||||
sodipodi:role="line"
|
width="208.05521"
|
||||||
x="218.10582"
|
style="display:inline;enable-background:new" />
|
||||||
y="956.97919"
|
|
||||||
id="tspan4069"
|
|
||||||
style="font-size:25.20000076px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:120.00000477%;word-spacing:3.77119613px;fill:#000000;fill-opacity:1;font-family:Alegreya;-inkscape-font-specification:Alegreya"
|
|
||||||
dx="0 0 0 0 0">with Julie Sussman </tspan><tspan
|
|
||||||
sodipodi:role="line"
|
|
||||||
x="218.10582"
|
|
||||||
y="980.34705"
|
|
||||||
style="font-size:19.89999961999999911px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:140%;word-spacing:0px;fill:#000000;fill-opacity:1;font-family:Alegreya;-inkscape-font-specification:Alegreya"
|
|
||||||
id="tspan7240"
|
|
||||||
dx="0 0 0 0 0 0 0 0 0">foreword by Alan J. Perlis</tspan></text>
|
|
||||||
<text
|
<text
|
||||||
xml:space="preserve"
|
xml:space="preserve"
|
||||||
style="font-size:26.1356945px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:120.00000477%;letter-spacing:0px;word-spacing:0px;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;display:inline;enable-background:new;font-family:Alegreya;-inkscape-font-specification:Alegreya"
|
style="font-style:normal;font-weight:normal;font-size:40px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
|
||||||
x="320.07907"
|
x="198.57143"
|
||||||
y="867.31512"
|
y="836.64783"
|
||||||
id="text5884"
|
id="text3401"
|
||||||
sodipodi:linespacing="120%"><tspan
|
|
||||||
sodipodi:role="line"
|
|
||||||
x="320.07907"
|
|
||||||
y="867.31512"
|
|
||||||
style="font-size:11.72px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:120.00000476999998966%;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;font-family:Alegreya;-inkscape-font-specification:Alegreya"
|
|
||||||
id="tspan7192"
|
|
||||||
dx="0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0"><tspan
|
|
||||||
dx="0 0 0 0 0 0 0 0 0 0"
|
|
||||||
dy="0 0 0 0 0 0 0 0 0 0"
|
|
||||||
id="tspan3066"
|
|
||||||
style="font-size:11.72px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:120.00000476999998966%;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;font-family:Alegreya;-inkscape-font-specification:Alegreya"><tspan
|
|
||||||
style="font-size:11.72px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;font-family:Alegreya;-inkscape-font-specification:Alegreya"
|
|
||||||
id="tspan3026"
|
|
||||||
dx="0">Unofficial Texinfo Format </tspan></tspan>2.andresraba5.6</tspan></text>
|
|
||||||
<text
|
|
||||||
xml:space="preserve"
|
|
||||||
style="font-size:26.1356945px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;display:inline;enable-background:new;font-family:Alegreya;-inkscape-font-specification:Alegreya"
|
|
||||||
x="320.09695"
|
|
||||||
y="853.24207"
|
|
||||||
id="text5896"
|
|
||||||
sodipodi:linespacing="125%"><tspan
|
sodipodi:linespacing="125%"><tspan
|
||||||
sodipodi:role="line"
|
sodipodi:role="line"
|
||||||
id="tspan5898"
|
id="tspan3403"
|
||||||
x="320.09695"
|
x="198.57143"
|
||||||
y="853.24207"
|
y="836.64783" /></text>
|
||||||
style="font-size:27.9px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;word-spacing:0px;text-anchor:middle;fill:#a02c2c;fill-opacity:1;font-family:Alegreya SC;-inkscape-font-specification:Alegreya SC"
|
|
||||||
dx="0 1.005219 1.005219 1.005219 1.005219 1.005219 0 1.005219 1.005219 1.005219 1.005219 1.005219 1.005219 1.005219">second edition</tspan></text>
|
|
||||||
<image
|
|
||||||
sodipodi:absref="/home/andres/Programmid/Texinfo/sicp-pdf/src/bookwheel.jpg"
|
|
||||||
xlink:href="bookwheel.jpg"
|
|
||||||
style="display:inline;enable-background:new"
|
|
||||||
width="208.05521"
|
|
||||||
height="301.99292"
|
|
||||||
id="image7052"
|
|
||||||
x="215.96559"
|
|
||||||
y="522.66858" />
|
|
||||||
</g>
|
</g>
|
||||||
<g
|
<g
|
||||||
inkscape:groupmode="layer"
|
inkscape:groupmode="layer"
|
||||||
|
|||||||
|
Before Width: | Height: | Size: 14 KiB After Width: | Height: | Size: 8.7 KiB |
@ -34,7 +34,7 @@
|
|||||||
|
|
||||||
\frontmatter
|
\frontmatter
|
||||||
|
|
||||||
@comment \includepdf[scale=0.92]{coverpage.pdf}
|
\includepdf[scale=0.92]{coverpage.pdf}
|
||||||
|
|
||||||
\pagebreak
|
\pagebreak
|
||||||
|
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user