What's this?? This is my notes on learning category theory. It contains theorems and its proofs, is mainly written in Japanese.