diff --git a/examples/abstraction.png b/examples/abstraction.png
new file mode 100644
index 0000000..fd1e1a6
Binary files /dev/null and b/examples/abstraction.png differ
diff --git a/examples/associativecomposition.png b/examples/associativecomposition.png
new file mode 100644
index 0000000..e22dcb2
Binary files /dev/null and b/examples/associativecomposition.png differ
diff --git a/examples/boxfunctor.png b/examples/boxfunctor.png
new file mode 100644
index 0000000..a0a6f2c
Binary files /dev/null and b/examples/boxfunctor.png differ
diff --git a/examples/cat-example1.png b/examples/cat-example1.png
new file mode 100644
index 0000000..5bed31b
Binary files /dev/null and b/examples/cat-example1.png differ
diff --git a/examples/cat-example2.png b/examples/cat-example2.png
new file mode 100644
index 0000000..bb1b165
Binary files /dev/null and b/examples/cat-example2.png differ
diff --git a/examples/cat-example3.png b/examples/cat-example3.png
new file mode 100644
index 0000000..41d8105
Binary files /dev/null and b/examples/cat-example3.png differ
diff --git a/examples/cat-example4.png b/examples/cat-example4.png
new file mode 100644
index 0000000..86d4ffb
Binary files /dev/null and b/examples/cat-example4.png differ
diff --git a/examples/cat-example5.png b/examples/cat-example5.png
new file mode 100644
index 0000000..6fd619f
Binary files /dev/null and b/examples/cat-example5.png differ
diff --git a/examples/cat-hask-endofunctor.png b/examples/cat-hask-endofunctor.png
new file mode 100644
index 0000000..cadfe4f
Binary files /dev/null and b/examples/cat-hask-endofunctor.png differ
diff --git a/examples/commutative-diagram-assoc.png b/examples/commutative-diagram-assoc.png
new file mode 100644
index 0000000..f277870
Binary files /dev/null and b/examples/commutative-diagram-assoc.png differ
diff --git a/examples/commutative-diagram-id.png b/examples/commutative-diagram-id.png
new file mode 100644
index 0000000..e659be8
Binary files /dev/null and b/examples/commutative-diagram-id.png differ
diff --git a/examples/composition.png b/examples/composition.png
new file mode 100644
index 0000000..bb633dd
Binary files /dev/null and b/examples/composition.png differ
diff --git a/examples/endofunctor.png b/examples/endofunctor.png
new file mode 100644
index 0000000..a738eb1
Binary files /dev/null and b/examples/endofunctor.png differ
diff --git a/examples/functor-morphism-color.png b/examples/functor-morphism-color.png
new file mode 100644
index 0000000..1233514
Binary files /dev/null and b/examples/functor-morphism-color.png differ
diff --git a/examples/functor-morphism.png b/examples/functor-morphism.png
new file mode 100644
index 0000000..a3a972a
Binary files /dev/null and b/examples/functor-morphism.png differ
diff --git a/examples/functor.png b/examples/functor.png
new file mode 100644
index 0000000..160f655
Binary files /dev/null and b/examples/functor.png differ
diff --git a/examples/graph-category.png b/examples/graph-category.png
new file mode 100644
index 0000000..c4e8b83
Binary files /dev/null and b/examples/graph-category.png differ
diff --git a/examples/hask-endofunctor-morphisms.png b/examples/hask-endofunctor-morphisms.png
new file mode 100644
index 0000000..b37aee4
Binary files /dev/null and b/examples/hask-endofunctor-morphisms.png differ
diff --git a/examples/hask-endofunctor-objects.png b/examples/hask-endofunctor-objects.png
new file mode 100644
index 0000000..c256954
Binary files /dev/null and b/examples/hask-endofunctor-objects.png differ
diff --git a/examples/hask-endofunctor.png b/examples/hask-endofunctor.png
new file mode 100644
index 0000000..b806e70
Binary files /dev/null and b/examples/hask-endofunctor.png differ
diff --git a/examples/hask.png b/examples/hask.png
new file mode 100644
index 0000000..0961675
Binary files /dev/null and b/examples/hask.png differ
diff --git a/examples/identity.png b/examples/identity.png
new file mode 100644
index 0000000..c57c3f3
Binary files /dev/null and b/examples/identity.png differ
diff --git a/examples/list-maybe-endofunctor-morphism.png b/examples/list-maybe-endofunctor-morphism.png
new file mode 100644
index 0000000..56b8c7e
Binary files /dev/null and b/examples/list-maybe-endofunctor-morphism.png differ
diff --git a/examples/list-tree-endofunctor-morphism.png b/examples/list-tree-endofunctor-morphism.png
new file mode 100644
index 0000000..5fea9f6
Binary files /dev/null and b/examples/list-tree-endofunctor-morphism.png differ
diff --git a/examples/maybe-list-endofunctor-morphsm.png b/examples/maybe-list-endofunctor-morphsm.png
new file mode 100644
index 0000000..fb9248f
Binary files /dev/null and b/examples/maybe-list-endofunctor-morphsm.png differ
diff --git a/examples/monoid.png b/examples/monoid.png
new file mode 100644
index 0000000..694da47
Binary files /dev/null and b/examples/monoid.png differ
diff --git a/examples/morphisms.png b/examples/morphisms.png
new file mode 100644
index 0000000..ff015ec
Binary files /dev/null and b/examples/morphisms.png differ
diff --git a/examples/nattrans-list-maybe.png b/examples/nattrans-list-maybe.png
new file mode 100644
index 0000000..e4b3977
Binary files /dev/null and b/examples/nattrans-list-maybe.png differ
diff --git a/examples/nattrans-list-tree.png b/examples/nattrans-list-tree.png
new file mode 100644
index 0000000..586631d
Binary files /dev/null and b/examples/nattrans-list-tree.png differ
diff --git a/examples/nattrans-maybe-list.png b/examples/nattrans-maybe-list.png
new file mode 100644
index 0000000..d4a2f1c
Binary files /dev/null and b/examples/nattrans-maybe-list.png differ
diff --git a/examples/nattrans-tree-list.png b/examples/nattrans-tree-list.png
new file mode 100644
index 0000000..49397ff
Binary files /dev/null and b/examples/nattrans-tree-list.png differ
diff --git a/examples/natural-transformation.png b/examples/natural-transformation.png
new file mode 100644
index 0000000..11aca29
Binary files /dev/null and b/examples/natural-transformation.png differ
diff --git a/examples/numbers.png b/examples/numbers.png
new file mode 100644
index 0000000..a7fa00f
Binary files /dev/null and b/examples/numbers.png differ
diff --git a/examples/objects.png b/examples/objects.png
new file mode 100644
index 0000000..17b8b69
Binary files /dev/null and b/examples/objects.png differ
diff --git a/examples/pipe.png b/examples/pipe.png
new file mode 100644
index 0000000..a00f8dc
Binary files /dev/null and b/examples/pipe.png differ
diff --git a/examples/preorder.png b/examples/preorder.png
new file mode 100644
index 0000000..49b7734
Binary files /dev/null and b/examples/preorder.png differ
diff --git a/examples/set.png b/examples/set.png
new file mode 100644
index 0000000..4c4a78b
Binary files /dev/null and b/examples/set.png differ
diff --git a/examples/strings.png b/examples/strings.png
new file mode 100644
index 0000000..67d80c1
Binary files /dev/null and b/examples/strings.png differ
diff --git a/examples/tree-list-endofunctor-morphism.png b/examples/tree-list-endofunctor-morphism.png
new file mode 100644
index 0000000..b883ffa
Binary files /dev/null and b/examples/tree-list-endofunctor-morphism.png differ