Thread: Representing Ternary and Higher-Arity Relations in Category Theory

If this is the wrong place for this post I apologize - I'm new to the forum. I'm having trouble with category theory. My background is in philosophy and I'm new to it. How does one represent a ternary relation like "John gave Wendy the Book" or "x inferred y from z" using category theory? I'm under the impression (perhaps naive) that it's difficult to represent higher-arity relations using arrows.

The closest thing that I can think of is F : John -> Wendy, G : Wendy -> Book and the composition as "John gave Wendy the Book."

Please help!

The first thing you should do is state what category you are using. That is, what are the objects and morphisms?