Completion of Boolean algebras in MSet (Q1035677): Difference between revisions

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

zbMATH Keywords

Boolean algebra

0 references

\(M\)-set

0 references

completion

0 references

reviewed by

Dumitru Buşneag

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Q4693062

0 references

Q4083730

0 references

Categorial characterization of the MacNeille completion

0 references

The category of \(S\)-posets.

0 references

Algebra in a Grothendieck topos: Injectivity in quasi-equational classes

0 references

Internal completeness and injectivity of Boolean algebras in the topos of <i>M</i>-sets

0 references

Q4786538

0 references

Topoi. The categorial analysis of logic

0 references

Boolean Algebras with Operators. Part I

0 references

Boolean Algebras with Operators

0 references

Q4145861

0 references

Q3889051

0 references

Monoids, acts and categories. With applications to wreath products and graphs. A handbook for students and researchers

0 references

Minimally generated Boolean algebras

0 references

Internal injectivity of Boolean algebras in \({\mathcal{MS}}et\)

0 references

Chain-complete posets and directed sets with applications

0 references

Categories of chain-complete posets

0 references

Bases for Chain-complete Posets

0 references

Q4113999

0 references

Q4352752

0 references

Dynamic algebras: Examples, constructions, applications

0 references

A uniform approach to inductive posets and inductive closure

0 references

Identifiers

zbMATH Open document ID

1180.06012

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1035677

@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorial characterization of the MacNeille completion
+Normal rank
@@ Property / cites work @@
+The category of \(S\)-posets.
@@ Property / cites work: The category of \(S\)-posets. / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra in a Grothendieck topos: Injectivity in quasi-equational classes
+Normal rank
@@ Property / cites work @@
+Internal completeness and injectivity of Boolean algebras in the topos of <i>M</i>-sets
+Normal rank
@@ Property / cites work @@
+Q4786538
@@ Property / cites work: Q4786538 / rank @@
+Normal rank
@@ Property / cites work @@
+Topoi. The categorial analysis of logic
@@ Property / cites work: Topoi. The categorial analysis of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators
@@ Property / cites work: Boolean Algebras with Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145861
@@ Property / cites work: Q4145861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3889051
@@ Property / cites work: Q3889051 / rank @@
+Normal rank
@@ Property / cites work @@
+Monoids, acts and categories. With applications to wreath products and graphs. A handbook for students and researchers
+Normal rank
@@ Property / cites work @@
+Minimally generated Boolean algebras
@@ Property / cites work: Minimally generated Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Internal injectivity of Boolean algebras in \({\mathcal{MS}}et\)
+Normal rank
@@ Property / cites work @@
+Chain-complete posets and directed sets with applications
+Normal rank
@@ Property / cites work @@
+Categories of chain-complete posets
@@ Property / cites work: Categories of chain-complete posets / rank @@
+Normal rank
@@ Property / cites work @@
+Bases for Chain-complete Posets
@@ Property / cites work: Bases for Chain-complete Posets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4113999
@@ Property / cites work: Q4113999 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4352752
@@ Property / cites work: Q4352752 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic algebras: Examples, constructions, applications
+Normal rank
@@ Property / cites work @@
+A uniform approach to inductive posets and inductive closure
+Normal rank