>>431
それは対象を関手、射を自然変換とする圏を考えたとき、
その二つの関手の間に同等射があるということ。

圏論では同等射があるとき同一視するというのはよくやること。