Category hTop*

1. Definition

The category \(\mathrm{hTop*}\) contains

  1. based spaces \((X,x_0)\) as objects
  2. pointed homotopy equivalence classes as morphisms

2. welldefined

see: composition of pointed homotopies

Category hTop

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 19:06