In a completely analogous way, one can also consider the category of all contravariant functors from C to D; we write this as Funct(Cop,D).
全く同様に、C から D への反変関手全体の圏を考えることもできる；これはFunct(Cop, D) と書かれる。