nLab tensor product theory

Related pages

If AA and BB are algebraic theories, the algebraic theory ABA\otimes B is characterized by the fact that its models can be identified with AA-models in BModB Mod, or equivalently as BB-models in AModA Mod. There are maps of theories AABA\to A\otimes B and BABB\to A\otimes B which are universal for maps of theories ACA\to C and BCB\to C whose images commute, for any theory CC.

Last revised on June 9, 2024 at 20:48:46. See the history of this page for a list of all contributions to it.