やる夫で学ぶ圏論みたいなの、誰か作ってくれないかなぁ