Completely distributive enriched categories are not always continuous

MaRDI QIDQ5213344zbMATH OpenFDO

Authors Hongliang Lai, Dexue Zhang

Publication date 3 February 2020

Full work available at URL https://arxiv.org/abs/1908.01106, http://www.tac.mta.ca/tac/volumes/35/3/35-03abs.html

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

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)

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.

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

Cites work

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

Cited in

(4)

• Boundedness and complete distributivity
• The saturated prefilter monad
• On saturated prefilter monads
• scientific article; zbMATH DE number 7646807 (Why is no real title available?)

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)