872コメント231KB

圏論 / カテゴリー論 / Category Theory 3

■ このスレッドは過去ログ倉庫に格納されています

0701１３２人目の素数さん

2008/03/24(月) 22:45:58

「圏論と論理学」読んでる人へ。
91pで偽を定義してるとこ。
この定義だと、偽と真が等しい矢であることもありえるんだよね？？

■ このスレッドは過去ログ倉庫に格納されています