2006-02-09 [長年日記]
λ. 反対圏の実現
檜山さんの「反対圏の実現」というエントリを読んで、以前に Linear Logic complements Classical Logic のエントリで書いた CABA が Set が反対圏になっているという話について思い出した。で、真面目に考えてたら、なんか妙に時間かかるし疲れた。俺ってこんなに頭の回転遅かったっけ……orz
それにしても束とかブール代数とか扱うのは久しぶり。 このあたり、あまり真面目に勉強したことないけど。
[ツッコミを入れる]
