Exponentiable monomorphisms in categories of domains
... given f : X → B, the functor (−) × f may not exist in ContD (or in ContL), which are not categories with finite limits (see [3]). In the category of continuous lattices, given a monomorphism f , the functor (−)× f exists if and only if f is an isomorphism (see Proposition 2.3.) But, if we take f in ...
... given f : X → B, the functor (−) × f may not exist in ContD (or in ContL), which are not categories with finite limits (see [3]). In the category of continuous lattices, given a monomorphism f , the functor (−)× f exists if and only if f is an isomorphism (see Proposition 2.3.) But, if we take f in ...
Quotient spaces
... exercise to show that π : (X, TX ) → (Y, TY ) is a quotient map if and only if TY = TX/π . We postpone the exploration of concrete examples of quotient spaces for the moment and instead turn to some general properties of quotient spaces. Proposition 8.5. Let (X, TX ) be a topological space, let π : ...
... exercise to show that π : (X, TX ) → (Y, TY ) is a quotient map if and only if TY = TX/π . We postpone the exploration of concrete examples of quotient spaces for the moment and instead turn to some general properties of quotient spaces. Proposition 8.5. Let (X, TX ) be a topological space, let π : ...
basic topology - PSU Math Home
... progressions (non-constant and infinite in both directions). Prove that this defines a topology which is neither discrete nor trivial. E XERCISE 1.1.4. Define Zariski topology in the set of real numbers by declaring complements of finite sets to be open. Prove that this defines a topology which is c ...
... progressions (non-constant and infinite in both directions). Prove that this defines a topology which is neither discrete nor trivial. E XERCISE 1.1.4. Define Zariski topology in the set of real numbers by declaring complements of finite sets to be open. Prove that this defines a topology which is c ...
4. Connectedness 4.1 Connectedness Let d be the usual metric on
... (ii) If A is open in Y (in the subspace topology on Y ) and Y is an open subset of X then S is an open subset of X. (iii) If A is closed in Y (in the subspace topology on Y ) and Y is a closed subset of X then A is a closed subset of X. T (i) Suppose A is closed in Y (in the subspace topology). Then ...
... (ii) If A is open in Y (in the subspace topology on Y ) and Y is an open subset of X then S is an open subset of X. (iii) If A is closed in Y (in the subspace topology on Y ) and Y is a closed subset of X then A is a closed subset of X. T (i) Suppose A is closed in Y (in the subspace topology). Then ...
PDF
... Call a set X with a closure operator defined on it a closure space. Every topological space is a closure space, if we define the closure operator of the space as a function that takes any subset to its closure. The converse is also true: Proposition 1. Let X be a closure space with c the associated ...
... Call a set X with a closure operator defined on it a closure space. Every topological space is a closure space, if we define the closure operator of the space as a function that takes any subset to its closure. The converse is also true: Proposition 1. Let X be a closure space with c the associated ...