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)- Two types of Galois correspondences over quantaloid-typed sets
- Density in categorical topology via quantaloid-enriched categories
- scientific article; zbMATH DE number 7731060 (Why is no real title available?)
- Involutive and relational quantaloids
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
- Cartesian closedness of a category of non-frame valued complete fuzzy orders
- Quantale-valued dissimilarity
- scientific article; zbMATH DE number 6371948 (Why is no real title available?)
- Convergence and quantale-enriched categories
- Determinism of multirelations
- Lax distributive laws for topology, II
- Note on `` Fuzzy universal algebras on \(L\)-sets
- Frame-valued Scott open set monad and its algebras
- Many-Valued Preorders I: The Basis of Many-Valued Mathematics
- scientific article; zbMATH DE number 1804029 (Why is no real title available?)
- An introduction to quantaloid-enriched categories
- Categorical foundations of topology with applications to quantaloid enriched topological spaces
- Quantale-valued preorders: globalization and cocompleteness.
- Sheaves on involutive quantales: Grothendieck quantales.
- Free Q-algebras.
- scientific article; zbMATH DE number 529899 (Why is no real title available?)
- scientific article; zbMATH DE number 5054860 (Why is no real title available?)
- Girard quantaloids
- A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety
- scientific article; zbMATH DE number 1036407 (Why is no real title available?)
- Preordered sets valued in a GL-monoid
- Elementary characterisation of small quantaloids of closed cribles
- Behavioural equivalences for timed systems
- A non-commutative and non-idempotent theory of quantale sets
- Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
- Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\)
- Groupoid sheaves as quantale sheaves
- 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
- On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
- Sobriety and spatiality in varieties of algebras
- Q-*-categories
- Many valued lattices and their representations
- From quantale algebroids to topological spaces: fixed- and variable-basis approaches
- Sheaves as modules
- On a generalization of Goguen's category \({\mathcal S}et(L)\)
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
- The most nonelementary theory
- Fixed points of adjoint functors enriched in a quantaloid
- Monoids with quantale-valued preorders: globalizations and localizations
- A survey on the categorical term construction with applications
- On fuzzification of the notion of quantaloid
- Towards ``dynamic domains: totally continuous cocomplete \(\mathcal{Q}\)-categories
- Fuzzy presubsets as non-idempotent and non-commutative classifications of subalgebras
- A categorical characterization of the least \(Q\)-quantale completion of \(Q\)-ordered semigroups
- Fuzzy Galois connections on fuzzy sets
- Algebraic and categorical aspects of quantales
- Localic sup-lattices and tropological systems.
- Quantaloids, enriched categories and automata theory
- Chu connections and back diagonals between \(\mathcal{Q}\)-distributors
- \(\mathcal{Q}\)-closure spaces
- Diagonals between \(\mathcal{Q}\)-distributors
- Regularity vs. constructive complete (co)distributivity
- Quantaloidal nuclei, the syntactic congruence and tree automata
- \(*\)-autonomous categories of bimodules
- Modules on involutive quantales: Canonical Hilbert structure, applications to sheaf theory
- A categorical approach to lattice-valued fuzzy automata
- Function spaces based on L-sets
- Quantalic topological theories
- Catoids and modal convolution algebras
- Quantaloidal approach to constraint satisfaction
- scientific article; zbMATH DE number 720881 (Why is no real title available?)
- Injective symmetric quantaloid-enriched categories
- Extending set functors to generalised metric spaces
- Relational presheaves, change of base and weak simulation
- Yoneda completeness and flat completeness of ordered fuzzy sets
- Multi-adjoint concept lattices via quantaloid-enriched categories
- Sheaves on quantaloids
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)
