je rappelle (et confirme) le seminaire de demain.
Mardi 31 mars 2009
11h00, Salle 6C1:
Richard Blute (Ottawa)
Introduction to Convenient Vector Spaces
Abstract: We review the basic ideas behind the theory
of smooth spaces and convenient vector spaces, due
to Frolicher and Kriegl. The category of smooth spaces is
a cartesian closed category which naturally contains all
manifolds. Convenient vector spaces are internal vector
spaces in this category. The category is convenient in
that a number of different notions from functional analysis
are combined in this setting. The category also forms a symmetric
monoidal closed category with a comonad making the category a model of
intuitionistic linear logic.
Our hope is that this category will also be a model
of differential linear logic in the sense of Ehrhard and Regnier.
Aucun commentaire:
Enregistrer un commentaire