Free quantaloids

DOI10.1016/0022-4049(91)90130-TzbMath0729.18007MaRDI QIDQ805732

Kimmo I. Rosenthal

Publication date: 1991

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

nuclei; quantaloid; categories enriched in a free quantaloid; category enriched in the closed category of complete semilattices; free functor; generalization of quantales; nondeterministic functor

Mathematics Subject Classification ID

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, Exponentiable functors between quantaloid-enriched categories, 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, Unnamed Item, Girard quantaloids, Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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