tensor product theory

If A and B are algebraic theories, the algebraic theory AB is characterized by the fact that its models can be identified with A-models in BMod, or equivalently as B-models in AMod. There are maps of theories AAB and BAB which are universal for maps of theories AC and BC whose images commute, for any theory C.

Revised on June 25, 2009 20:10:52 by Gavin Wraith (