Comultiplication
Definition
Suppose is a based topological space. A comultiplication on this space is a continuous based map:
where denotes the wedge sum of topological spaces ans continuous based map means continuous map that sends basepoint to basepoint.