Free constructions and coproducts of d-frames
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Authors
Colleges, School and Institutes
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.
Details
Original language | English |
---|---|
Title of host publication | Proceedings of 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017) |
Editors | Filippo Bonchi, Barabara König |
Publication status | Published - 12 Jun 2017 |
Event | 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017) - Ljubljana, Slovenia Duration: 13 Jun 2017 → 16 Jun 2017 |
Publication series
Name | LIPIcs: Leibniz International Proceedings in Informatics |
---|---|
Publisher | Schloss Dagstuhl |
Volume | 72 |
ISSN (Electronic) | 1868-8969 |
Conference
Conference | 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017) |
---|---|
Country | Slovenia |
City | Ljubljana |
Period | 13/06/17 → 16/06/17 |
Keywords
- free construction, d-frame, coproduct, C-ideals