Let be a group or a discrete groupoid. Recall that an associative ring is a semigroup (if unital then monoid) in the category of abelian groups and a quantale a semigroup in the category of sup-lattices.
While group(oid) ring is the free abelian group with basis (resp. ) with convolution product making it a ring, the groupoid quantale is the free sup-lattice with basis and the convolution product making it a quantale.
The free sup-lattice on a set is the power set (set of subsets of ) with the infinite union and finite intersection as sup (infinite join) and meet respectively; or equivalently the set of boolean functions on . If is a morphism set of a category (special cases: semigroup, group, groupoid) then has the multiplication
or, in terms of functions (the characteristic function of the subsets of ) of , the convolution product
This way, becomes a quantale denoted simply , which may be called a category quantale. This quantale is unital; namely the unit in is the set of units of the quantale which is canonically identified with a subset of . The unit for the convolution is, equivalently, the characteristic function of .
If is a groupoid, then there is an additional involution on where
for . In terms of the convolution quantale ,
This groupoid quantale is therefore an involutive unital quantale.
Created on December 6, 2015 at 11:20:53. See the history of this page for a list of all contributions to it.