Free constructions and coproducts of d-frames
Logic in Computer Science
2022-05-12 v2 Logic
Abstract
A general theory of presentations for d-frames does not yet exist. We review the difficulties and give sufficient conditions for when they can be overcome. As an application we prove that the category of d-frames is closed under coproducts.
Cite
@article{arxiv.1704.04029,
title = {Free constructions and coproducts of d-frames},
author = {Tomáš Jakl and Achim Jung},
journal= {arXiv preprint arXiv:1704.04029},
year = {2022}
}