See categorical notes.