構造と性質の違い

構造と性質の違い

距離空間と距離化可能空間を区別せよ的な話

加法圏は構造だがアーベル圏は性質