coprodukt in universelle algebra



  • Hallo!

    wie kann ich in der Kategorie von Algebren zu einer beliebigen Signatur Coprodukte bilden?
    In SET sind sind das ja disjunkte Vereinigungen. Wenn ich jedoch für die Trägermengen ebenfalls die disjunkte Vereinigung nehme, dann weiß ich nicht wie ich die Operationen im Coprodukt definieren soll.

    Weiß einer wie das geht?

    Danke im Voraus!


Log in to reply