En un MathOverflow hilo en "bombardear los mosquitos", Andrej Bauer ofrece la siguiente prueba:
Si dos elementos en un poset tienen los mismos límites inferiores a continuación, son iguales por Yoneda lema.
Entiendo que un poset puede ser considerada como una categoría con una flecha entre dos objetos, y entiendo que la declaración de la Yoneda lema, aunque tengo poca experiencia en su uso. Pero no entiendo esta prueba. ¿Cómo funciona el Yoneda Lema ayudar?
Esto es explicado en mi post de blog sobre el Yoneda lema.
Por cierto, no considero que este argumento de "atacar con armas nucleares a los mosquitos." El Yoneda lema es apenas un nuke, me gustaría reservar el término para un muy técnico que requiere un tiempo de prueba. La prueba de la Yoneda lema es extraordinariamente corto y elegante. Además, a pesar de esta aparentemente trivial caso especial puede ser sorprendentemente útil.
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.
