Completion of Boolean algebras in MSet (Q1035677)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Completion of Boolean algebras in MSet |
scientific article |
Statements
Completion of Boolean algebras in MSet (English)
0 references
4 November 2009
0 references
The aim of this paper is to study the general notion of an internally complete poset in a topos, in the sense of Johnstone, and to use it to give minimal normal completions for \(M\)-Boolean algebras (Boolean algebras with an action of a monoid \(M\) on them).
0 references
Boolean algebra
0 references
\(M\)-set
0 references
completion
0 references
