Pré-Publication, Document De Travail Année : 2007

On finiteness spaces and extensional presheaves over the Lawvere theory of polynomials

Thomas Ehrhard

Résumé

We define a faithful functor from a cartesian closed category of linearly topologized vector spaces over a field and generalized polynomial functions to the category of ``extensional'' presheaves over the Lawvere theory of polynomial functions, and show that, under some conditions on the field, this functor is full and preserves the cartesian closed structure.

Fichier principal
Vignette du fichier
presheaves.pdf (246.91 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-00165230 , version 1 (25-07-2007)

Licence

Identifiants

  • HAL Id : hal-00165230 , version 1

Citer

Thomas Ehrhard. On finiteness spaces and extensional presheaves over the Lawvere theory of polynomials. 2007. ⟨hal-00165230⟩
129 Consultations
267 Téléchargements

Partager

  • More