Categorical De Morgan laws (Q1164129)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Categorical De Morgan laws |
scientific article |
Statements
Categorical De Morgan laws (English)
0 references
1981
0 references
Heyting algebra
0 references
bicartesian closed category
0 references
De Morgan laws
0 references
Boolean algebras
0 references
