Naïve set theory MOC

Constant map

A constant map is a map whose range consists of a single element . #m/def/general A map is constant iff it can be factored via the single point space, hence it always has the form where is the unique morphism.

Properties

Topology

• A homotopy between constant maps is a continuous path. Therefore, a space is path-connected iff all constant maps form a single homotopy class.
• A map is null-homotopic iff it is homotopy to a constant map

#state/tidy | #lang/en | #SemBr