El funtor que incluye las categorías monoidales discretas en las categorías monoidales tiene adjunto derecho dado por la discretización. Visto de otro modo, el funtor Obj que manda una categoría monoidal a su monoide de objetos tiene adjunto izquierdo dado por la inclusión. Así, un monoide es la categoría monoidal libre sobre sí mismo.
Suscribirse a:
Comentarios de la entrada (Atom)
-
Un campo de tensores \((1,1)\) es una sección del haz \(TM \otimes T^*M\). \(\def\Hom{\mathrm{Hom}}\) \(\def\Tens{\mathrm{Tens}}\) \(\def\Mu...
-
Creo que fue malo. Haciendo ese proyecto aprendí lo poco que sé de Laravel, y en realidad de desarrollo web. Lo iba reutilizando una y ot...
-
La lluvia se precipita desde cientos de metros en el aire, acelera su caída y golpea sin piedad el techo sobre mí. Hay un instante de luz y ...
No hay comentarios.:
Publicar un comentario