definition of wedge sum of pointed maps
Topics
About: set
The table of contents of this article
Starting Context
- The reader knows a definition of map.
- The reader knows a definition of wedge sum of pointed sets.
Target Context
- The reader will have a definition of wedge sum of pointed maps.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
\( \{(S_\alpha, p_\alpha) \vert \alpha \in A\}\): \(\subseteq \{\text{ the pointed sets }\}\), \(A \in \{\text{ the possibly uncountable index sets }\}\)
\( \vee_{\alpha \in A} S_\alpha\): \(= \text{ the wedge sum }\)
\( (S, p)\): \(\in \{\text{ the pointed sets }\}\)
\( \{f_\alpha \vert \alpha \in A\}\): \(f_\alpha: S_\alpha \to S\), \(\in \{\text{ the maps such that } f_\alpha (p_\alpha) = p\}\)
\(*\vee_{\alpha \in A} f_\alpha\): \(: \vee_{\alpha \in A} S_\alpha \to S\), \(= \text{ the canonical map that maps } [p_\alpha] \text{ to } p\)
//
Conditions:
//
