Jason (jcreed) wrote,


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 (??)

  • (no subject)

    More things to add to the "chord progressions that aren't cliches-I-already-know-about nonetheless covertly appearing in multiple places" file.…

  • (no subject)

    Consider the chord motion in Lights's "Cactus In The Valley" that happens around 49s in: v link goes here | F G C C | F G C C | F G Am D7 | F G…

  • (no subject)

    Cute little synth widget playground: https://blokdust.com/

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded