Dualities and dual pairs in Heyting algebras (Q603889)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Dualities and dual pairs in Heyting algebras |
scientific article |
Statements
Dualities and dual pairs in Heyting algebras (English)
0 references
8 November 2010
0 references
Finite dualities appeared in the categorical context of dual characterizations of various classes of structures [\textit{J. Nešetřil} and \textit{A. Pultr}, Discrete Math. 22, No.~3, 287--300 (1978; Zbl 0388.05039)]. Its idea is to characterize a given class of structures both by forbidden substructures (associated with subobjects) and by decompositions (associated with factor objects). In the paper, finite dualities in the categorical context are discussed. The authors aim at pointing out those categories in which one can describe finite dualities using the interplay of general categorical and order-theoretical concepts and techniques.
0 references
homomorphisms
0 references
structural theorems in combinatorics
0 references
good characterization
0 references
finite duality
0 references
0 references
0 references
0 references