28 search results - page 1 / 6 » Cartesian closed Dialectica categories |
APAL
2008
13 years 4 months ago
2008
When G
MSCS
2006
13 years 5 months ago
2006
We present a Cartesian closed category ELoc of equilocales, which contains the category Loc of locales as a reflective full subcategory. The embedding of Loc into ELoc preserves p...
ICCS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...
DMTCS
2006
13 years 5 months ago
2006
MFCS
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We recently introduced an extensional model of the pure λcalculus living in a cartesian closed category of sets and relations. In this paper, we provide sufficient condi...