ここでformula_69は、集合formula_70をformula_71に対応付ける関手である。