Models of a Non-Associative Composition
Résumé
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.
Nous caractérisons l'ordre d'évaluation polarisé à travers une structure catégorielle dont l'hypothèse que la composition est associative est relâchée. Duploïde est le nom de la structure, par référence aux algèbres dupliciales de Loday. Le résultat principal est une réflection Adj→Dupl où Dupl est une catégorie des duploïdes et des foncteurs de duploïdes, et Adj est la catégorie des adjonctions et des pseudo-morphismes d'adjonctions. Le résultat suggère que les biais des sémantiques dénotationnelles: indirectes, en appel par valeur, en appel par nom... sont des façons de cacher le fait que la composition n'est pas toujours associative.
Domaines
Logique en informatique [cs.LO]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...