Free constructions and coproducts of d-frames

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

Authors: 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

Recommendations

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

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 (5)

• Free meets and atomic assemblies of frames
• 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)