Free quantaloids (Q805732): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quantales, observational logic and process semantics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3658172 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Variation through enrichment / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4721656 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cartesian bicategories. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4179852 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4104122 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The weakest prespecification / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3773351 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An extension of the Galois theory of Grothendieck / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3965241 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3667049 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3028349 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934579 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metric spaces, generalized logic, and closed categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3771067 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructing locales from quantales / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3996704 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sheaves on sites as Cauchy-complete categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Residuated Lattices / rank | |||
Normal rank |
Latest revision as of 17:37, 21 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Free quantaloids |
scientific article |
Statements
Free quantaloids (English)
0 references
1991
0 references
A quantaloid is the author's (rather inelegant) name for a category enriched in the closed category of complete semilattices. Such categories have been studied before [e.g. by \textit{A. M. Pitts}, Proc. Lond. Math. Soc., III. Ser. 57, 433-480 (1988; Zbl 0619.18005)]. However, the author's concern here is to view them as a generalization of the quantales introduced by \textit{C. J. Mulvey} [Rend. Circ. Mat. Palermo, II. Ser., Suppl. 12, 99-104 (1986; Zbl 0633.46005)], which are simply quantaloids with one object. The free functor from ordinary (locally small) categories to quantaloids is simply constructed, by applying the power-set functor to each hom-set; the author observes that the resulting adjunction is monadic, and also studies an appropriate notion of nuclei for quantaloids. Finally he studies categories enriched in a free quantaloid, and advances the claim that they provide a suitable notion of ``nondeterministic functor'' which may have applications in computer science.
0 references
generalization of quantales
0 references
quantaloid
0 references
category enriched in the closed category of complete semilattices
0 references
free functor
0 references
nuclei
0 references
categories enriched in a free quantaloid
0 references
nondeterministic functor
0 references