Liminf convergence in \(\Omega\)-categories

Metric spaces, metrizability (54E35) Semantics in the theory of computing (68Q55) Categorical methods in general topology (54B30) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Categorical semantics of formal languages (18C50) Preorders, orders, domains and lattices (viewed as categories) (18B35) Quantales (06F07) Enriched categories (over closed or monoidal categories) (18D20)

Related Items

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

Cites Work