Liminf convergence in \(\Omega\)-categories

54E35: Metric spaces, metrizability

68Q55: Semantics in the theory of computing

54B30: Categorical methods in general topology

54A20: Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.)

18C50: Categorical semantics of formal languages

18B35: Preorders, orders, domains and lattices (viewed as categories)

06F07: Quantales

18D20: Enriched categories (over closed or monoidal categories)

Related Items

Yoneda completeness, Convergence and quantale-enriched categories, A New Approach to Quantitative Domain Theory, Bicompletions of Distance Matrices, Distance Domains: Completeness, Completely distributive enriched categories are not always continuous, Quantale-valued preorders: globalization and cocompleteness., Preordered sets valued in a GL-monoid, Kernel systems on \(L\)-ordered sets, Approximation in quantale-enriched categories, Closedness of the category of liminf complete fuzzy orders, The saturated prefilter monad, Distance domains: continuity, Many valued lattices and their representations, An enriched category approach to many valued topology, Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories, The change-base issue for \(\Omega\)-categories, Concept lattices of fuzzy contexts: formal concept analysis vs. rough set theory, Implication structures, fuzzy subsets, and enriched categories, Fuzzy complete lattices, Weighted colimits and formal balls in generalized metric spaces, Algebras with compatible quantale-enriched structures, Sober metric approach spaces, Quantale algebras as lattice-valued quantales, Join-completions of \(L\)-ordered sets, Scott approach distance on metric spaces, Sobriety of quantale-valued cotopological spaces, Reflective full subcategories of the category of \(L\)-posets, Monadic convergence structures revisited, A comparative study of ideals in fuzzy orders, Cartesian closedness of a category of non-frame valued complete fuzzy orders, Continuous triangular norm based fuzzy topology, Two Cartesian closed subcategories of fuzzy domains, Recursively defined metric spaces without contraction, Yoneda completeness and flat completeness of ordered fuzzy sets, A non-frame valued Cartesian closed category of liminf complete fuzzy orders, Complete and directed complete \(\Omega \)-categories

Cites Work