scientific article; zbMATH DE number 896756
From MaRDI portal
Publication:4884543
automatalinear logictree automataquantalesquantaloidsenriched category theory*-autonomous categoriescomplete lattices with sup-preserving associative binary relation
Algebraic theory of languages and automata (68Q70) Categorical logic, topoi (03G30) Complete lattices, completions (06B23) Enriched categories (over closed or monoidal categories) (18D20) Preorders, orders, domains and lattices (viewed as categories) (18B35) Research exposition (monographs, survey articles) pertaining to category theory (18-02)
Recommendations
- Free quantaloids
- Sheaves on quantaloids
- Categories enriched over a quantaloid: algebras
- Semigroups in complete lattices. Quantales, modules and related topics
- Quantaloids, enriched categories and automata theory
- Involutive and relational quantaloids
- scientific article; zbMATH DE number 2172965
- scientific article; zbMATH DE number 909654
- Algebraic and categorical aspects of quantales
- Quantaloidal nuclei, the syntactic congruence and tree automata
Cited in
(73)- Partially ordered fuzzy power set monads on the category of L-sets and their associated categories of topological space objects
- On a lax-algebraic characterization of closed maps
- Two types of Galois correspondences over quantaloid-typed sets
- Catoids and modal convolution algebras
- Injective symmetric quantaloid-enriched categories
- Monoids with quantale-valued preorders: globalizations and localizations
- scientific article; zbMATH DE number 1036407 (Why is no real title available?)
- Regularity vs. constructive complete (co)distributivity
- Note on `` Fuzzy universal algebras on \(L\)-sets
- Frame-valued Scott open set monad and its algebras
- Quantaloidal approach to constraint satisfaction
- Determinism of multirelations
- Convergence and quantale-enriched categories
- Relational presheaves, change of base and weak simulation
- Groupoid sheaves as quantale sheaves
- Sheaves on quantaloids
- scientific article; zbMATH DE number 6371948 (Why is no real title available?)
- A categorical characterization of the least \(Q\)-quantale completion of \(Q\)-ordered semigroups
- scientific article; zbMATH DE number 720881 (Why is no real title available?)
- Algebraic and categorical aspects of quantales
- Modules on involutive quantales: Canonical Hilbert structure, applications to sheaf theory
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
- An introduction to quantaloid-enriched categories
- On fuzzification of the notion of quantaloid
- Categorical foundations of topology with applications to quantaloid enriched topological spaces
- A non-commutative and non-idempotent theory of quantale sets
- Quantale-valued preorders: globalization and cocompleteness.
- Sheaves on involutive quantales: Grothendieck quantales.
- Free \(Q\)-algebras.
- A survey on the categorical term construction with applications
- Fuzzy Galois connections on fuzzy sets
- From quantale algebroids to topological spaces: fixed- and variable-basis approaches
- Sheaves as modules
- Sobriety and spatiality in varieties of algebras
- \(\mathcal Q\)-\(*\)-categories
- A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety
- Density in categorical topology via quantaloid-enriched categories
- Quantalic topological theories
- \(\mathcal{Q}\)-closure spaces
- Girard quantaloids
- Preordered sets valued in a GL-monoid
- Yoneda completeness and flat completeness of ordered fuzzy sets
- Behavioural equivalences for timed systems
- Many valued lattices and their representations
- Many-Valued Preorders I: The Basis of Many-Valued Mathematics
- Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
- scientific article; zbMATH DE number 7731060 (Why is no real title available?)
- On a generalization of Goguen's category \({\mathcal S}et(L)\)
- Quantaloidal nuclei, the syntactic congruence and tree automata
- On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
- Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\)
- Chu connections and back diagonals between \(\mathcal{Q}\)-distributors
- Fixed points of adjoint functors enriched in a quantaloid
- Diagonals between \(\mathcal{Q}\)-distributors
- Multi-adjoint concept lattices via quantaloid-enriched categories
- Towards ``dynamic domains: totally continuous cocomplete \(\mathcal{Q}\)-categories
- scientific article; zbMATH DE number 1804029 (Why is no real title available?)
- Elementary characterisation of small quantaloids of closed cribles
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
- scientific article; zbMATH DE number 529899 (Why is no real title available?)
- Function spaces based on L-sets
- scientific article; zbMATH DE number 5054860 (Why is no real title available?)
- Lax distributive laws for topology, II
- Involutive and relational quantaloids
- Extending set functors to generalised metric spaces
- Cartesian closedness of a category of non-frame valued complete fuzzy orders
- Quantale-valued dissimilarity
- \(*\)-autonomous categories of bimodules
- Localic sup-lattices and tropological systems.
- Quantaloids, enriched categories and automata theory
- The most nonelementary theory
- Fuzzy presubsets as non-idempotent and non-commutative classifications of subalgebras
- A categorical approach to lattice-valued fuzzy automata
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4884543)
