§2. Definition of quantaloid and examples

F u r t h e r m o r e , e v e ry ^ - c a t e g o r y X has a dual ^ - c a t e g o r y Xop defined by 3Cop(a,b) = 3C(b,a). The appropr ia te | j l composition is defined using t h a t of 3C and the s y m m e t r y of <8> in £.