Completely distributive enriched categories are not always continuous

zbMATH Open1444.18007arXiv1908.01106MaRDI QIDQ5213344FDOQ5213344

Authors: Hongliang Lai, Dexue Zhang 

Publication date: 3 February 2020

Abstract: In contrast to the fact that every completely distributive lattice is necessarily continuous in the sense of Scott, it is shown that complete distributivity of a category enriched over the closed category obtained by endowing the unit interval with a continuous t-norm does not imply its continuity in general. Necessary and sufficient conditions for the implication are presented.

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

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• The extensive completion of a distributive category
• Cartesian closedness of categories of completely distributive lattices
• scientific article; zbMATH DE number 700545
• A note on continuity of \(\Omega\)--categories
• An enrichment theorem for an axiomatisation of categories of domains and continuous functions
• A note on enriched categories
• scientific article; zbMATH DE number 1924517
• A note on the categorical congruence distributivity
• scientific article; zbMATH DE number 2125669
• Cauchy characterization of enriched categories

zbMATH Keywords

distributive lawenriched categorycontinuous t-normcompletely distributive quantale-enriched categorycontinuous quantale-enriched categoryforward Cauchy weight

Mathematics Subject Classification ID

Complete distributivity (06D10) Enriched categories (over closed or monoidal categories) (18D20) Quantales (06F07) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Cites Work

• Triangular norms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuous Lattices and Domains
• Title not available (Why is that?)
• The closure of a class of colimits
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• Monads for which structures are adjoint to units
• Complete and directed complete \(\Omega \)-categories
• Categorical structures enriched in a quantaloid: tensored and cotensored categories
• Metric spaces, generalized logic, and closed categories
• Title not available (Why is that?)
• Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
• Liminf convergence in \(\Omega\)-categories
• The formal ball model for \(\mathcal Q\)-categories
• ``Hausdorff distance via conical cocompletion
• Title not available (Why is that?)
• Approximation in quantale-enriched categories
• On the structure of semi-groups on a compact manifold with boundary
• Doctrines on 2-categories
• Monoidal topology. A categorical approach to order, metric, and topology
• Duality for distributive spaces
• Title not available (Why is that?)
• Continuous categories and exponentiable toposes
• Totally distributive toposes
• Constructive complete distributivity. I
• Completely and totally distributive categories. I.
• A duality of quantale-enriched categories
• Title not available (Why is that?)
• Categories enriched over a quantaloid: algebras
• The double power monad is the composite power monad
• Lax distributive laws for topology, II
• Regularity vs. constructive complete (co)distributivity

Cited In (4)

• On saturated prefilter monads
• The saturated prefilter monad
• Title not available (Why is that?)
• Boundedness and complete distributivity

This page was built for publication: Completely distributive enriched categories are not always continuous

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