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 |
---|---|
Report Nr: | MoL-2006-09 |
Series Name: | Master of Logic Thesis (MoL) Series |
Year: | 2006 |
Date Deposited: | 12 Oct 2016 14:38 |
Last Modified: | 12 Oct 2016 14:38 |
URI: | https://eprints.illc.uva.nl/id/eprint/772 |
Actions (login required)
View Item |