初歩の位相空間論にカテゴリーを持ち出すなど無意味。