Complete and directed complete \(\Omega \)-categories
From MaRDI portal
Publication:2464932
DOI10.1016/j.tcs.2007.09.012zbMath1131.18006OpenAlexW62599867WikidataQ58331947 ScholiaQ58331947MaRDI QIDQ2464932
Publication date: 18 December 2007
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2007.09.012
completenesscompletionenriched categoryweighted limitweighted colimitcommutative quantaledirected completeness
Related Items
Categorical dualities between certain kinds of fuzzy posets, The category of algebraic fuzzy closure L-systems on fuzzy complete lattices, Isbell adjunctions and Kan adjunctions via quantale-enriched two-variable adjunctions, Algebras with compatible quantale-enriched structures, A duality between \(\Omega\)-categories and algebraic \(\Omega\)-categories, Quantale-valued preorders: globalization and cocompleteness., Free \(Q\)-algebras., Completely distributive enriched categories are not always continuous, Scott convergence and fuzzy Scott topology on \(L\)-posets, Formal balls of Q-categories, On the power-set \(Q\)-algebras, Fuzzy bases of fuzzy domains, Yoneda completeness and flat completeness of ordered fuzzy sets, Fixed points of adjoint functors enriched in a quantaloid, A non-frame valued Cartesian closed category of liminf complete fuzzy orders, Bounded sobriety and k-bounded sobriety of Q-cotopological spaces, Sober metric approach spaces, Reflectors to quantales, On fuzzy monotone convergence \(\mathcal{Q}\)-cotopological spaces, Algebraic representation of frame-valued continuous lattices via the open filter monad, Relationships between \(L\)-ordered convergence structures and strong \(L\)-topologies, Reflective full subcategories of the category of \(L\)-posets, A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety, Complete relations on fuzzy complete lattices, Preordered sets valued in a GL-monoid, Unnamed Item, Unnamed Item, Fuzzifying interval operators, fuzzifying convex structures and fuzzy pre-orders, Cartesian closedness of a category of non-frame valued complete fuzzy orders, Fuzzy cut-stable map and its extension property1, L-fuzzy Scott Topology and Scott Convergence of Stratified L-filters on Fuzzy Dcpos, Fuzzy Galois connections categorically, K-FLAT PROJECTIVE FUZZY QUANTALES, The meet-continuity of \(L\)-semilattices, Operators on Pavelka's algebras induced by fuzzy relations, Concept lattices of fuzzy contexts: formal concept analysis vs. rough set theory, Join-completions of \(L\)-ordered sets, Approximation in quantale-enriched categories, Quantitative domains via fuzzy sets. I: Continuity of fuzzy directed complete posets, Implication structures, fuzzy subsets, and enriched categories, Quantitative domains via fuzzy sets. II: Fuzzy Scott topology on fuzzy directed-complete posets, Unnamed Item, Continuous triangular norm based fuzzy topology, Closedness of the category of liminf complete fuzzy orders, Stratified categorical fixed-basis fuzzy topological spaces and their duality, Monadic convergence structures revisited, On \((\odot, \operatorname{\&})\)-fuzzy rough sets based on residuated and co-residuated lattices, The \(L\)-ordered semigroups based on \(L\)-partial orders, Sobriety of quantale-valued cotopological spaces, Fuzzy Galois connections on fuzzy sets, A comparative study of ideals in fuzzy orders, Fuzzy \(Z\)-continuous posets, Unnamed Item, General \(L\)-fuzzy aggregation functions based on complete residuated lattices, Two Cartesian closed subcategories of fuzzy domains
Cites Work
- Elements of generalized ultrametric domain theory
- Fuzzy preorder and fuzzy topology
- The closure of a class of colimits
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
- Weighted colimits and formal balls in generalized metric spaces
- Metamathematics of fuzzy logic
- Liminf convergence in \(\Omega\)-categories
- Continuity spaces: Reconciling domains and metric spaces
- A characterization of partial metrizability: Domains are quantifiable.
- Triangular norms
- The essence of ideal completion in quantitative form
- On the Yoneda completion of a quasi-metric space
- Concept lattices and order in fuzzy logic
- Monads for which structures are adjoint to units
- Metric spaces, generalized logic, and closed categories
- Completeness of Quasi-Uniform and Syntopological Spaces
- Continuous Lattices and Domains
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
