¿Tiene el producto tensorial de álgebras dg una propiedad universal? No he visto nada al respecto en la literatura.
Respuesta
¿Demasiados anuncios?Si es una categoría monoidal simétrica, entonces el producto tensorial de álgebras conmutativas en es su coproducto. El producto tensorial de álgebras en , no necesariamente conmutativas, es el "coproducto conmutativo": tenemos que añadir a la propiedad universal que los morfismos de prueba conmutan entre sí. Ahora apliquemos esto a complejos de cadenas.