Finite Limits and Anti-unification in Substitution Categories - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Finite Limits and Anti-unification in Substitution Categories

Wolfram Kahl
  • Fonction : Auteur
  • PersonId : 995264

Résumé

It is well-known that coequalisers and pushouts of substitutions correspond to solutions of unification problems, and therefore do not always exist. But how about equalisers and pullbacks? If the literature contains the answers, they are well-hidden.We provide explicit details and proofs for these constructions in categories with substitutions as morphisms, and in particular work out the details of categorial products for which the universal arrow construction turns out to correspond exactly to anti-unification.
Fichier principal
Vignette du fichier
486157_1_En_5_Chapter.pdf (306.92 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02364568 , version 1 (15-11-2019)

Licence

Paternité

Identifiants

Citer

Wolfram Kahl. Finite Limits and Anti-unification in Substitution Categories. 24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.87-102, ⟨10.1007/978-3-030-23220-7_5⟩. ⟨hal-02364568⟩
60 Consultations
47 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More