no. 2
Embedding manifolds with boundary in smooth toposes
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 48 (2007) no. 2, pp. 83-103. 
@article{CTGDC_2007__48_2_83_0,
     author = {Reyes, Gonzalo E.},
     title = {Embedding manifolds with boundary in smooth toposes},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {83--103},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {48},
     number = {2},
     year = {2007},
     mrnumber = {2336732},
     zbl = {1128.51005},
     language = {en},
     url = {http://archive.numdam.org/item/CTGDC_2007__48_2_83_0/}
}
TY  - JOUR
AU  - Reyes, Gonzalo E.
TI  - Embedding manifolds with boundary in smooth toposes
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 2007
SP  - 83
EP  - 103
VL  - 48
IS  - 2
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://archive.numdam.org/item/CTGDC_2007__48_2_83_0/
LA  - en
ID  - CTGDC_2007__48_2_83_0
ER  - 
%0 Journal Article
%A Reyes, Gonzalo E.
%T Embedding manifolds with boundary in smooth toposes
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 2007
%P 83-103
%V 48
%N 2
%I Dunod éditeur, publié avec le concours du CNRS
%U http://archive.numdam.org/item/CTGDC_2007__48_2_83_0/
%G en
%F CTGDC_2007__48_2_83_0
Reyes, Gonzalo E. Embedding manifolds with boundary in smooth toposes. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 48 (2007) no. 2, pp. 83-103. http://archive.numdam.org/item/CTGDC_2007__48_2_83_0/

[1] M. Artin, A. Grothendieck and J.L. Verdier, Théorie des topos et cohomologie étale des schémas, Séminaire de Géométrie Algèbrique du Bois-Marie 1963-1964. Lecture Notes in Math,vol 269, Springer-Verlag, (1972). | MR | Zbl

[2] E. Dubuc, Sur les modèles de la géométrie différentielle synthétique, Cahiers Top.Geom.Diff, 20, (1979), 234-279. | Numdam | MR | Zbl

[3] V. Guillemin and A. Pollack, Differential Topology, Prentice-Hall, Inc., Englewood Cliffs, New Jersey (1974). | MR | Zbl

[4] A. Kock, Synthetic Differential Geometry, Cambridge University Press, Cambridge, London, New York, New Rochelle, Melbourne, Sydney (1981). | MR | Zbl

[5] A. Kock, Properties of well-adapted models for synthetic differential geometry, J.Pure Appl. Alg. 20 (1981), 55-70. | MR | Zbl

[6] A. Kock and G.E. Reyes, Models for synthetic integration theory, Math.Scand. 48 (1981) 145-152. | MR | Zbl

[7] R. Lavendhomme, Basic Concepts of Synthetic Differential Geometry, Kluwer Academic Publishers, Dordrecht, Boston, London (1996). | MR | Zbl

[8] B. Malgrange, Ideals of differentiable fonctions, Oxford Univ. Press (1966) | Zbl

[9] I. Moerdijk and G.E. Reyes, Models for Synthetic Differential Geometry, Springer-Verlag (1991). | MR

[10] J.R. Munkres, Elementary Differential Topology, Annals of Math. Studies 54, Princeton (1966). | MR | Zbl

[11] H. Porta and G.E. Reyes, Variétés à bord et topos lisses, Séminaire de Géométrie différentielle synthétique, Rapports de Recherches, Dept. de mathématiques, Université de Montréal (1980).

[12] A. Weil, Théorie des points proches sur les variétés différentiables, Colloq.Top. et Géom. Diff. Strasbourg 1953, 111-117. | MR | Zbl