線形代数の基底まわりの一意性の議論は
圏論的に見たほうがわかりやすいかもしれんね。