Functors and ordinal notations III : dilators and gardens - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1982

Functors and ordinal notations III : dilators and gardens

Jacqueline Vauzeilles
  • Fonction : Auteur
  • PersonId : 829698

Résumé

In unpublished manuscripts of 1976-1977 (also, Oxford Conference, 1976) Jean-Yves Girard introduced the concept of garden; the terrible complexity of anything connected with gardens made it necessary to lok for a simpler viewpoint. Then, in the next years he introduced and developped the concept of a dilator. Yet, in some cases, gardens may be of great interest.: a garden is shortly the functorial version of a Bachman collection in which the fundamental sequences are replaced by “fundamental flowers“. In this work we prove that there is an isomorphism between the categories of gardens and dilators.
Fichier non déposé

Dates et versions

hal-00003549 , version 1 (13-12-2004)

Identifiants

  • HAL Id : hal-00003549 , version 1

Citer

Jacqueline Vauzeilles. Functors and ordinal notations III : dilators and gardens. Herbrand Symposium, 1982, Marseille, France. pp.333-364. ⟨hal-00003549⟩
54 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More