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...
-
La Summer school in algebraic topology 2024 terminó hace ya una semana. Pero qué buenos cursos, todo estuvo alucinante. Conocí a muchas pe...
-
es un resultado que, bajo ciertas condiciones, permite intercambiar el orden una integral y una derivada. Usando esta regla, Feynman popu...
No hay comentarios.:
Publicar un comentario