Category talk:Invariant subspaces