Me pregunto si es posible utilizar el adjunto functors en la teoría de topos para las declaraciones en el análisis.
Cualquiera de los ejemplos sería bienvenida. Aunque preferiría más simple, atómica, lemas o teoremas, si es posible.
Gracias por su tiempo.
Edit 1: Ejemplos no deben ser restringidas para el análisis, yo pensaba que estas podrían ser agradable.
Edit 2: En este punto incluso un comentario iba a ser agradable.
Edit 3: Para aclarar, lo que estoy buscando son los teoremas de lo declarado o probar usando el adjunto functors relativas a la lī cálculo.
