“…Connes's cyclic duality functor (in the extended form in [18]) and also its dual version (from a subcategory of the category of para-cyclic objects to a subcategory of the category of para-cocyclic objects) both will be denoted by ' (−). Denote by A × the full subcategory of A in Definition 2.1, whose objects (T l , T r , Φ, ⊓, i, ⊔, w) obey the property that Φ, i and w are natural isomorphisms.…”