# MoL-2006-09: Connecting the profinite completion and the canonical extension using duality

MoL-2006-09: Vosmaer, Jacob (2006) Connecting the profinite completion and the canonical extension using duality. [Report]

 Preview Text (Full Text) MoL-2006-09.text.pdf Download (888kB) | Preview Text (Abstract) MoL-2006-09.abstract.txt Download (531B)

## Abstract

We show using duality and category theory that the profinite
completion $\mathbb{\hat A}$ of a bounded distributive lattice
expansion $\mathbb{A}$ is a homomorphic image of the canonical
extension $\mathbb{A}^{\sigma}$. Moreover the natural mapping
$\mu\colon \mathbb{A} \rightarrow \mathbb{\hat A}$ can be extended
to a surjection $\nu \colon \mathbb{A}^{\sigma} \twoheadrightarrow \mathbb{\hat A}$.

Item Type: Report MoL-2006-09 Master of Logic Thesis (MoL) Series 2006 12 Oct 2016 14:38 12 Oct 2016 14:38 https://eprints.illc.uva.nl/id/eprint/772

## Actions (login required)

 View Item