Canonical extensions of lattices are more than perfect
Logic
2020-01-14 v1
Abstract
In \cite{CGH15} we introduced TiRS graphs and TiRS frames to create a new natural setting for duals of canonical extensions of lattices. In this continuation of \cite{CGH15} we answer Problem 2 from there by characterising the perfect lattices that are dual to TiRS frames (and hence TiRS graphs). We introduce a new subclass of perfect lattices called PTi lattices and show that the canonical extensions of lattices are PTi lattices, and so are `more' than just perfect lattices. We introduce morphisms of TiRS structures and put our correspondence between TiRS graphs and TiRS frames from \cite{CGH15} into a full categorical framework. We illustrate our correspondences between classes of perfects lattices and classes of TiRS graphs by examples.
Keywords
Cite
@article{arxiv.2001.04182,
title = {Canonical extensions of lattices are more than perfect},
author = {Andrew P. K. Craig and Maria J. Gouveia and Miroslav Haviar},
journal= {arXiv preprint arXiv:2001.04182},
year = {2020}
}