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