جبرهای هومولوژیک و ساختارهای جبری در نظریه کویورها