2026-07-20T06:35:14Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:8030 2024-03-06T10:39:38Z ddc:004 open_access

Free Constructions and Coproducts of d-Frames Jakl, Tomás Jung, Achim Free construction d-frame coproduct C-ideals 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Tomás Jakl and Achim Jung 2017 Is Part Of LIPIcs, Volume 72, 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CALCO.2017.14 urn:nbn:de:0030-drops-80304 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2017.14 eng https://creativecommons.org/licenses/by/3.0/legalcode