dział topologii algebraicznej powiązany z teorią homologii