2009-02-12から1日間の記事一覧

表現可能関手

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