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)
-
Dado un monoide \(M\), el funtor de olvido \(U\) de la categoría de \(M\)-conjuntos (digamos derechos) a conjuntos tiene un adjunto izquierd... -
Como ya me cansé de tener cientos de mensajes en mis mensajes guardados de telegram, ahora voy a intentar usar este lugar para guardar cosa...
-
n botellas de ron bebí oh... n botellas de ron bebí tira la botella pues ya no queda nada de ella ... n-1 botellas de ron bebí Así comenzaba...
No hay comentarios.:
Publicar un comentario