Introduction Right-Hilbert bimodules The categories The functors The natural equivalences Applications Appendix A. Crossed products by actions and coactions Appendix B. The imprimitivity theorems of Green and Mansfield Appendix C. function spaces Appendix. Bibliography.