Jason (jcreed) wrote,
Jason
jcreed

-

Is there any categorical way of going from
relations f and g (which are monomorphisms
f : X >-> A x B and g : Y >-> B x C in *Sets)
to the composite relation h : Z >-> A x C ?

It would be interesting if one could form
relations on arbitrary categories and compose
them. I suppose a corelation would be an
epic from a coproduct to an arbitrary object,
like A + B ->> X . It works sort of like
identification of objects of A and B (??)
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments