scientific article; zbMATH DE number 896756

Publication date: 3 July 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

automata linear logic quantales tree automata quantaloids enriched category theory *-autonomous categories complete lattices with sup-preserving associative binary relation

Mathematics Subject Classification ID

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

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, Two types of Galois correspondences over quantaloid-typed sets, 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