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.
β¦ LIBER β¦
Induced functors on categories of algebras
β Scribed by Jean-Pierre Meyer
- Publisher
- Springer-Verlag
- Year
- 1975
- Tongue
- French
- Weight
- 648 KB
- Volume
- 142
- Category
- Article
- ISSN
- 0025-5874
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Functor category dualities for varieties
β
B.A. Davey; M.R. Talukder
π
Article
π
2003
π
Elsevier Science
π
English
β 228 KB
Functors between categories of three-val
β
Afrodita Iorgulescu
π
Article
π
1984
π
Elsevier Science
π
English
β 361 KB
Monoidal functors on the category of rep
β
Diming Lu
π
Article
π
1998
π
SP Science China Press
π
English
β 549 KB
Some Categorical Algebraic Properties: C
β
Dali Zangurashvili
π
Article
π
2005
π
Springer
π
English
β 180 KB
Galois Algebras and Monoidal Functors be
β
A.A Davydov
π
Article
π
2001
π
Elsevier Science
π
English
β 194 KB
We use relations between Galois algebras and monoidal functors to describe monoidal functors between categories of representations of finite groups. We pay special attention to two kinds of these monoidal functors: monoidal functors to vector spaces and monoidal equivalences between categories of re
A functor between categories of regular
β
William Crawley-Boevey; Otto Kerner
π
Article
π
1994
π
Springer
π
English
β 349 KB