| Popis: |
In those situations where separation is absent, given a T -object X, the proof of the statement involves some modification of a natural "completion" process. In order to construct an embedding of X into some S-object, one starts from a natural initial morphism f : X ? Y into some S-object Y , one replaces itbysomeembeddingj:X?Y? andoneprovesthatY isinSiffY? is. Recently in [3] this construction was carried out in detail in the context of merotopological spaces. In the main theorem of this paper we show that such a procedure works even in the general setting of topological constructs. We give a precise formu- lation of what is meant by "replacing an initial morphism by an embedding, without loss of generality". |
