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]

[thumbnail of Full Text]
Preview
Text (Full Text)
MoL-2006-09.text.pdf

Download (888kB) | Preview
[thumbnail of Abstract] 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 View Item