Free constructions and coproducts of d-frames

Tomas Jakl, Achim Jung

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)
27 Downloads (Pure)

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.
Original languageEnglish
Title of host publicationProceedings of 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)
EditorsFilippo Bonchi, Barabara König
PublisherSchloss Dagstuhl
Pages14:1-14:15
Number of pages18
ISBN (Electronic)9783959770330
DOIs
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)
Country/TerritorySlovenia
CityLjubljana
Period13/06/1716/06/17

Keywords

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

Fingerprint

Dive into the research topics of 'Free constructions and coproducts of d-frames'. Together they form a unique fingerprint.

Cite this