Results 1 
9 of
9
The Convergence Approach to Exponentiable Maps
 352 MARIA MANUEL CLEMENTINO, DIRK HOFMANN AND WALTER
, 2000
"... Exponentiable maps in the category Top of topological spaces are characterized by an easy ultrafilterinterpolation property, in generalization of a recent result by Pisani for spaces. From this characterization we deduce that perfect (= proper and separated) maps are exponentiable, generalizing the ..."
Abstract

Cited by 11 (8 self)
 Add to MetaCart
(Show Context)
Exponentiable maps in the category Top of topological spaces are characterized by an easy ultrafilterinterpolation property, in generalization of a recent result by Pisani for spaces. From this characterization we deduce that perfect (= proper and separated) maps are exponentiable, generalizing the classical result for compact Hausdorff spaces. Furthermore, in generalization of the WhiteheadMichael characterization of locally compact Hausdorff spaces, we characterize exponentiable maps of Top between Hausdorff spaces as restrictions of perfect maps to open subspaces.
The Hurwitz Action and Braid Group Orderings
 Theory Appl. Categ
, 2001
"... In connection with the socalled Hurwitz action of homeomorphisms in ramified covers we define a groupoid, which we call a ramification groupoid of the 2sphere, constructed as a certain path groupoid of the universal ramified cover of the 2sphere with finitely many markedpoints. Our approach to ra ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
(Show Context)
In connection with the socalled Hurwitz action of homeomorphisms in ramified covers we define a groupoid, which we call a ramification groupoid of the 2sphere, constructed as a certain path groupoid of the universal ramified cover of the 2sphere with finitely many markedpoints. Our approach to ramified covers is based on cosheaf spaces, which are closely related to Fox's complete spreads. A feature of a ramification groupoid is that it carries a certain order structure. The Artin group of braids of n strands has an orderinvariant action in the ramification groupoid of the sphere with n + 1 markedpoints. Leftinvariant linear orderings of the braid group such as the Dehornoy ordering may be retrieved. Our work extends naturally to the braid group on countably many generators. In particular, we show that the underlying set of a free group on countably many generators (minus the identity element) can be linearly ordered in such a way that the classical Artin representation of a braid as an automorphism of the free group is an orderpreserving action.
Exponentiability Of Perfect Maps: Four Approaches
, 2002
"... Two proofs of the exponentiability of perfect maps are presented and compared to two other recent approaches. One of the proofs is an elementary approach including a direct construction of the exponentials. The other, implicit in the literature, uses internal locales in the topos of setvalued sh ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
(Show Context)
Two proofs of the exponentiability of perfect maps are presented and compared to two other recent approaches. One of the proofs is an elementary approach including a direct construction of the exponentials. The other, implicit in the literature, uses internal locales in the topos of setvalued sheaves on a topological space.
EXPONENTIABILITY VIA DOUBLE CATEGORIES
"... Cat is the double category of small categories, functors, and profunctors. In [19], we generalized this equivalence to certain double categories, in the case where B is a finite poset. In [23], Street showed that Y � B is exponentiable in Cat/B if and only if the corresponding normal lax functor B � ..."
Abstract
 Add to MetaCart
(Show Context)
Cat is the double category of small categories, functors, and profunctors. In [19], we generalized this equivalence to certain double categories, in the case where B is a finite poset. In [23], Street showed that Y � B is exponentiable in Cat/B if and only if the corresponding normal lax functor B � Cat is a pseudofunctor. Using our generalized equivalence, we show that a morphism Y � B is exponentiable in D0/B if and only if the corresponding normal lax functor B � D is a pseudofunctor plus an additional condition that holds for all X �!B in Cat. Thus, we obtain a single theorem which yields characterizations of certain exponentiable morphisms of small categories, topological spaces, locales, and posets. 1.
Under consideration for publication in Math. Struct. in Comp. Science Exponentiable morphisms of domains
, 2008
"... converse is not true. We find then the extra conditions needed on f exponentiable in Pos to be exponentiable in ωCpo, showing the existence of partial products of the twopoint ordered set S = {0 < 1} (Theorem 1.8). Using this characterization and the embedding via the Scott topology of ωCpo in ..."
Abstract
 Add to MetaCart
converse is not true. We find then the extra conditions needed on f exponentiable in Pos to be exponentiable in ωCpo, showing the existence of partial products of the twopoint ordered set S = {0 < 1} (Theorem 1.8). Using this characterization and the embedding via the Scott topology of ωCpo in the category Top of topological spaces, we can compare exponentiability in each setting, obtaining that a morphism in ωCpo, exponentiable both in Top and in Pos, is exponentiable also in ωCpo. Furthermore we show that the exponentiability in Top and in Pos are independent from each other.
EXPONENTIABILITY IN LAX SLICES OF TOP
"... We consider exponentiable objects in lax slices of Top with respect to the specialization order (and its opposite) on a base space B. We begin by showing that the lax slice over B has binary products which are preserved by the forgetful functor to Top if and only if B is a meet (respective, join) se ..."
Abstract
 Add to MetaCart
We consider exponentiable objects in lax slices of Top with respect to the specialization order (and its opposite) on a base space B. We begin by showing that the lax slice over B has binary products which are preserved by the forgetful functor to Top if and only if B is a meet (respective, join) semilattice in Top, and go on to characterize exponentiability over a complete Alexandrov space B. 1.
Abstract. EXPONENTIABILITY IN LAX SLICES OF TOP
"... We consider exponentiable objects in lax slices of Top with respect to the specialization order (and its opposite) on a base space B. We begin by showing that the lax slice over B has binary products which are preserved by the forgetful functor to Top if and only if B is a meet (respective, join) se ..."
Abstract
 Add to MetaCart
We consider exponentiable objects in lax slices of Top with respect to the specialization order (and its opposite) on a base space B. We begin by showing that the lax slice over B has binary products which are preserved by the forgetful functor to Top if and only if B is a meet (respective, join) semilattice in Top, and go on to characterize exponentiability over a complete Alexandrov space B. 1.
Change Of Base For Relational Variable Sets
, 2004
"... Following [5], a relational variable set on a category B is a lax functor Rel, where Rel is the category of sets and relations. Changeofbase functors and their adjoints are considered for certain categories of relational variable sets and applied to construct the simplification of a dynamic set ..."
Abstract
 Add to MetaCart
Following [5], a relational variable set on a category B is a lax functor Rel, where Rel is the category of sets and relations. Changeofbase functors and their adjoints are considered for certain categories of relational variable sets and applied to construct the simplification of a dynamic set (in the sense of [11]). 1.