Free quantaloids
From MaRDI portal
Publication:805732
DOI10.1016/0022-4049(91)90130-TzbMATH Open0729.18007MaRDI QIDQ805732FDOQ805732
Publication date: 1991
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
quantaloidnucleicategories enriched in a free quantaloidcategory enriched in the closed category of complete semilatticesfree functorgeneralization of quantalesnondeterministic functor
Complete lattices, completions (06B23) Enriched categories (over closed or monoidal categories) (18D20)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- An extension of the Galois theory of Grothendieck
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Metric spaces, generalized logic, and closed categories
- Variation through enrichment
- Cartesian bicategories. I
- Sheaves on sites as Cauchy-complete categories
- Quantales, observational logic and process semantics
- Residuated Lattices
- Constructing locales from quantales
- The weakest prespecification
Cited In (28)
- Density in categorical topology via quantaloid-enriched categories
- Involutive and relational quantaloids
- Title not available (Why is that?)
- Quantaloids and non-commutative ring representations
- Exponentiable functors between quantaloid-enriched categories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Lax monads. Indexed monoidal monads
- An introduction to quantaloid-enriched categories
- Girard quantaloids
- Remark on the unital quantale \(Q[e]\)
- Qsym over Sym is free
- On quantaloids and quantal categories
- From quantale algebroids to topological spaces: fixed- and variable-basis approaches
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
- Title not available (Why is that?)
- Topological categories, quantaloids and Isbell adjunctions
- Free dimonoids
- Quantaloids, enriched categories and automata theory
- Chu connections and back diagonals between \(\mathcal{Q}\)-distributors
- Free CR distributions
- Quantaloidal nuclei, the syntactic congruence and tree automata
- Free quadratic harness
- \(*\)-autonomous categories of bimodules
- Autonomous posets and quantales
- A categorical look at tree automata and context-free languages
This page was built for publication: Free quantaloids
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q805732)
