Describir: Introducción a la lógica interna de un topos