|
|
 |
|
Vendredi 7 Février
| Heure: |
00:59 - 12:00 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
Models of a Non-Associative Composition |
| Description: |
Guillaume Munch-Maccagnoni We characterise the
polarised evaluation order through a categorical structure where the
hypothesis that composition is associative is relaxed. Duploid is
the name of the structure, as a reference to Jean-Louis Loday's duplicial
algebras. The main result is a reflection AdjâDupl where Dupl
is a category of duploids and duploid functors, and Adj is the
category of adjunctions and pseudo maps of adjunctions. The result suggests
that the various biases in denotational semantics:
indirect, call-by-value, call-by-name... are a way of hiding the fact that
composition is not always associative. |
|
|
