A technical mathematical object which bears the same resemblance to binary relations as Categories do to Functions and Sets.
