Revision #820 → #1305 · back to history
addedHomotopic functions36bd09b12fbd
addedHomotopy (formal)0b89eb28d70f
addedHomotopy as family of mapsf40080d73d78
addedTorus to coffee mug homotopycf35d7ab0b63
addedHomotopy is an equivalence relation64944d259d1e
addedCompatibility with composition6812c158c244
addedSimple homotopy between two maps6fc24c947ab9
addedLinear (straight-line) homotopy511a2f60ac47
addedIdentity to constant on n-diskd146456af262
addedHomotopy equivalenced46f4ef9c7d9
addedContractible space0f8de48e076b
addedHomeomorphism implies homotopy equivalence1fbd2443b3e8
addedDisk homotopy equivalent to pointd77f247f7fcd
addedMöbius strip and untwisted stripa1a054e106fd
addedEuclidean space contractible to pointb22a3fce316e
addedHomotopy equivalence for 1-sphere7824cfe9236a
addedFiber bundle with contractible fiber97cde3c300c1
addedVector bundles are fiber bundles49fbb6af4548
addedContractible subcomplex quotient8962452c51d8
addedDeformation retraction is homotopy equivalenceb855d666b462
addedNull-homotopicfcf00bed2de4
addedNull-homotopic circle maps extend to disk07784bda8c40
addedContractibility via null-homotopic identitya52622671233
addedHomotopy invariants of equivalent spaces49ca77e4255f
addedCompactly supported homology is not invariant00f12b32d321
addedHomotopy relative to a subspacee7afefc55749
addedStrong deformation retracte96b9f43fa40
addedPointed homotopyd5c637bfc2dd
addedReflection is homotopic but not isotopic to identity83ffb01cc689
addedAlexander's trick3b590199e9a2
addedKnot equivalence via ambient isotopyfe132075a534
addedSmooth isotopy759bc40adfc6
addedTimelike homotopybd926711e97c
addedCTCs not null timelike homotopicb964c32a54e6
addedHomotopy lifting property19eca1b92291
addedHomotopy extension property94e3b2a5f206
addedHomotopy groups1ab962636315
addedFundamental group9917d8aa075b
addedHomotopy category01dbcf21272c
addedIsomorphism in homotopy category0ab51e65e9db
addedHomology as functorial homotopy invariant406bdbfb22af
addedEilenberg–MacLane representability5f36f935df57
addedHopf–Whitney theorem1f049ee94bf3