表現可能関手

ブルバキは，構造つき集合という「機能をもつ実体」を構成要素として，数学を書き直すことを試みた．これに対しグロタンディークは，表現可能関手という「実体をもつ機能」を駆使して数学を書いていった．