加法圏
https://docs.google.com/document/d/1R2VlnqqtjAhJKje7Hc4hz1jRBriOI5VxtqAFNFHhmAo/edit