No se encontró "monoidal category". Parece que esa forma no existe