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 - The Fusion of Science and Community**

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

# What is the coproduct of structures?

Loading...

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 |

**Physics Forums - The Fusion of Science and Community**