“…In the semicomma category C*act(G, (C 0 (T ), rt)), the objects (A, α, φ A ) are systems (A, α) in C*act(G) together with a nondegenerate homomorphism φ A : C 0 (T ) → M(A) which is rt -α equivariant, and the morphisms from (A, α, φ A ) to (B, β, φ B ) are just the usual morphisms [X, u] from (A, α) to (B, β) in C*act(G), with the same composition defined by balanced tensor product of right-Hilbert bimodules. It follows immediately from [2,Proposition 3.3] that the semi-comma category is indeed a category. This may seem an unusual choice of category, and we will say more at the end of the section about our reasons for choosing it (see Remark 2.4).…”