Free constructions and coproducts of d-frames
arXiv:1704.04029 · doi:10.4230/LIPIcs.CALCO.2017.14
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.