¿Existe algún resultado de coherencia para funtores monoidales (trenzados)? (como el teorema de coherencia de Mac Lane para categorías monoidales)
Lo que tengo en mente es un teorema como el siguiente:
Sea $F$ sea un funtor monoidal (trenzado) entre categorías monoidales $\mathsf C$ y $\mathsf D$ . Todas las composiciones de la categoría $D$ con el mismo origen y destino, consistente en los mapas de estructura $\alpha$ , $\rho$ , $\lambda$ , $F(\alpha)$ , $F(\rho)$ , $F(\lambda)$ , ( $\sigma$ , $F(\sigma)$ ) son iguales.
