http://www.math.jhu.edu/~eriehl/weighted.pdf 対象がいくつかある場合のAb-enriched categoryがどういうところで出てくるのかまだわかってないが、いわゆるgroupoidというかpath全体の作用みたいなものはそう捉えられるはず。 あとは群の表現全体みたいな…