Monoidal Company for Accessible Functors - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Monoidal Company for Accessible Functors

Henning Basold
  • Fonction : Auteur
  • PersonId : 1009040
Jurriaan Rot
  • Fonction : Auteur
  • PersonId : 1003950

Résumé

Distributive laws between functors are a fundamental tool in the theory of coalgebras. In the context of coinduction in complete lattices, they correspond to the so-called compatible functions, which enable enhancements of the coinductive proof technique. Amongst these, the greatest compatible function, called the companion, has recently been shown to satisfy many good properties. Categorically, the companion of a functor corresponds to the final object in a category of distributive laws. We show that every accessible functor on a locally presentable category has a companion. Central to this and other constructions in the paper is the presentation of distributive laws as coalgebras for a certain functor. This functor itself has again, what we call, a second-order companion. We show how this companion interacts with the various monoidal structures on functor categories. In particular, both the first-and second-order companion give rise to monads. We use these results to obtain an abstract GSOS-like extension result for specifications involving the second-order companion.
Fichier principal
Vignette du fichier
company.pdf (634.93 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01529340 , version 1 (30-05-2017)

Identifiants

  • HAL Id : hal-01529340 , version 1

Citer

Henning Basold, Damien Pous, Jurriaan Rot. Monoidal Company for Accessible Functors. CALCO, Jun 2017, Ljubljana, Slovenia. ⟨hal-01529340⟩
153 Consultations
199 Téléchargements

Partager

Gmail Facebook X LinkedIn More