上空にいる足し算の親玉を捕まえる - 檜山正幸のキマイラ飼育記 (はてなBlog)足し算を持つような圏Cに対して、その圏Cの自己関手圏End(C)内に棲んでいる代数系が、Cの足し算構造を牛耳っている様子を観察します。実は蒸し返しだけど。 内容： 足し算を持つ圏 自己関手圏内の代数系 自己関手圏のモノイド構造 足し算の親玉 何が面白いの？ 足し算を持つ圏 足し算を持つ圏というと、半加法圏（semiadditive category）と加法圏（additive category）があります。その定義は、nLabやWikipediaを参照してください。 https://ncatlab.org/nlab/show/biproduct#SemiadditiveCategories https://ncatlab.org/nlab/show/additive+category https://en.wikipedia.org/wiki/Additive_category 半加法圏も
