Free quantaloids
From MaRDI portal
Publication:805732
DOI10.1016/0022-4049(91)90130-TzbMath0729.18007MaRDI QIDQ805732
Publication date: 1991
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
nuclei; quantaloid; categories enriched in a free quantaloid; category enriched in the closed category of complete semilattices; free functor; generalization of quantales; nondeterministic functor
06B23: Complete lattices, completions
18D20: Enriched categories (over closed or monoidal categories)
Related Items
Autonomous posets and quantales, A categorical look at tree automata and context-free languages, An introduction to quantaloid-enriched categories, Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions, Density in categorical topology via quantaloid-enriched categories, Exponentiable functors between quantaloid-enriched categories, Chu connections and back diagonals between \(\mathcal{Q}\)-distributors, From quantale algebroids to topological spaces: fixed- and variable-basis approaches, Lax monads. Indexed monoidal monads, Quantaloidal nuclei, the syntactic congruence and tree automata, \(*\)-autonomous categories of bimodules, Quantaloids, enriched categories and automata theory, Quantaloids and non-commutative ring representations, On quantaloids and quantal categories, Topological categories, quantaloids and Isbell adjunctions, Unnamed Item, Girard quantaloids, Unnamed Item
Cites Work
- Variation through enrichment
- The weakest prespecification
- Cartesian bicategories. I
- Sheaves on sites as Cauchy-complete categories
- An extension of the Galois theory of Grothendieck
- Constructing locales from quantales
- Metric spaces, generalized logic, and closed categories
- Quantales, observational logic and process semantics
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Residuated Lattices
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item