Free constructions and coproducts of d-frames

DOI10.4230/LIPICS.CALCO.2017.14zbMATH Open1433.68204arXiv1704.04029MaRDI QIDQ4580210FDOQ4580210

Tomáš Jakl, Achim Jung

Publication date: 13 August 2018

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.

Full work available at URL: https://arxiv.org/abs/1704.04029

zbMATH Keywords

coproductfree constructiond-frameC-ideals

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Semantics in the theory of computing (68Q55) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Frames and locales, pointfree topology, Stone duality (18F70)

Cited In (4)

• Quotients of d-frames
• Title not available (Why is that?)
• On Isbell's density theorem for bitopological pointfree spaces. I
• Title not available (Why is that?)

This page was built for publication: Free constructions and coproducts of d-frames

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4580210)