表現可能函手
representable functor
圈$ \bf Cを局所的に小さな (localy small) 圈とする。對象$ X_{\in|{\bf C}|}に就いて、Hom$ {\bf C}(-,X),$ {\bf C}(X,-)はそれぞれ集合である。圈$ \bf Cの全ての對象に就いて、對應$ X\mapsto{\bf C}(-,X)によって得られる集合の圈$ \bf Setへの函手$ {\bf C}\to{\bf Set}、または、對應$ X\mapsto{\bf C}(X,-)によって得られる集合の圈$ \bf Setへの函手$ {\bf C}\to{\bf Set}を、表現可能函手と呼ぶ 米田の補題