Liminf convergence in \(\Omega\)-categories
From MaRDI portal
Publication:1390934
DOI10.1016/S0304-3975(96)00223-XzbMath0935.18008MaRDI QIDQ1390934
Publication date: 22 July 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
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 (43)
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
- Solving reflexive domain equations in a category of complete metric spaces
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
- Accessible Categories: The Foundations of Categorical Model Theory
- Metric spaces, generalized logic, and closed categories
- The Smyth Completion
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Liminf convergence in \(\Omega\)-categories