The naive homotopy category (denoted ), is made of:
- objects that are Topological Space, and
- morphisms that are homotopy classes of Continuous Map
- two maps are considered the same if they can be connected by a Homotopy Theory. This approach turns homotopy equivalence into categorical isomorphism, giving rise to homotopy-invariant concepts such as homology and Homotopy Group.