Les Topos sans les Monomorphismes

On axiomatise la structure de topos élémentaire sans la notion de monomorphisme. Dans la conclusion, on explique en quoi cette axiomatisation éclaire l'usage de certaines phrases dans le langage mathématique ordinaire. Ce texte constitue par ailleurs une introduction condensée à la structure de topos élémentaire et à la sémantique de Kripke-Joyal pour ceux qui connaissent déjà un peu les catégories.