Category theory (2022-23): Lecture 12