定義 要素圏 に対し、要素圏 を次のように定義する。 (1) 対象は ただし 、 。 (2) 射 は 、 となる 。 反変関手に対しては、 に対し、要素圏 を次のように定義する。 (1) 対象は ただし 、 。 (2) 射 は 、 となる 。 一般に を決めれば、当然 となる も決…