Free constructions and coproducts of d-frames

DOI10.4230/LIPICS.CALCO.2017.14MaRDI QIDQ4580210zbMATH OpenFDO

Authors Tomáš Jakl, Achim Jung

Publication date 13 August 2018

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)

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.

Recommendations

• scientific article; zbMATH DE number 427788
• Coproducts in the category \(\mathbf M\kappa\mathbf{Frm}\)
• scientific article; zbMATH DE number 169150
• scientific article; zbMATH DE number 19490
• Free objects and free extensions in the category of frames

Cited in

(6)

• Free meets and atomic assemblies of frames
• Quotients of d-frames
• scientific article; zbMATH DE number 169150 (Why is no real title available?)
• On Isbell's density theorem for bitopological pointfree spaces. I
• scientific article; zbMATH DE number 427788 (Why is no real title available?)
• Free objects and free extensions in the category of frames

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)