add GEB book notes
add some notes on category theory
add some description
misc update