Composition as a relation?

Has there been any work on "categories" with composition as a relation instead of a function? We would allow several "composites" of two arrows but would likely require unique composition with the identity: f o id = {f} David