20/04/12 14:00:57 hAg37Ryy.net
>>27
つづき
If one then has some other isomorphism, then it can be turned into an automorphism of X’ (say).
Consider the case one has some diagram12 X: D → C of objects where all the objects X(d) in the image of the diagram are known to be isomorphic to a fixed object Xo.
Then given an isomorphic diagram X’ : D → C, via some given natural isomorphism a : X ~→ X’,
and where X’(d) = X’ for all d ∈ D, there is a canonical isomorphism colim X '~= colim X’.
There is no g