Let A be a ΓΏnitely generated variety of Heyting algebras and let SI(A) be the class of subdirectly irreducible algebras in A. We prove that A is dually equivalent to a category of functors from SI(A) into the category of Boolean spaces. The main tool is the theory of multisorted natural dualities.
A duality for polynomial functors
β Scribed by Vincent Franjou; Jeffrey H. Smith
- Publisher
- Elsevier Science
- Year
- 1995
- Tongue
- English
- Weight
- 416 KB
- Volume
- 104
- Category
- Article
- ISSN
- 0022-4049
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
In f 1 we introduce the concept of V-semi-identifying lift (V-semi-idt. lift) generalizing our concept of V-idt. lift [8], whose specific properties we want to discuss in another paper, and at the same time generalizing WYLER'S concept of V-proclusion pair [is]. We characterize those functors V : C
A completion functor is constructed on a completion subcategory of the category of ordered CAUCHY spaces which preserves regularity, total boundedness, and uniformizability. Objects in the completion subcategory include the uniformizoble ordered CAUCHY apacea and the c'-embedded CAUCEY spaces with d
A quantikr is introduced on the elements e, , . .". The sr;qtroid dual of this quantifier is sholvn to be identical with its logkal dual, and this provides an elegant reformulation of Minty's sd2lf+iual axiomatization of mat&is. This approach also provides a practical, and in a sense optimal, n~ans