One should note that this usage of the adjective ‘convenient’ is different to that in ‘convenient category’, for example of smooth spaces. In that case the category is convenient, whereas here the objects are convenient.

Peter Michor, A convenient setting for differential geometry and global analysis, Cahiers Topologie Géom. Différentielle 25 (1984), no. 1, 63–109, MR86g:58014a; A convenient setting for differential geometry and global analysis. II, Cahiers Topologie Géom. Différentielle 25 (1984), no. 2, 113–178.

A survey is for instance in the slides

Richard Blute, Convenient Vector Spaces, Convenient Manifolds and Differential Linear Logic (2011) (pdf)

John C. Baez, Alexander E. Hoffnung, Convenient categories of smooth spaces, Trans. Amer. Math. Soc. 363 (2011), 5789-5825 pdf

Revised on February 9, 2013 22:24:07
by Urs Schreiber
(82.113.98.230)