Is there a categorical analogue of the following well-known matrix identity: If A, B, C, D are matrices over a field and juxtaposition denotes matrix multiplication and \otimes denotes Kronecker product, then (A\otimes B)(C\otimes D)=(AC)\otimes (BD) whenever the dimensions are consistent? Note: I am a category theory novice, but the proof of this identity uses so few of the field axioms, and is so useful, (and curiously looks like the interchange of horizontal and vertical compositions of natural transformations which I presume is coincidental) that I was just curious if an analogue of this identity is true in more general categories than matrices over rings. -- Lewis Stiller. Dept. of Computer Science. The Johns Hopkins University. stiller@cs.jhu.edu. "Tertan I am, but what is Tertan? Of this time, of that place, of some parentage, what does it matter?" ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++