Crossed product construction of bimodules is generalized to incorporate compact groups and its categorical structure is clarified.
© Copyright 1995 Pacific Journal of Mathematics. All rights reserved.