i've been thinking a bit more about "the doctrine of abelian categories" and about incorporating tensor product structure into the doctrine as well... i should try to describe some of my thoughts about this stuff... some things seem trickier than i realized... tricky in the sense of i'm not sure whether i see how to get useful results.... ??...