category of linear maps between fixed vector spaces
61616
category of linear maps
94844
Unitary map between sets of vectors
152379
If $V_1, V_2$ are $\mathbb{Q}$-vector spaces and $f \colon V_1 \to V_2$ is additive, then $f$ is $\mathbb{Q}$-linear
154724
Every vector space has a basis
61593
Adjoint map is Lie homomorphism
43503
Bases of complex vector spaces and the axiom of choice
48990
Linear map $f:V\rightarrow V$ injective $\Longleftrightarrow$ surjective
121636
General linear group of a vector space
44710
Vector space of real vectors over field complex scalars.
33129
A linear map $S:Y^*\to X^*$ is weak$^*$ continuous if and only if $S=T^*$ for som $T\in B(X,Y)$
139779
Homotopic maps have homotopy equivalent mapping cones
110654
Vector Spaces and AC
106670
Existence of vector space complement and axiom of choice
38033
A surjective linear map into a finite dimensional space is open
143467
Continuous maps between compact manifolds are homotopic to smooth ones
43456
Can the category of chain complexes be realized as a functor category?
58572
Prove two commutative linear transformations on a vector space over an algebraically closed field can be simultaneously triangularized