@article{CTGDC_2006__47_1_2_0, author = {Kock, Anders and Reyes, Gonzalo E.}, title = {Distributions and heat equation in $SDG$}, journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques}, volume = {47}, year = {2006}, pages = {2-28}, mrnumber = {2220059}, zbl = {1098.58002}, language = {en}, url = {http://dml.mathdoc.fr/item/CTGDC_2006__47_1_2_0} }
Kock, Anders; Reyes, Gonzalo. Distributions and heat equation in $SDG$. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 47 (2006) pp. 2-28. http://gdmltest.u-ga.fr/item/CTGDC_2006__47_1_2_0/
[1] Théorie des Topos (SGA 4), Springer LNM 269 (1972). | MR 354653
, and ,[2] Iterated integrals of differential forms and loop space homology, Annals of Math. (2) 97 (1972), 217-146. | MR 380859 | Zbl 0227.58003
[3] Sur les modèles de la géométrie différentielle synthétique, Cahiers de Topologie et Géometrie Diff. 20 (1979), 231-279. | Numdam | MR 557083 | Zbl 0473.18008
,[4] Cartesian Closed Categories and Analysis of Smooth Maps, in "Categories in Continuum Physics", Buffallo 1982 (ed. F.W. Lawvere and S.H. Schanuel), Springer Lecture Notes in Math. 1174 (1986). | MR 842916 | Zbl 0601.58015
,[5] Linear Spaces and Differentiation Theory, Wiley 1988. | MR 961256 | Zbl 0657.46034
, ,[6] General Topology, Van Nostrand 1955. | MR 70144 | Zbl 0066.16604
,[7] Linear Topological Spaces, Van Nostrand 1963. | MR 166578 | Zbl 0318.46001
, , and ,[8] Properties of well-adapted models for synthetic differential geometry, Joum. Pure Appl. Alg. 20 (1981), 55-70. | MR 596153 | Zbl 0487.18006
[9] Synthetic Differential Geometry, Cambridge University Press 1981. | MR 649622 | Zbl 0466.51008
,[10] Calculus of smooth functions between convenient vector spaces, Aarhus Preprint Series 1984/85 No. 18. Retyped in http://home.imf.au.dk/kock/CSF.pdf
,[11] Convenient vector spaces embed into the Cahiers topos, Cahiers de Topologie et Géométrie Diff. Catégoriques 27 (1986), 3-17. | Numdam | MR 845406 | Zbl 0596.18005
,[12] Models for synthetic integration theory, Math. Scand. 48 (1981), 145-152. | MR 631331 | Zbl 0485.51017
and ,[13] Corrigendum and addenda to "Convenient vector spaces embed", Cahiers de Topologie et Géométrie Diff. Catégoriques 28 (1987), 99-110. | Numdam | MR 913966 | Zbl 0634.18007
and ,[14] Some calculus with extensive quantities: wave equation, Theory and Applications of Categories, Vol. 11 (2003), No. 14. | MR 2005689 | Zbl 1032.18005
and ,[15] Convenient Setting of Global Analysis, Amer. Math. Soc. 1997. | MR 1471480 | Zbl 0889.58001
and ,[16] Basic Concepts of Synthetic Differential Geometry, Kluwer Acad. Publishers 1996. | MR 1385464 | Zbl 0866.58001
,[17] Catgeories of Space and of Quantity, in "The Space of Mathematics. Philosophical, Epistemological and Historical Explorations", DeGruyter, Berlin 1992, 14-30. | MR 1214608 | Zbl 0846.18001
,[18] Volterra's Functionals and Covariant Cohesion of Space, Rendiconti del Circolo Mat. di Palermo Serie II, Suppl. 64 (2000), 201-214. | MR 1785821 | Zbl 0979.01014
,[19] Frechet manifolds as diffeological spaces, Soviet Math. (Iz. vuz) 5 (1992), 36-42. | MR 1213569 | Zbl 0774.58002
[20] Models for Smooth Infinitesimal Analysis, Springer 1991. | MR 1083355 | Zbl 0715.18001
and and ,[21] Enriched locally convex structures, Differential Calculus and Riesz representations, Joum. Pure Appl. Alg. 42 (1986), 165-184. | MR 857565 | Zbl 0608.46045
,[22] Variétés à bord et topos lisse, in "Analyse dans les topos lisses" (ed. G.E. Reyes), Rapport de Rechercehes D.M.S. 80-12, Université de Montréal 1980. | MR 649796
and ,[23] Théorie des distribution et théorème d'extension de Whitney, in "Analyse dans les topos lisses" (ed. G.E. Reyes), Rapport de Rechercehes D.M.S. 80-12, Université de Montréal 1980.
and[24] A model of SDG in which only trivial distributions with compact support have a density, in http://reyes-reyes.com/gonzalo/recent_work/syntheticdifferential/
,[25] Embedding manifolds with boundary in smooth toposes, in http://reyes-reyes.com/gonzalo/recent_work/syntheticdifferential/ [26]
,[26] Théorie des distributions, Tome 1, Hermann Paris 1957. | MR 209834 | Zbl 0078.11003 | Zbl 0037.07301
,[27] Méthodes mathématiques pour les sciences physiques, Hermann Paris 1961. | MR 143360 | Zbl 0101.41301 | Zbl 0904.35001
,[28] Extension of C∞ functions defined in a half space, Proc. Amer. Math. Soc. 15 (1964), 625-626. | Zbl 0127.28403
,