category theory cheat sheet