Cartesian spaces over and locales over
Categorical domain theory: Scott topology, powercategories, coherent categories.
Categories of modules in synthetic differential geometry
Closure operators in exact completions.
Cohomology Theories In Synthetic Differential Geometry.
Construction d'infinitésimaux
Continuous families : categorical aspects
Continuous fibrations and inverse limits of toposes
Convenient vector spaces embed into the Cahiers topos
Convergence in some ringed toposes
Copower objects and their applications to finiteness in topoi.
Corrigendum and addenda to the paper “Convenient vector spaces embed...”
Counting measure for Kuratowski finite parts and decidability
De l'infinitésimal au local (Thèse de Doctorat d'État)
De Morgan's and strong De Morgan's laws in a topos of shaves
Definable completeness
Differential algebra in a topos
El Espectro Y La Dimension De Anillos En El Algebra Sobre Un Topos.
Embedding manifolds with boundary in smooth toposes
Epimorphic covers make a site, for profinite .