文章基本信息

标题：Free Constructions and Coproducts of d-Frames
本地全文：下载
作者：Tom{\'a}s Jakl ; Achim Jung
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2017
卷号：72
页码：14:1-14:15
DOI：10.4230/LIPIcs.CALCO.2017.14
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：Free construction; d-frame; coproduct; C-ideals