今回は Heyting 代数の性質についてもう少し詳し見ていきます. 以下 は Heyting 代数とし, とします.
1.
より明らか.
2. ならば
より.
3.
函手 が極限を保つことから従う.
4.
と から
により
よって
分配圏の性質としても導くことができる.
5.
と から従う.
6.
と から従う.
7.
圏論の冪の性質から従う.
今回は Heyting 代数の性質についてもう少し詳し見ていきます. 以下 は Heyting 代数とし, とします.
1.
より明らか.
2. ならば
より.
3.
函手 が極限を保つことから従う.
4.
と から
により
よって
分配圏の性質としても導くことができる.
5.
と から従う.
6.
と から従う.
7.
圏論の冪の性質から従う.