The Theory of Quantaloids