Ahora que hemos discutido la lógica en una gavilla topos, volvemos a nuestro ejemplo motivador, un topos de tipos de comportamiento. Comenzamos discutiendo el espacio topológico en el que los tipos de...Ahora que hemos discutido la lógica en una gavilla topos, volvemos a nuestro ejemplo motivador, un topos de tipos de comportamiento. Comenzamos discutiendo el espacio topológico en el que los tipos de comportamiento serán poleas, un espacio llamado dominio de intervalo.
