minor typesetting fix
make lines thinner in arithmetic product diagram
tweaks to definitions
wibble
bit of writing on Kan extensions