Results 1 to 2 of 2

Math Help - Representing Ternary and Higher-Arity Relations in Category Theory

  1. #1
    Newbie
    Joined
    Dec 2012
    From
    Illinois
    Posts
    1

    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!
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Apr 2005
    Posts
    16,413
    Thanks
    1852

    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?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Groups in Category Theory
    Posted in the Advanced Algebra Forum
    Replies: 12
    Last Post: November 28th 2011, 08:37 AM
  2. Question on Category Theory
    Posted in the Advanced Math Topics Forum
    Replies: 6
    Last Post: June 20th 2010, 03:10 PM
  3. Help on Category Theory
    Posted in the Advanced Algebra Forum
    Replies: 16
    Last Post: November 18th 2009, 10:24 PM
  4. Category Theory
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: September 27th 2009, 11:41 PM
  5. Help w/ Proof in Category Theory
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: January 6th 2009, 06:53 PM

Search Tags


/mathhelpforum @mathhelpforum