Add binoidal diagram and explain stuffs
Add presentation chapter on Freyd cats
Usepackage lmodern = less warnings
s/part/composite