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