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]

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

Download (888kB) | Preview
[img] 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