Container Combinatorics: Monads and Lax Monoidal Functors - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2017

Container Combinatorics: Monads and Lax Monoidal Functors

Tarmo Uustalu
  • Fonction : Auteur
  • PersonId : 884134

Résumé

Abbott et al.’s containers are a “syntax” for a wide class of set functors in terms of shapes and positions. Containers whose “denotation” carries a comonad structure can be characterized as directed containers, or containers where a shape and a position in it determine another shape, intuitively a subshape of this shape rooted by this position. In this paper, we develop similar explicit characterizations for container functors with a monad structure and container functors with a lax monoidal functor structure as well as some variations. We argue that this type of characterizations make a tool, e.g., for enumerating the monad structures or lax monoidal functors that some set functor admits. Such explorations are of interest, e.g., in the semantics of effectful functional programming languages.
Fichier principal
Vignette du fichier
440117_1_En_8_Chapter.pdf (314.36 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01760638 , version 1 (06-04-2018)

Licence

Identifiants

Citer

Tarmo Uustalu. Container Combinatorics: Monads and Lax Monoidal Functors. 2nd International Conference on Topics in Theoretical Computer Science (TTCS), Sep 2017, Tehran, Iran. pp.91-105, ⟨10.1007/978-3-319-68953-1_8⟩. ⟨hal-01760638⟩
110 Consultations
311 Téléchargements

Altmetric

Partager

More