関手は、圏の各対象を異なる圏の対象に割り当てる対象関数と
圏の射を異なる圏の射に割り当てる射関数の組みのこと
自然変換は、関手をF、G：C → D とすると、
Cの各対象に対してDの射を割り当てる対応θのことで、
各射ｆ：A->Bに対して自然性条件 θB・F(f) = G(f)・θAをみたすもの