Functors and ordinal notations III : dilators and gardens
Vauzeilles, Jacqueline
HAL, hal-00003549 / Harvested from HAL
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.
Publié le : 1982-07-05
Classification:  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO],  [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
@article{hal-00003549,
     author = {Vauzeilles, Jacqueline},
     title = {Functors and ordinal notations III : dilators and gardens},
     journal = {HAL},
     volume = {1982},
     number = {0},
     year = {1982},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00003549}
}
Vauzeilles, Jacqueline. Functors and ordinal notations III : dilators and gardens. HAL, Tome 1982 (1982) no. 0, . http://gdmltest.u-ga.fr/item/hal-00003549/