Full dualisability is independent of the generating algebra
Given a full duality based on a finite algebra M , we show how to create a full duality based on any other finite algebra N for which . So the full dualisability of a quasivariety is independent of the algebra chosen as the generator. We obtain this result by proving the corresponding result for mul...
Gespeichert in:
Veröffentlicht in: | Algebra universalis 2012-05, Vol.67 (3), p.257-272 |
---|---|
Hauptverfasser: | , , |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | Given a full duality based on a finite algebra
M
, we show how to create a full duality based on any other finite algebra
N
for which
. So the full dualisability of a quasivariety is independent of the algebra chosen as the generator. We obtain this result by proving the corresponding result for multisorted full dualities. |
---|---|
ISSN: | 0002-5240 1420-8911 |
DOI: | 10.1007/s00012-012-0180-5 |