>>41
いや，各ベクトル空間について基底を一つ決めたらwell-defってことだよ．
例がtrivialだというなら，それは申し訳ないけれど，圏の骨格という概念はそういうものだよ．
（もちろん，一般の圏同値が骨格になっているというわけではない．
ただ，圏同値と圏同型の違いを強調したかった．）
http://en.wikipedia.org/wiki/Skeleton_(category_theory)