En la teoría de categorías , una categoría monoidal trazada es una categoría con alguna estructura adicional que da una noción razonable de retroalimentación.
Una categoría monoidal simétrica trazada es una categoría monoidal simétrica C junto con una familia de funciones
llamado traza , que cumple las siguientes condiciones:
- naturalidad en : para cada y ,
- naturalidad en : para cada y ,
- naturalidad en : para cada y
- desapareciendo yo: por cada , (con siendo el unitor adecuado),
- desapareciendo II: por cada
- superposición: para cada y ,
(dónde es la simetría de la categoría monoidal).