Notes for category theory sessions at LAMP