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?(adsbygoogle = window.adsbygoogle || []).push({});

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.

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# What is the coproduct of structures?

**Physics Forums | Science Articles, Homework Help, Discussion**