This is an improved version (in English) of the Porta/Reyes preprint(in French) in the preceeding entry. Its aim is to embedd manifolds with boundary in smooth toposes defined by closed ideals. To appear in Cahiers de Topologie et Géométrie différentielle catégoriques.
« NOUS SOMMES TOUS DES REVENANTS OU UNE SOIRÉE IBSEN CHEZ ELEANOR MARX-AVELING (2006) • Lie derivatives, Lie brackets and vector fields over curves »