diff --git a/output/keynote/categories/img/basket_of_cats.jpg b/output/keynote/categories/img/basket_of_cats.jpg
index 0ecae1d7a..5e704cdfa 100644
Binary files a/output/keynote/categories/img/basket_of_cats.jpg and b/output/keynote/categories/img/basket_of_cats.jpg differ
diff --git a/output/keynote/categories/img/batquestion.jpg b/output/keynote/categories/img/batquestion.jpg
index 1972be766..9b5a39793 100644
Binary files a/output/keynote/categories/img/batquestion.jpg and b/output/keynote/categories/img/batquestion.jpg differ
diff --git a/output/keynote/categories/img/buddha.gif b/output/keynote/categories/img/buddha.gif
index ab78c50f8..3d18bde4e 100644
Binary files a/output/keynote/categories/img/buddha.gif and b/output/keynote/categories/img/buddha.gif differ
diff --git a/output/keynote/categories/img/categlory.jpg b/output/keynote/categories/img/categlory.jpg
index 929541969..a3fd21f73 100644
Binary files a/output/keynote/categories/img/categlory.jpg and b/output/keynote/categories/img/categlory.jpg differ
diff --git a/output/keynote/categories/img/cats-everywhere.jpg b/output/keynote/categories/img/cats-everywhere.jpg
index c6e7eb161..792995ac7 100644
Binary files a/output/keynote/categories/img/cats-everywhere.jpg and b/output/keynote/categories/img/cats-everywhere.jpg differ
diff --git a/output/keynote/categories/img/earth_catamorphed.gif b/output/keynote/categories/img/earth_catamorphed.gif
index 967eb49b9..734db02c8 100644
Binary files a/output/keynote/categories/img/earth_catamorphed.gif and b/output/keynote/categories/img/earth_catamorphed.gif differ
diff --git a/output/keynote/categories/img/egyptian-hieroglyphics.jpg b/output/keynote/categories/img/egyptian-hieroglyphics.jpg
index bb1a32e29..471ab86e7 100644
Binary files a/output/keynote/categories/img/egyptian-hieroglyphics.jpg and b/output/keynote/categories/img/egyptian-hieroglyphics.jpg differ
diff --git a/output/keynote/categories/img/eilenberg.gif b/output/keynote/categories/img/eilenberg.gif
index 1766f70f2..cf07d0875 100644
Binary files a/output/keynote/categories/img/eilenberg.gif and b/output/keynote/categories/img/eilenberg.gif differ
diff --git a/output/keynote/categories/img/first-real-numbers.png b/output/keynote/categories/img/first-real-numbers.png
index c76d33df7..c0e57b0a5 100644
Binary files a/output/keynote/categories/img/first-real-numbers.png and b/output/keynote/categories/img/first-real-numbers.png differ
diff --git a/output/keynote/categories/img/fractalcat.jpg b/output/keynote/categories/img/fractalcat.jpg
index a20191316..683fbc606 100644
Binary files a/output/keynote/categories/img/fractalcat.jpg and b/output/keynote/categories/img/fractalcat.jpg differ
diff --git a/output/keynote/categories/img/functor-cat.gif b/output/keynote/categories/img/functor-cat.gif
index 0432eba90..a7e9a21d1 100644
Binary files a/output/keynote/categories/img/functor-cat.gif and b/output/keynote/categories/img/functor-cat.gif differ
diff --git a/output/keynote/categories/img/isomorph-cats.jpg b/output/keynote/categories/img/isomorph-cats.jpg
index 9afb0a65d..8ba870168 100644
Binary files a/output/keynote/categories/img/isomorph-cats.jpg and b/output/keynote/categories/img/isomorph-cats.jpg differ
diff --git a/output/keynote/categories/img/lolcat.jpg b/output/keynote/categories/img/lolcat.jpg
index 4cf82fbb4..152f879aa 100644
Binary files a/output/keynote/categories/img/lolcat.jpg and b/output/keynote/categories/img/lolcat.jpg differ
diff --git a/output/keynote/categories/img/maclaine.jpg b/output/keynote/categories/img/maclaine.jpg
index d41bc72d1..797d6e589 100644
Binary files a/output/keynote/categories/img/maclaine.jpg and b/output/keynote/categories/img/maclaine.jpg differ
diff --git a/output/keynote/categories/img/mindblown.gif b/output/keynote/categories/img/mindblown.gif
index 4fa0290e1..b6f5c3be6 100644
Binary files a/output/keynote/categories/img/mindblown.gif and b/output/keynote/categories/img/mindblown.gif differ
diff --git a/output/keynote/categories/img/mp/associativecomposition.png b/output/keynote/categories/img/mp/associativecomposition.png
index 3cc4b75fa..1e6a1a64d 100644
Binary files a/output/keynote/categories/img/mp/associativecomposition.png and b/output/keynote/categories/img/mp/associativecomposition.png differ
diff --git a/output/keynote/categories/img/mp/boxfunctor.png b/output/keynote/categories/img/mp/boxfunctor.png
index 7fe3afbd8..19838576c 100644
Binary files a/output/keynote/categories/img/mp/boxfunctor.png and b/output/keynote/categories/img/mp/boxfunctor.png differ
diff --git a/output/keynote/categories/img/mp/cat-example1.png b/output/keynote/categories/img/mp/cat-example1.png
index 97442173b..b6b37a57d 100644
Binary files a/output/keynote/categories/img/mp/cat-example1.png and b/output/keynote/categories/img/mp/cat-example1.png differ
diff --git a/output/keynote/categories/img/mp/cat-example2.png b/output/keynote/categories/img/mp/cat-example2.png
index c02096416..c64c8c539 100644
Binary files a/output/keynote/categories/img/mp/cat-example2.png and b/output/keynote/categories/img/mp/cat-example2.png differ
diff --git a/output/keynote/categories/img/mp/cat-example3.png b/output/keynote/categories/img/mp/cat-example3.png
index c1880a919..c7fca374e 100644
Binary files a/output/keynote/categories/img/mp/cat-example3.png and b/output/keynote/categories/img/mp/cat-example3.png differ
diff --git a/output/keynote/categories/img/mp/cat-example4.png b/output/keynote/categories/img/mp/cat-example4.png
index a8a414a2f..f922c8ae2 100644
Binary files a/output/keynote/categories/img/mp/cat-example4.png and b/output/keynote/categories/img/mp/cat-example4.png differ
diff --git a/output/keynote/categories/img/mp/cat-example5.png b/output/keynote/categories/img/mp/cat-example5.png
index c73ec548e..0da464e91 100644
Binary files a/output/keynote/categories/img/mp/cat-example5.png and b/output/keynote/categories/img/mp/cat-example5.png differ
diff --git a/output/keynote/categories/img/mp/cat-hask-endofunctor.png b/output/keynote/categories/img/mp/cat-hask-endofunctor.png
index 12bd2477f..d09771179 100644
Binary files a/output/keynote/categories/img/mp/cat-hask-endofunctor.png and b/output/keynote/categories/img/mp/cat-hask-endofunctor.png differ
diff --git a/output/keynote/categories/img/mp/commutative-diagram-assoc.png b/output/keynote/categories/img/mp/commutative-diagram-assoc.png
index 04f5dfde8..475d27ebd 100644
Binary files a/output/keynote/categories/img/mp/commutative-diagram-assoc.png and b/output/keynote/categories/img/mp/commutative-diagram-assoc.png differ
diff --git a/output/keynote/categories/img/mp/commutative-diagram-id.png b/output/keynote/categories/img/mp/commutative-diagram-id.png
index 3871d5f01..7dd1a9f92 100644
Binary files a/output/keynote/categories/img/mp/commutative-diagram-id.png and b/output/keynote/categories/img/mp/commutative-diagram-id.png differ
diff --git a/output/keynote/categories/img/mp/composition.png b/output/keynote/categories/img/mp/composition.png
index 58c954db3..5b57b659d 100644
Binary files a/output/keynote/categories/img/mp/composition.png and b/output/keynote/categories/img/mp/composition.png differ
diff --git a/output/keynote/categories/img/mp/endofunctor.png b/output/keynote/categories/img/mp/endofunctor.png
index ce29b73be..7319ee2a8 100644
Binary files a/output/keynote/categories/img/mp/endofunctor.png and b/output/keynote/categories/img/mp/endofunctor.png differ
diff --git a/output/keynote/categories/img/mp/functor-morphism-color.png b/output/keynote/categories/img/mp/functor-morphism-color.png
index 83866131d..4474d459b 100644
Binary files a/output/keynote/categories/img/mp/functor-morphism-color.png and b/output/keynote/categories/img/mp/functor-morphism-color.png differ
diff --git a/output/keynote/categories/img/mp/functor-morphism.png b/output/keynote/categories/img/mp/functor-morphism.png
index df4be0745..4cbe0b47c 100644
Binary files a/output/keynote/categories/img/mp/functor-morphism.png and b/output/keynote/categories/img/mp/functor-morphism.png differ
diff --git a/output/keynote/categories/img/mp/functor.png b/output/keynote/categories/img/mp/functor.png
index a7626a19b..48339b36a 100644
Binary files a/output/keynote/categories/img/mp/functor.png and b/output/keynote/categories/img/mp/functor.png differ
diff --git a/output/keynote/categories/img/mp/graph-category.png b/output/keynote/categories/img/mp/graph-category.png
index c9dc355b9..a1aeed0ba 100644
Binary files a/output/keynote/categories/img/mp/graph-category.png and b/output/keynote/categories/img/mp/graph-category.png differ
diff --git a/output/keynote/categories/img/mp/hask-endofunctor-morphisms.png b/output/keynote/categories/img/mp/hask-endofunctor-morphisms.png
index cd8360584..fb6052599 100644
Binary files a/output/keynote/categories/img/mp/hask-endofunctor-morphisms.png and b/output/keynote/categories/img/mp/hask-endofunctor-morphisms.png differ
diff --git a/output/keynote/categories/img/mp/hask-endofunctor-objects.png b/output/keynote/categories/img/mp/hask-endofunctor-objects.png
index 302276607..6308f9ce6 100644
Binary files a/output/keynote/categories/img/mp/hask-endofunctor-objects.png and b/output/keynote/categories/img/mp/hask-endofunctor-objects.png differ
diff --git a/output/keynote/categories/img/mp/hask-endofunctor.png b/output/keynote/categories/img/mp/hask-endofunctor.png
index 5974e1de3..53cf05b34 100644
Binary files a/output/keynote/categories/img/mp/hask-endofunctor.png and b/output/keynote/categories/img/mp/hask-endofunctor.png differ
diff --git a/output/keynote/categories/img/mp/hask.png b/output/keynote/categories/img/mp/hask.png
index 4d3764cec..016474cfa 100644
Binary files a/output/keynote/categories/img/mp/hask.png and b/output/keynote/categories/img/mp/hask.png differ
diff --git a/output/keynote/categories/img/mp/identity.png b/output/keynote/categories/img/mp/identity.png
index efd7ae12c..75ef39375 100644
Binary files a/output/keynote/categories/img/mp/identity.png and b/output/keynote/categories/img/mp/identity.png differ
diff --git a/output/keynote/categories/img/mp/list-maybe-endofunctor-morphism.png b/output/keynote/categories/img/mp/list-maybe-endofunctor-morphism.png
index cdd02eb3a..4e2797ffe 100644
Binary files a/output/keynote/categories/img/mp/list-maybe-endofunctor-morphism.png and b/output/keynote/categories/img/mp/list-maybe-endofunctor-morphism.png differ
diff --git a/output/keynote/categories/img/mp/list-tree-endofunctor-morphism.mp b/output/keynote/categories/img/mp/list-tree-endofunctor-morphism.mp
deleted file mode 100644
index 33725e1f2..000000000
--- a/output/keynote/categories/img/mp/list-tree-endofunctor-morphism.mp
+++ /dev/null
@@ -1,7 +0,0 @@
-pair tree,list;
-resize(.8cm);
-list=origin;
-tree=list shifted (gu,0);
-drawState(list,"\mathtt{[]}");
-drawState(tree,"\mathtt{List}");
-drawEdgeAngle(list,tree,"\mathtt{toList}",30);
diff --git a/output/keynote/categories/img/mp/list-tree-endofunctor-morphism.png b/output/keynote/categories/img/mp/list-tree-endofunctor-morphism.png
index 74fa002cf..1e1f2c689 100644
Binary files a/output/keynote/categories/img/mp/list-tree-endofunctor-morphism.png and b/output/keynote/categories/img/mp/list-tree-endofunctor-morphism.png differ
diff --git a/output/keynote/categories/img/mp/maybe-list-endofunctor-morphsm.png b/output/keynote/categories/img/mp/maybe-list-endofunctor-morphsm.png
index 9951405eb..7e7e8d2bd 100644
Binary files a/output/keynote/categories/img/mp/maybe-list-endofunctor-morphsm.png and b/output/keynote/categories/img/mp/maybe-list-endofunctor-morphsm.png differ
diff --git a/output/keynote/categories/img/mp/monoid.png b/output/keynote/categories/img/mp/monoid.png
index f104be3b7..b5237c91b 100644
Binary files a/output/keynote/categories/img/mp/monoid.png and b/output/keynote/categories/img/mp/monoid.png differ
diff --git a/output/keynote/categories/img/mp/morphisms.png b/output/keynote/categories/img/mp/morphisms.png
index 65ecad639..9200a9482 100644
Binary files a/output/keynote/categories/img/mp/morphisms.png and b/output/keynote/categories/img/mp/morphisms.png differ
diff --git a/output/keynote/categories/img/mp/nattrans-list-maybe.png b/output/keynote/categories/img/mp/nattrans-list-maybe.png
index 480df0364..31873f9da 100644
Binary files a/output/keynote/categories/img/mp/nattrans-list-maybe.png and b/output/keynote/categories/img/mp/nattrans-list-maybe.png differ
diff --git a/output/keynote/categories/img/mp/nattrans-list-tree.mp b/output/keynote/categories/img/mp/nattrans-list-tree.mp
deleted file mode 100644
index ff09e595e..000000000
--- a/output/keynote/categories/img/mp/nattrans-list-tree.mp
+++ /dev/null
@@ -1,21 +0,0 @@
-z0=(0,0);
-z1=(1.5gu,0);
-z2=(0,-gu);
-z3=(1.5gu,-gu);
-path ac,ab;
-
-label(btex $\mathtt{[a]}$ etex,z0);
-label(btex $\mathtt{[b]}$ etex,z1);
-label(btex $\mathtt{List\ a}$ etex,z2 shifted (-u,0));
-label(btex $\mathtt{List\ b}$ etex,z3 shifted (u,0));
-
-drawEdge(z0,z1,"\mathtt{fmap_{[]}\ f}");
-drawEdge(z2,z3,"\mathtt{fmap_{List}\ f}");
-ab:=edge(z0,z2);
-drawarrow ab;
-label.lft(btex $\mathtt{toList}$ etex,midpoint(ab));
-
-ac:=edge(z1,z3);
-drawarrow ac;
-label.rt(btex $\mathtt{toList}$ etex,midpoint(ac));
-
diff --git a/output/keynote/categories/img/mp/nattrans-list-tree.png b/output/keynote/categories/img/mp/nattrans-list-tree.png
index c59ab5e52..da67c692c 100644
Binary files a/output/keynote/categories/img/mp/nattrans-list-tree.png and b/output/keynote/categories/img/mp/nattrans-list-tree.png differ
diff --git a/output/keynote/categories/img/mp/nattrans-maybe-list.png b/output/keynote/categories/img/mp/nattrans-maybe-list.png
index e9881d53b..084237d2f 100644
Binary files a/output/keynote/categories/img/mp/nattrans-maybe-list.png and b/output/keynote/categories/img/mp/nattrans-maybe-list.png differ
diff --git a/output/keynote/categories/img/mp/nattrans-tree-list.mp b/output/keynote/categories/img/mp/nattrans-tree-list.mp
deleted file mode 100644
index d2d87e526..000000000
--- a/output/keynote/categories/img/mp/nattrans-tree-list.mp
+++ /dev/null
@@ -1,29 +0,0 @@
-z0=(0,0);
-z1=(1.5gu,0);
-z2=(0,-gu);
-z3=(1.5gu,-gu);
-path ac,ab;
-
-label(btex $\mathtt{[a]}$ etex,z0);
-label(btex $\mathtt{[b]}$ etex,z1);
-label(btex $\mathtt{List\ a}$ etex,z2 shifted (-u,0));
-label(btex $\mathtt{List\ b}$ etex,z3 shifted (u,0));
-
-drawEdge(z0,z1,"\mathtt{fmap_{[]}\ f}");
-drawEdge(z2,z3,"\mathtt{fmap_{List}\ f}");
-ab:=edge(z0,z2);
-drawarrow ab;
-label.lft(btex $\mathtt{toList}$ etex,midpoint(ab));
-
-ac:=edge(z1,z3);
-drawarrow ac;
-label.rt(btex $\mathtt{toList}$ etex,midpoint(ac));
-
-drawoptions(withcolor yellow);
-path abb,acb;
-abb:=edge(z2 shifted (.2u,0),z0 shifted (.2u,0));
-acb:=edge(z3 shifted (-.2u,0),z1 shifted (-.2u,0));
-drawarrow abb;
-drawarrow acb;
-label.rt(btex $\mathtt{toHList}$ etex,midpoint(abb));
-label.lft(btex $\mathtt{toHList}$ etex,midpoint(acb));
diff --git a/output/keynote/categories/img/mp/nattrans-tree-list.png b/output/keynote/categories/img/mp/nattrans-tree-list.png
index 3dd477080..39c2b25e0 100644
Binary files a/output/keynote/categories/img/mp/nattrans-tree-list.png and b/output/keynote/categories/img/mp/nattrans-tree-list.png differ
diff --git a/output/keynote/categories/img/mp/natural-transformation.png b/output/keynote/categories/img/mp/natural-transformation.png
index 8d442fe47..7289f0dd2 100644
Binary files a/output/keynote/categories/img/mp/natural-transformation.png and b/output/keynote/categories/img/mp/natural-transformation.png differ
diff --git a/output/keynote/categories/img/mp/numbers.png b/output/keynote/categories/img/mp/numbers.png
index 71ac0a5bd..57870045f 100644
Binary files a/output/keynote/categories/img/mp/numbers.png and b/output/keynote/categories/img/mp/numbers.png differ
diff --git a/output/keynote/categories/img/mp/objects.png b/output/keynote/categories/img/mp/objects.png
index e940edbd7..c5dfaaf46 100644
Binary files a/output/keynote/categories/img/mp/objects.png and b/output/keynote/categories/img/mp/objects.png differ
diff --git a/output/keynote/categories/img/mp/preorder.png b/output/keynote/categories/img/mp/preorder.png
index 1fb7ad274..fa3101243 100644
Binary files a/output/keynote/categories/img/mp/preorder.png and b/output/keynote/categories/img/mp/preorder.png differ
diff --git a/output/keynote/categories/img/mp/set.png b/output/keynote/categories/img/mp/set.png
index 17f33d42a..dd19a8592 100644
Binary files a/output/keynote/categories/img/mp/set.png and b/output/keynote/categories/img/mp/set.png differ
diff --git a/output/keynote/categories/img/mp/strings.png b/output/keynote/categories/img/mp/strings.png
index f827056d1..e05029b6a 100644
Binary files a/output/keynote/categories/img/mp/strings.png and b/output/keynote/categories/img/mp/strings.png differ
diff --git a/output/keynote/categories/img/mp/tree-list-endofunctor-morphism.mp b/output/keynote/categories/img/mp/tree-list-endofunctor-morphism.mp
deleted file mode 100644
index aa1295c71..000000000
--- a/output/keynote/categories/img/mp/tree-list-endofunctor-morphism.mp
+++ /dev/null
@@ -1,9 +0,0 @@
-pair tree,list;
-resize(.8cm);
-list=origin;
-tree=list shifted (gu,0);
-drawState(list,"\mathtt{[]}");
-drawState(tree,"\mathtt{List}");
-drawEdgeAngle(list,tree,"\mathtt{toList}",30);
-drawoptions(withcolor yellow);
-drawEdgeAngle(tree,list,"\mathtt{toHList}",30);
diff --git a/output/keynote/categories/img/mp/tree-list-endofunctor-morphism.png b/output/keynote/categories/img/mp/tree-list-endofunctor-morphism.png
index 43f698ea3..f0babea9a 100644
Binary files a/output/keynote/categories/img/mp/tree-list-endofunctor-morphism.png and b/output/keynote/categories/img/mp/tree-list-endofunctor-morphism.png differ
diff --git a/output/keynote/categories/img/negative-numbers.jpg b/output/keynote/categories/img/negative-numbers.jpg
index d9551ba2a..d41624c2a 100644
Binary files a/output/keynote/categories/img/negative-numbers.jpg and b/output/keynote/categories/img/negative-numbers.jpg differ
diff --git a/output/keynote/categories/img/readingcat.jpg b/output/keynote/categories/img/readingcat.jpg
index 437a33863..d35fe0192 100644
Binary files a/output/keynote/categories/img/readingcat.jpg and b/output/keynote/categories/img/readingcat.jpg differ
diff --git a/output/keynote/categories/img/tally-count.png b/output/keynote/categories/img/tally-count.png
index ca1542049..f46b8e9e5 100644
Binary files a/output/keynote/categories/img/tally-count.png and b/output/keynote/categories/img/tally-count.png differ
diff --git a/output/keynote/categories/img/tower_folded.gif b/output/keynote/categories/img/tower_folded.gif
index 0f726e5fd..7dee0c0fb 100644
Binary files a/output/keynote/categories/img/tower_folded.gif and b/output/keynote/categories/img/tower_folded.gif differ