scientific article; zbMATH DE number 896756
From MaRDI portal
Publication:4884543
zbMath0845.18003MaRDI QIDQ4884543
Publication date: 3 July 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
automatalinear logicquantalestree automataquantaloidsenriched category theory*-autonomous categoriescomplete lattices with sup-preserving associative binary relation
Complete lattices, completions (06B23) Algebraic theory of languages and automata (68Q70) Categorical logic, topoi (03G30) Preorders, orders, domains and lattices (viewed as categories) (18B35) Enriched categories (over closed or monoidal categories) (18D20) Research exposition (monographs, survey articles) pertaining to category theory (18-02)
Related Items (65)
Density in categorical topology via quantaloid-enriched categories ⋮ 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. ⋮ Free \(Q\)-algebras. ⋮ Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL ⋮ Many valued lattices and their representations ⋮ Sobriety and spatiality in varieties of algebras ⋮ \(*\)-autonomous categories of bimodules ⋮ \(\mathcal Q\)-\(*\)-categories ⋮ Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions ⋮ Lax distributive laws for topology, II ⋮ Modules on involutive quantales: Canonical Hilbert structure, applications to sheaf theory ⋮ Yoneda completeness and flat completeness of ordered fuzzy sets ⋮ Fixed points of adjoint functors enriched in a quantaloid ⋮ On a generalization of Goguen's category \({\mathcal S}et(L)\) ⋮ Unnamed Item ⋮ Function spaces based on L-sets ⋮ A survey on the categorical term construction with applications ⋮ Unnamed Item ⋮ Monoids with quantale-valued preorders: globalizations and localizations ⋮ Quantalic topological theories ⋮ Diagonals between \(\mathcal{Q}\)-distributors ⋮ Chu connections and back diagonals between \(\mathcal{Q}\)-distributors ⋮ A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety ⋮ Preordered sets valued in a GL-monoid ⋮ Many-Valued Preorders I: The Basis of Many-Valued Mathematics ⋮ 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 ⋮ Localic sup-lattices and tropological systems. ⋮ Groupoid sheaves as quantale sheaves ⋮ Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\) ⋮ \(\mathcal{Q}\)-closure spaces ⋮ Convergence and quantale-enriched categories ⋮ Unnamed Item ⋮ 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 ⋮ From quantale algebroids to topological spaces: fixed- and variable-basis approaches ⋮ Sheaves as modules ⋮ A categorical approach to lattice-valued fuzzy automata ⋮ Unnamed Item ⋮ Algebraic and Categorical Aspects of Quantales ⋮ Unnamed Item ⋮ Multi-adjoint concept lattices via quantaloid-enriched categories ⋮ On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular ⋮ Fuzzy Galois connections on fuzzy sets ⋮ Determinism of multirelations ⋮ Two types of Galois correspondences over quantaloid-typed sets ⋮ Partially ordered fuzzy power set monads on the category of L-sets and their associated categories of topological space objects ⋮ Frame-valued Scott open set monad and its algebras ⋮ A categorical characterization of the least \(Q\)-quantale completion of \(Q\)-ordered semigroups ⋮ Extending set functors to generalised metric spaces ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Sheaves on quantaloids ⋮ Involutive and relational quantaloids ⋮ Relational presheaves, change of base and weak simulation ⋮ On a lax-algebraic characterization of closed maps
This page was built for publication:
