notes for discussion with alex this morning...

??problem too easy??

"the abelian category axiom" as a kind of distributivity...

example of ext(z/2,x) ... generalizing...

"multi-functorial operations" ...or something like that...

??what sort of compatibility relations do we get this way between tensor product and limits?? or something like that ... ??perhaps something "cohomological" or something like that??