- #1
phoenixthoth
- 1,605
- 2
How to "amalgamate" a family of structures?
Given a collection of structures all using the same language, is there a way to come up with a structure C such that each given structure is, in any sense, a "subobject" of C?
Right now I'm looking at coproducts to see if that will help. Please see the attached pdf.
Given a collection of structures all using the same language, is there a way to come up with a structure C such that each given structure is, in any sense, a "subobject" of C?
Right now I'm looking at coproducts to see if that will help. Please see the attached pdf.