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!

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

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