Ok, así que al parecer hay un viejo chiste (que tengo) que dice que en Hungría un matemático es un dispositivo para convertir el café en teoremas.
He encontrado un post de Qiaochu Yuan, que tiene la siguiente definición: Un comathematician es un dispositivo para convertir cotheorems en ffee.
Al parecer, esta es una muy gracioso. Podría alguien que me lo explique y me diga donde puedo aprender sobre el tema en cuestión? Muchas gracias de antemano.
Saludos.
Una categoría se compone de objetos y flechas entre ellos (que puede ser de forma asociativa compuesto).
Podemos expresar diferentes construcciones y teoremas con la ayuda de categorías, y cuando nos interruptor de la dirección de todas las flechas, llegamos a la doble construcciones y doble teoremas, que son generalmente nombrados por el prefijo "co", y que permanezca válida, como la prueba/la construcción debe ir a través con la inversa de las flechas de la misma manera.
Por ejemplo, el subproducto, es decir, el doble del producto cartesiano de conjuntos (en la categoría de conjuntos y funciones) es distinto de la unión de operación.
Por supuesto, teniendo el doble es involutiva, es decir, 'co(co X)=X' lo que sea que X es. Es por eso que el doble de café es 'ffee', por lo que la "definición" de la comathematician es sólo el doble de la declaración de la vieja broma.
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.
