17 May 2000.

Per Jacobsen "Quantization of relations".

We will develop a categorical framework for quantizing relations. Relations will be defined as a certain subcategory RA(D) of a category of A-A bicomodules. We will show that RA(D) is a monoidal category with a product bifunctor \otimes_A : RA(D) x RA(D) -> RA(D).
Properties of relations will be expressed through commutative diagrams in the category RA(D). Quantization of relations will be defined by deformations with respect to the tensor product \otimes_A.