Completely distributive enriched categories are not always continuous

2019 
In contrast to the fact that every completely distributive lattice is necessarily continuous in the sense of Dana 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 continuity in general. Necessary and sufficient conditions for the implication are presented in terms of the structure of the table of truth-values --- the unit interval together with the continuous t-norm.
    • Correction
    • Source
    • Cite
    • Save
    • Machine Reading By IdeaReader
    30
    References
    2
    Citations
    NaN
    KQI
    []