Comultiplication

From Topospaces

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.