scientific article; zbMATH DE number 896756
From MaRDI portal
Publication:4884543
*-autonomous categoriesautomatacomplete lattices with sup-preserving associative binary relationenriched category theorylinear logicquantalesquantaloidstree automata
Categorical logic, topoi (03G30) Complete lattices, completions (06B23) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Preorders, orders, domains and lattices (viewed as categories) (18B35) Enriched categories (over closed or monoidal categories) (18D20) Algebraic theory of languages and automata (68Q70)
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
(86)- Quantaloidal nuclei, the syntactic congruence and tree automata
- *-autonomous categories of bimodules
- Localic sup-lattices and tropological systems.
- Sheaves on quantaloids
- Involutive and relational quantaloids
- A survey on the categorical term construction with applications
- Quantalic topological theories
- Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\)
- Fuzzy presubsets as non-idempotent and non-commutative classifications of subalgebras
- Fuzzy Galois connections on fuzzy sets
- Quantaloids, enriched categories and automata theory
- Multi-adjoint concept lattices via quantaloid-enriched categories
- A categorical characterization of the least \(Q\)-quantale completion of \(Q\)-ordered semigroups
- Quantale-valued dissimilarity
- Cartesian closedness of a category of non-frame valued complete fuzzy orders
- Relational presheaves, change of base and weak simulation
- On a lax-algebraic characterization of closed maps
- 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
- A categorical approach to lattice-valued fuzzy automata
- Catoids and modal convolution algebras
- 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.
- Towards ``dynamic domains: totally continuous cocomplete \(\mathcal{Q}\)-categories
- scientific article; zbMATH DE number 6371948 (Why is no real title available?)
- Many-Valued Preorders I: The Basis of Many-Valued Mathematics
- Algebraic and categorical aspects of quantales
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
- On fuzzification of the notion of quantaloid
- Behavioural equivalences for timed systems
- scientific article; zbMATH DE number 1804029 (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 1282770 (Why is no real title available?)
- Preordered sets valued in a GL-monoid
- scientific article; zbMATH DE number 529899 (Why is no real title available?)
- scientific article; zbMATH DE number 720881 (Why is no real title available?)
- scientific article; zbMATH DE number 1036407 (Why is no real title available?)
- Convergence and quantale-enriched categories
- Regularity vs. constructive complete (co)distributivity
- Elementary characterisation of small quantaloids of closed cribles
- Extending set functors to generalised metric spaces
- Two types of Galois correspondences over quantaloid-typed sets
- Lax distributive laws for topology, II
- Function spaces based on L-sets
- A non-commutative and non-idempotent theory of quantale sets
- scientific article; zbMATH DE number 5054860 (Why is no real title available?)
- Note on `` Fuzzy universal algebras on \(L\)-sets
- The most nonelementary theory
- Monoids with quantale-valued preorders: globalizations and localizations
- Diagonals between \(\mathcal{Q}\)-distributors
- scientific article; zbMATH DE number 7731060 (Why is no real title available?)
- Quantaloidal approach to constraint satisfaction
- Injective symmetric quantaloid-enriched categories
- Determinism of multirelations
- 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
- Groupoid sheaves as quantale sheaves
- \(\mathcal{Q}\)-closure spaces
- Quantaloidal completions of order-enriched categories and their applications
- When is \(\mathrm{Cat}(\mathcal{Q})\) Cartesian closed?
- On the inner structure of multirelations
- Quantale-valued maps and partial maps
- \( \mathsf{Q}\)-\(\mathbf{Set}\) is not generally a topos
- The powerset monad on quantale-valued sets
- A characterization of categorical many-valued partial orderings by categorical topologies and an application to comma categories
- The Scott open V-set monad and its categories of algebras
- Higher catoids, higher quantales and their correspondences
- A dagger kernel category of complete orthomodular lattices
- Monotone -sup-fuzzy relations: converse and complementation
- On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
- Free quantaloids
- Density in categorical topology via quantaloid-enriched categories
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
- Many valued lattices and their representations
- Sobriety and spatiality in varieties of algebras
- Q-*-categories
- On a generalization of Goguen's category \({\mathcal S}et(L)\)
- Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
- Chu connections and back diagonals between \(\mathcal{Q}\)-distributors
- From quantale algebroids to topological spaces: fixed- and variable-basis approaches
- Sheaves as modules
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)
