Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

What is the coproduct of structures?

  1. May 13, 2012 #1
    Suppose S is a family of L-structures where L is some collection of constant symbols, relation symbols, and function symbols. Does the coproduct of elements of S exist?

    If not, how does one prove it?

    If yes, how is the coproduct defined? Are the maps from elements of S to the coproduct all monic?

    If you are aware of references related to this question, I would be happy to know them.

    Thanks in advance for your comments.
  2. jcsd
  3. May 17, 2012 #2
    I was wondering if the pdf I'm attaching answers my question...

    Attached Files:

Share this great discussion with others via Reddit, Google+, Twitter, or Facebook