Vector bundle is homotopy equivalence
115215
De Rham Cohomology of the tangent bundle of a manifold
143467
Continuous maps between compact manifolds are homotopic to smooth ones
131993
Prove that vector space and dual space have same dimension
99689
Zeroth homotopy group: what exactly is it?
10679
Equivalence of Categories and of Their Functor Categories
135369
Equivalence between derived categories preserve distinguished triangles
52729
Homotopic maps $(X, A) \to (Y, B)$ induce homotopic maps $X/A \to X/B$
62711
Canonical map $R/(I\cap J)\rightarrow R/I\times _{R/(I+J)} R/J$ is an isomorphism
143138
All models of $\mathsf{ZFC}$ between $V$ and $V[G]$ are generic extensions of $V$
133413
Proof of paracompactness of CW-complexes (J. Lee, Introduction to Topological Manifolds)
56364
Confusion about Homotopy Type Theory terminology
4240
The proof of Triple Vector Products
117877
Are homotopy equivalent path-connected spaces homotopy equivalent as pointed spaces?
50892
Vector bundle and principal bundle
99350
Are two norms equivalent if they induce the same topology on a vector space?
136202
Is a loop in $X$ based at $a\in X$ homotopic to its reverse loop?
150987
Showing that the product and metric topology on $\mathbb{R}^n$ are equivalent