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

C-idealscoproductd-framefree construction

Mathematics Subject Classification ID

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

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

(7)

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