論理学方面の関心から束論について勉強したいと思うようになったので,このシリーズでまとめます.束は代数構造の一種で,論理の意味論を組むときに出てくるブール代数やハイティング代数などの代数構造は束として表されます.束について理解すると論理学の…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。