Dragi študenti!
Na predavanjih sem se pozabil obregniti ob homotopsko invariantnost homologije, kar je vsekakor ena od motivacijskih lastnosti.
Kolega Pelaič me je danes opozoril, da to ni videti iz aksiomov, ki sem jih napisal pri predavanjih, za kar se mu toplo zahvaljujem.
Izkaže se, da je aksiom homotopije, kot sem ga napisal, ekvivalenten "običajnemu" aksiomu, namreč da homotopni preslikavi parov inducirata isti morfizem stopničenih modulov. O tej ekvivalenci sem v Učilnico pripel kratek sestavek.
Različica na predavanjih se je zgodila po (ne)sreči. K sreči je vseeno prav, ampak sporočilo, da gre za homotopske funktorje, je manjkalo.
Lep pozdrav,
Jaka Smrekar