Geodesic
Gaps and dualities in Heyting categories
Commentationes Mathematicae Universitatis Carolinae, Tome 48 (2007) no. 1, pp. 9-23 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

We present an algebraic treatment of the correspondence of gaps and dualities in partial ordered classes induced by the morphism structures of certain categories which we call Heyting (such are for instance all cartesian closed categories, but there are other important examples). This allows to extend the results of [14] to a wide range of more general structures. Also, we introduce a notion of combined dualities and discuss the relation of their structure to that of the plain ones.
We present an algebraic treatment of the correspondence of gaps and dualities in partial ordered classes induced by the morphism structures of certain categories which we call Heyting (such are for instance all cartesian closed categories, but there are other important examples). This allows to extend the results of [14] to a wide range of more general structures. Also, we introduce a notion of combined dualities and discuss the relation of their structure to that of the plain ones.
Classification : 05C65, 05C75, 05C99, 06D20, 18D15
Keywords: Heyting algebras; dualities and gaps; Heyting categories 
@article{CMUC_2007_48_1_a1,
     author = {Ne\v{s}et\v{r}il, J. and Pultr, A. and Tardif, C.},
     title = {Gaps and dualities in {Heyting} categories},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {9--23},
     year = {2007},
     volume = {48},
     number = {1},
     mrnumber = {2338826},
     zbl = {1199.18009},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_2007_48_1_a1/}
}
TY  - JOUR
AU  - Nešetřil, J.
AU  - Pultr, A.
AU  - Tardif, C.
TI  - Gaps and dualities in Heyting categories
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 2007
SP  - 9
EP  - 23
VL  - 48
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/CMUC_2007_48_1_a1/
LA  - en
ID  - CMUC_2007_48_1_a1
ER  - 
%0 Journal Article
%A Nešetřil, J.
%A Pultr, A.
%A Tardif, C.
%T Gaps and dualities in Heyting categories
%J Commentationes Mathematicae Universitatis Carolinae
%D 2007
%P 9-23
%V 48
%N 1
%U http://geodesic.mathdoc.fr/item/CMUC_2007_48_1_a1/
%G en
%F CMUC_2007_48_1_a1
Nešetřil, J.; Pultr, A.; Tardif, C. Gaps and dualities in Heyting categories. Commentationes Mathematicae Universitatis Carolinae, Tome 48 (2007) no. 1, pp. 9-23. http://geodesic.mathdoc.fr/item/CMUC_2007_48_1_a1/