The role of entailment in natural dualities and in canonical extensions
09/09/2010 Quinta-feira, 9 de Setembro de 2010, 11h30m, Sala B2-01
Maria João Gouveia (CAUL / Dept. Matemática, FCUL, Portugal)
Instituto para a Investigação Interdisciplinar
Natural dualities allow us to represent an algebra as a set of continuous maps preserving a relational structure. Canonical extensions of lattice based algebras have compact and dense complete lattices as an underlying lattice in which the former are lattice embeddable. In some settings there is a bridge between natural dualities and canonical extensions, with entailment playing a role in it.