diff --git a/README.md b/README.md index dd8d689..0dfd19e 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,9 @@ Category Theory for Programmers ==== +Category Theory for Programmers + **Note**: this is a work in progress! Direct link: [category-theory-for-programmers.pdf](https://github.com/hmemcpy/milewski-ctfp-pdf/raw/master/ctfp.pdf) diff --git a/ctfp.pdf b/ctfp.pdf index 19b9195..06a5b75 100644 Binary files a/ctfp.pdf and b/ctfp.pdf differ diff --git a/src/bookwheel.jpg b/src/bookwheel.jpg deleted file mode 100644 index 1d7a66c..0000000 Binary files a/src/bookwheel.jpg and /dev/null differ diff --git a/src/commutative_diagram.png b/src/commutative_diagram.png new file mode 100644 index 0000000..cc06ab1 Binary files /dev/null and b/src/commutative_diagram.png differ diff --git a/src/coverpage.svg b/src/coverpage.svg index 01a1d81..e0ed509 100644 --- a/src/coverpage.svg +++ b/src/coverpage.svg @@ -12,7 +12,7 @@ xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" style="display:inline;enable-background:new" sodipodi:docname="coverpage.svg" - inkscape:version="0.48.3.1 r9886" + inkscape:version="0.91 r13725" version="1.1" id="svg2" height="853" @@ -43,15 +43,15 @@ inkscape:pageopacity="0" inkscape:pageshadow="2" inkscape:zoom="0.98994951" - inkscape:cx="472.66589" - inkscape:cy="421.26271" + inkscape:cx="678.97117" + inkscape:cy="434.61539" inkscape:document-units="px" inkscape:current-layer="layer3" showgrid="false" inkscape:window-width="1920" - inkscape:window-height="1004" + inkscape:window-height="1114" inkscape:window-x="0" - inkscape:window-y="24" + inkscape:window-y="0" inkscape:window-maximized="1" height="1020px" width="600px"> @@ -136,116 +136,53 @@ transform="translate(0,-199.36211)"> Structure andCategory TheoryInterpretationof Computer Programs + 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="tspan3386">for Programmers Harold Abelson and Gerald Jay Sussmanwith Julie Sussman foreword by Alan J. Perlis + x="153.76953" + y="797.94342" + 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" + id="tspan7240">Bartosz Milewski + Unofficial Texinfo Format 2.andresraba5.6 - second edition - + id="tspan3403" + x="198.57143" + y="836.64783" />