>>420
?
自然同値は二つの関手の間の同型。