Free quantaloids (Q805732)
From MaRDI portal
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