Encuentros extraños

Hoy como todos los miercoles fui al seminario de Londres, pero hoy no fue un seminario como todos los dias, no señor. La platica del seminario la dio un cuate que acaba de terminar un doctorado en logica, y fue la platica mas extraña a la que he asistido. Lo primero que hizo fue hablar 5 minutos sobre la platica que iba a dar y las cosas que iba a hacer, despues escribio "exp:C->C" en el pizarron y paso 10 minutos diciendo que le gustaria poder poner esta funcion en un contexto en el cual apareciera, pero no queria un contexto trivial, y bueno, es claro que todos conocemos la definicion, pero no era eso lo que tenia en mente, queria mas bien una categoria donde esto fuera un objeto, pero queria olvidarse de la topologia de C, bueno no, bueno si, olvidarse de cualquier estructura: topologia, orden.... y luego enuncio un teorema sobre morfismos entre grupos divisibles libres de torsion y el grupo de elementos no cero de un campo algebraicamente cerrado (jamas vi la conexion entre una cosa y la otra), pero solo lo puede demostrar para campos con cardinalidad aleph2 (como demonios entra aleph 2 en la demostracion no tengo la mas vaga idea) y despues de algun lado salieron unas integrales, y se puso a integrar 1/z en los complejos, despues dijo que queria levantar morfismos etale entre categorias y dar una caracterizacion puramente algebraica de unos funtores por ahi (el grupo fundamental de un espacio topologico salio en algun momento, pero no supe de donde), termino diciendo que uno podia cambiar el papel de los grupos divisibles libres de torsion por el grupo de puntos de una curva eliptica sobre campos de caracteristica cero y demostrar un teorema analogo que no siempre es cierto... en mas de una ocasion estuve a punto de atacarme de la risa de lo bizarro que era todo, juro que estaba buscando la camara escondida, porque esto no tenia ningun sentido. Esta sera sin duda una platica que voy a recordar mucho tiempo.