部分加法的圏（partially additive categories）の定義は気に入らないのだけど、とりあえず、"Types and Dynamics in Partially Additive Categories" (1995) by Gianfranco Mascari, Marco Pedicini（http://citeseer.ist.psu.edu/mascari95types.html）か…

いかんいかん、このメモの主たる目的は、忘れがちな定義を書き留めて「定義集」を作ることだった。が、なんか山勘とか雑感とかで、肝心の定義が書いてないケースが多い。そのときは、定義は自明の前提だったとしてもしばらくすると忘れる！ 忘れるから、書き…