圏論 / カテゴリー論 / Category Theory 3
■ このスレッドは過去ログ倉庫に格納されています
0607132人目の素数さん
2007/09/29(土) 19:45:39あぁ、ごめんなさい。
MacLane先生の
"The standard 'foundation' for mathematics starts with sets and
their elements. It is possible to start differently, by axiomatizing
not elements of sets but functions between sets."
--- S. MacLane, Mathematics: Form and Function
ってのを標語っぽくしてみただけです。
ごめんなさい。
■ このスレッドは過去ログ倉庫に格納されています