Notes, notably cheat-sheets, for category theory