scientific article; zbMATH DE number 2172965
From MaRDI portal
Publication:4680353
zbMath1079.18005arXivmath/0409473MaRDI QIDQ4680353
Publication date: 1 June 2005
Full work available at URL: https://arxiv.org/abs/math/0409473
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Morita equivalencelimitenriched categoryadjoint functorpresheavesquantalequantaloidcolimitCauchy completioncontinuous functorKan extensiondistributorfree cocompletion
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Preorders, orders, domains and lattices (viewed as categories) (18B35) Quantales (06F07) Enriched categories (over closed or monoidal categories) (18D20)
Related Items (80)
Isbell adjunctions and Kan adjunctions via quantale-enriched two-variable adjunctions ⋮ Completeness and injectivity ⋮ Density in categorical topology via quantaloid-enriched categories ⋮ On the homomorphisms of power-set \(Q\)-algebras ⋮ Some corollaries of the correspondence between partial metrics and multivalued equalities ⋮ Fundamental duality of abstract categories and its applications ⋮ An introduction to quantaloid-enriched categories ⋮ Sheaves on involutive quantales: Grothendieck quantales. ⋮ Categorical foundations of topology with applications to quantaloid enriched topological spaces ⋮ Quantale-valued preorders: globalization and cocompleteness. ⋮ Basic concepts of quantale-enriched topologies ⋮ Completely distributive enriched categories are not always continuous ⋮ Scott convergence and fuzzy Scott topology on \(L\)-posets ⋮ On saturated prefilter monads ⋮ Many valued lattices and their representations ⋮ Exponentiable functors between quantaloid-enriched categories ⋮ \(\mathcal Q\)-\(*\)-categories ⋮ Topological categories, quantaloids and Isbell adjunctions ⋮ Lax distributive laws for topology, II ⋮ Enriched Stone-type dualities ⋮ On lax epimorphisms and the associated factorization ⋮ Modules on involutive quantales: Canonical Hilbert structure, applications to sheaf theory ⋮ Yoneda completeness and flat completeness of ordered fuzzy sets ⋮ The double power monad is the composite power monad ⋮ Fixed points of adjoint functors enriched in a quantaloid ⋮ Function spaces based on L-sets ⋮ Quantale-Enriched Multicategories Via Actions ⋮ Quantale-valued topological spaces via closure and convergence ⋮ Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories ⋮ Injective hulls of quantale-enriched multicategories ⋮ Sober metric approach spaces ⋮ Monoids with quantale-valued preorders: globalizations and localizations ⋮ Quantalic topological theories ⋮ On presheaf submonads of quantale-enriched categories ⋮ Diagonals between \(\mathcal{Q}\)-distributors ⋮ Reflective full subcategories of the category of \(L\)-posets ⋮ Chu connections and back diagonals between \(\mathcal{Q}\)-distributors ⋮ Unnamed Item ⋮ Enriched categories as a free cocompletion ⋮ Preordered sets valued in a GL-monoid ⋮ Many-Valued Preorders I: The Basis of Many-Valued Mathematics ⋮ Kleisli enriched ⋮ Elementary characterisation of small quantaloids of closed cribles ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Quantale-valued dissimilarity ⋮ Cartesian closedness of a category of non-frame valued complete fuzzy orders ⋮ Unnamed Item ⋮ Transition probability spaces in loop quantum gravity ⋮ Fuzzy Galois connections categorically ⋮ The change-base issue for \(\Omega\)-categories ⋮ Complete and directed complete \(\Omega \)-categories ⋮ Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\) ⋮ \(\mathcal{Q}\)-closure spaces ⋮ Operators on Pavelka's algebras induced by fuzzy relations ⋮ Concept lattices of fuzzy contexts: formal concept analysis vs. rough set theory ⋮ Regularity vs. constructive complete (co)distributivity ⋮ A non-commutative and non-idempotent theory of quantale sets ⋮ Fuzzy presubsets as non-idempotent and non-commutative classifications of subalgebras ⋮ Join-completions of \(L\)-ordered sets ⋮ Implication structures, fuzzy subsets, and enriched categories ⋮ Completeness in generalized ultrametric spaces ⋮ Collagories: relation-algebraic reasoning for gluing constructions ⋮ Stratified categorical fixed-basis fuzzy topological spaces and their duality ⋮ Multi-adjoint concept lattices via quantaloid-enriched categories ⋮ On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular ⋮ Semitopological groups, semiclosure semigroups and quantales ⋮ Fuzzy Galois connections on fuzzy sets ⋮ Two types of Galois correspondences over quantaloid-typed sets ⋮ A comparative study of ideals in fuzzy orders ⋮ The completions of multi-posets and quantum B-algebras ⋮ A categorical characterization of the least \(Q\)-quantale completion of \(Q\)-ordered semigroups ⋮ Precoherent quantale completions of partially ordered semigroups ⋮ A few notes on quantum \(B\)-algebras ⋮ Unnamed Item ⋮ Fuzzy \(Z\)-continuous posets ⋮ Unnamed Item ⋮ On the injective hulls of quantum B-algebras ⋮ Two Cartesian closed subcategories of fuzzy domains
This page was built for publication:
