Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 5 of 5
Started page, more to come. <a href="https://ncatlab.org/nlab/revision/tensor+product+of+algebras+over+a+commutative+monad/1">v1</a>, <a href="https://ncatlab.org/nlab/show/tensor+product+of+algebras+over+a+commutative+monad">current</a>
Started page, more to come.
v1, current
written definition as coequalizer <a href="https://ncatlab.org/nlab/revision/tensor+product+of+algebras+over+a+commutative+monad/1">v1</a>, <a href="https://ncatlab.org/nlab/show/tensor+product+of+algebras+over+a+commutative+monad">current</a>
written definition as coequalizer
Started on notion of binary morphisms of algebras <a href="https://ncatlab.org/nlab/revision/diff/tensor+product+of+algebras+over+a+commutative+monad/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/tensor+product+of+algebras+over+a+commutative+monad/2">v2</a>, <a href="https://ncatlab.org/nlab/show/tensor+product+of+algebras+over+a+commutative+monad">current</a>
Started on notion of binary morphisms of algebras
diff, v2, current
added universal property. <a href="https://ncatlab.org/nlab/revision/diff/tensor+product+of+algebras+over+a+commutative+monad/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/tensor+product+of+algebras+over+a+commutative+monad/2">v2</a>, <a href="https://ncatlab.org/nlab/show/tensor+product+of+algebras+over+a+commutative+monad">current</a>
added universal property.
added closed monoidal case <a href="https://ncatlab.org/nlab/revision/diff/tensor+product+of+algebras+over+a+commutative+monad/9">diff</a>, <a href="https://ncatlab.org/nlab/revision/tensor+product+of+algebras+over+a+commutative+monad/9">v9</a>, <a href="https://ncatlab.org/nlab/show/tensor+product+of+algebras+over+a+commutative+monad">current</a>
added closed monoidal case
diff, v9, current