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:

Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Threads - coproduct structures Date
Logical structure of definitions Sep 8, 2015
Structure of generated sigma algbra Mar 12, 2015
Structure Function Help Jun 7, 2014
Coproduct , direct sum Aug 14, 2011
Category theory : product and coproduct Aug 14, 2011