The theory of product preserving functors and Weil functors is partly extended to infinite dimensional manifolds, using the theory of $C^\infty $-algebras.
@article{107582, author = {Andreas Kriegl and Peter W. Michor}, title = {Product preserving functors of infinite-dimensional manifolds}, journal = {Archivum Mathematicum}, volume = {032}, year = {1996}, pages = {289-306}, zbl = {0881.58010}, mrnumber = {1441400}, language = {en}, url = {http://dml.mathdoc.fr/item/107582} }
Kriegl, Andreas; Michor, Peter W. Product preserving functors of infinite-dimensional manifolds. Archivum Mathematicum, Tome 032 (1996) pp. 289-306. http://gdmltest.u-ga.fr/item/107582/
Product preserving functors on smooth manifolds, J. Pure and Applied Algebra 42 (1986), 133–140. (1986) | MR 0857563 | Zbl 0615.57019
Linear spaces and differentiation theory, Pure and Applied Mathematics, J. Wiley, Chichester, 1988. (1988) | MR 0961256
$C^\infty $-algebras from the functional analytic viewpoint, J. pure appl. Algebra 46 (1987), 89-107. (1987) | MR 0894394
Natural transformations in differential geometry, Czechoslovak Math. J. 37 (1987), 584-607. (1987) | MR 0913992
Covariant approach to natural transformations of Weil functors, Comment. Math. Univ. Carolin. 27 (1986), 723–729. (1986) | MR 0874666
Natural operations in differential geometry, Springer-Verlag, Berlin, Heidelberg, New York, 1993, pp. vi+434. (1993) | MR 1202431
A convenient setting for real analytic mappings, Acta Mathematica 165 (1990), 105–159. (1990) | MR 1064579
Aspects of the theory of infinite dimensional manifolds, Differential Geometry and Applications 1 (1991), 159–176. (1991) | MR 1244442
Regular infinite dimensional Lie groups, to appear, J. Lie Theory (1997). (1997) | MR 1450745
The Convenient Setting for Global Analysis, to appear, Surveys and Monographs, AMS, Providence, 1997. (1997) | MR 1471480
A convenient setting for holomorphy, Cahiers Top. Géo. Diff. 26 (1985), 273–309. (1985) | MR 0796352
Categorical dynamics, Lectures given 1967 at the University of Chicago, reprinted in, Topos Theoretical Methods in Geometry, A. Kock (ed.), Aarhus Math. Inst. Var. Publ. Series 30, Aarhus Universitet, 1979. (1979) | MR 0552656 | Zbl 0403.18005
Categories of multiplicative functors and Weil’s infinitely near points, Nagoya Math. J. 109 (1988), 69–89. (1988) | MR 0931952 | Zbl 0661.58007
Characterizing algebras of smooth functions on manifolds, to appear, Comm. Math. Univ. Carolinae (Prague).
Remarks on infinite dimensional Lie groups, Relativity, Groups, and Topology II, Les Houches, 1983, B.S. DeWitt, R. Stora, Eds., Elsevier, Amsterdam, 1984. (1984) | MR 0830252 | Zbl 0594.22009
Models for smooth infinitesimal analysis, Springer-Verlag, Heidelberg Berlin, 1991. (1991) | MR 1083355
Rings of smooth funcions and their localizations, I, J. Algebra 99 (1986), 324–336. (1986) | MR 0837547
Prolongations of connections to bundles of infinitely near points, J. Diff. Geom. 11 (1976), 479–498. (1976) | MR 0445422
Rings of smooth funcions and their localizations, II, Mathematical logic and theoretical computer science, D.W. Kueker, E.G.K. Lopez-Escobar, C.H. Smith (eds.), Marcel Dekker, New York, Basel, 1987. (1987) | MR 0930685
On regular Fréchet Lie groups IV. Definitions and fundamental theorems, Tokyo J. Math. 5 (1982), 365–398. (1982) | MR 0688131
Théorie des points proches sur les variétés differentielles, Colloque de topologie et géométrie différentielle, Strasbourg, 1953, pp. 111–117. (1953) | MR 0061455