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."