Free constructions and coproducts of d-frames

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish
Title of host publicationProceedings of 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)
EditorsFilippo Bonchi, Barabara König
Publication statusPublished - 12 Jun 2017
Event7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017) - Ljubljana, Slovenia
Duration: 13 Jun 201716 Jun 2017

Publication series

NameLIPIcs: Leibniz International Proceedings in Informatics
PublisherSchloss Dagstuhl
Volume72
ISSN (Electronic)1868-8969

Conference

Conference7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)
CountrySlovenia
CityLjubljana
Period13/06/1716/06/17

Keywords

  • free construction, d-frame, coproduct, C-ideals