トップ «前の日記(2006-02-06) 最新 次の日記(2006-02-12)» 月表示 編集

日々の流転


2006-02-09 [長年日記]

λ. 反対圏の実現

檜山さんの「反対圏の実現」というエントリを読んで、以前に Linear Logic complements Classical Logic のエントリで書いた CABA が Set が反対圏になっているという話について思い出した。で、真面目に考えてたら、なんか妙に時間かかるし疲れた。俺ってこんなに頭の回転遅かったっけ……orz

それにしても束とかブール代数とか扱うのは久しぶり。 このあたり、あまり真面目に勉強したことないけど。

Introduction to Lattices and Order(B. A. Davey/H. A. Priestley)

Tags: 圏論