2005-03-28 カテゴリー論(3) 読書会 今日もまだ領域理論。代数的完備束の各点に対してそれ以下のコンパクトな要素の集合を割り当てると、それはその束と同型な代数的閉包となる。これはストーン双対の一例なのか。次回からいよいよカテゴリーの予定。