Given a map f in the category w-Cpo of w-complete posets, exponentiability of f in w-Cpo easily implies exponentiability of f in the category Pos of posets, while the converse is not true. We find then the extra conditions needed on f exponentiable in Pos to be exponentiable in w-Cpo, showing the existence of partial products of the two-point ordered set S = {0 < 1} (Theorem 1.8). Using this characterization and the embedding via the Scott topology of w-Cpo in the category Top of topological spaces, we can compare exponentiability in each setting, obtaining that a morphism in w-Cpo, exponentiable both in Top and in Pos, is exponentiable also in w-Cpo. Furthermore we show that the exponentiability in Top and in Pos are independent from each other.
Exponentiable morphisms of domains / F. Cagliari; S. Mantovani. - In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. - ISSN 0960-1295. - STAMPA. - 18:(2008), pp. 1005-1016. [10.1017/S0960129508006786]
Exponentiable morphisms of domains
CAGLIARI, FRANCESCA;
2008
Abstract
Given a map f in the category w-Cpo of w-complete posets, exponentiability of f in w-Cpo easily implies exponentiability of f in the category Pos of posets, while the converse is not true. We find then the extra conditions needed on f exponentiable in Pos to be exponentiable in w-Cpo, showing the existence of partial products of the two-point ordered set S = {0 < 1} (Theorem 1.8). Using this characterization and the embedding via the Scott topology of w-Cpo in the category Top of topological spaces, we can compare exponentiability in each setting, obtaining that a morphism in w-Cpo, exponentiable both in Top and in Pos, is exponentiable also in w-Cpo. Furthermore we show that the exponentiability in Top and in Pos are independent from each other.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.