25 votos

¿Todo funtor es una composición de funtores adjuntos?

Según tengo entendido, la respuesta de Ben a esta pregunta es que, aunque el grado asociado no es un funtor adjunto, no está tan mal porque es una composición de un adjunto derecho y un adjunto izquierdo.

Pero, ¿realmente estos funtores "no son tan malos"? En particular, ¿es cierto que cualquier funtor se escribe como la composición de un adjunto derecho y un adjunto izquierdo?

21voto

jlleblanc Puntos 2957

Aquí hay una forma realmente trivial de ver que la respuesta es "no": un funtor de la categoría vacía a una categoría no vacía nunca es un compuesto de adjuntos (ya que un funtor de la categoría vacía a una categoría no vacía nunca es un adjunto).

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X