Multisorted dualisability: change of base
Davey, B. A.; Gouveia, M. J.; Haviar, M.; Priestley, H. A.
Algebra Universalis, 66(4) (2011), 331-336
http://dx.doi.org/10.1007/s00012-011-0158-8
We prove that if a quasivariety TeX generated by a finite family TeX of finite algebras has a multisorted duality based on TeX, then TeX has a multisorted duality based on any finite family of finite algebras that generates it.
|
