Allegories: decidability and graph homomorphisms - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year : 2018

Allegories: decidability and graph homomorphisms

Abstract

Allegories were introduced by Freyd and Scedrov; they form a fragment of Tarski's calculus of relations. We show that their equational theory is decidable by characterising it in terms of a specific class of graph homomorphisms. We actually do so for an extension of allegories which we prove to be conservative, namely allegories with top. This generalisation makes it possible to exploit the correspondence between terms and K4-free graphs, for which isomorphism was known to be finitely axiomatisable.
Fichier principal
Vignette du fichier
allegories.pdf (675.71 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01703906 , version 1 (08-02-2018)
hal-01703906 , version 2 (27-04-2018)

Identifiers

  • HAL Id : hal-01703906 , version 1

Cite

Damien Pous, Valeria Vignudelli. Allegories: decidability and graph homomorphisms. 2018. ⟨hal-01703906v1⟩
191 View
950 Download

Share

Gmail Mastodon Facebook X LinkedIn More