EPIREFLECTIVE SUBCATEGORIES AND SEMICLOSURE OPERATORS

ABSTRACT

Let C be a category of topological spaces and continuous functions which is full, hereditary and closed under homeomorphisms and products. If A is a subclass of C, let E(A) be the full subcategory of C whose objects are the subspaces in A. In this paper we characterize the epireflective subcategories of C containing A and contained in E(A) by introducing a “semiclosure” operator which is a generalization for the “idempotent semi-limit” operator introduced by S.S. Hong (see [5]) with respect to Top _o. In case A is extensive in C, so that E(A) = C, all the extensive subcategories of C containing A are thus characterized.     

SOME MODULES OVER A B*-ALGEBRA

Abstract

Some modules, ?_p (B) (1 < p < ∞), over a commutative B*-alge= bra with identity are discussed and these are seen to have properties similar to the Banach spaces ?_p (1 < p < ∞).     

On categorical notions of compact objects

Due to the nature of compactness, there are several interesting ways of defining compact objects in a category. In this paper we introduce and study an internal notion of compact objects relative to a closure operator (following the Borel-Lebesgue definition of compact spaces) and a notion of compact objects with respect to a class of morphisms (following Áhn and Wiegandt [2]). Although these concepts seem very different in essence, we show that, in convenient settings, compactness with respect to a class of morphisms can be viewed as Borel-Lebesgue compactness for a suitable closure operator. Finally, we use the results obtained to study compact objects relative to a class of morphisms in some special settings.Partial financial assistance by Centro de Matemática da Universidade de Coimbra and by a NATO Collaborative Grant (CRG 940847) is gratefully acknowledged.     

An elementary approach to ‘Algebra ∩ topology = compactness’

Herrlich and Strecker characterized the category Comp ₂ of compact Hausdorff spaces as the only nontrivial full epireflective subcategory in the category Top ₂ of all Hausdorff spaces that is concretely isomorphic to a variety in the sense of universal algebra including infinitary operations. The original proof of this result requires Noble's theorem, i.e. a space is compact Hausdorff iff every of its powers is normal, which is far from being elementary. Likewise, Petz' characterization of the class of compact Hausdorff spaces as the only nontrivial epireflective subcategory of Top ₂, which is closed under dense extensions (= epimorphisms in Top ₂) and strictly contained in Top ₂ is based on a result by Kattov stating that a space is compact Hausdorff iff its every closed subspace is H-closed. This note offers an elementary approach for both, instead.Presented at the European Colloquium of Category Theory, Tours, France, 25–31 July 1994.     

On factorization structures and epidense hulls

Characterizations of epidense subcategories of topological categories and of existence of epidense hulls have been described in [2, 3, 4]. In this paper a similar characterization is given in a much more general setting; for example the category need not have products. The relationship between finite factorization structures and existence of epidense hulls is investigated. It is found to be analogous to the relationship between general factorization structures and epireflective hulls.     

Some remarks on interior operators and the functional property

In this paper functoriality of the notion of categorical interior operator is discussed and as a related topic, the property of ?-modal interior operator is introduced.     

Hausdorff separation in categories

Considering subobjects, points and a closure operator in an abstract category, we introduce a generalization of the Hausdorff separation axiom for topological spaces: the notion ofT ₂-object. We discuss the properties ofT ₂-objects, which depend essentially on the behaviour of points, and finally we relate them to the well-known separated objects.The results of this paper are essentially taken from the author's Ph. D. Thesis written under the supervision of Professors M. Sobral and W. Tholen and partially supported by a scholarship of I.N.I.C.-Instituto Nacional de Investigação Científica.     

Strong inclusion orders between L-subsets and its applications in L-convex spaces

Abstract

In this paper, the concept of strong inclusion orders between L-subsets is introduced. As a tool, it is applied to the following aspects. Firstly, the notion of algebraic L-closure operators is proposed and the resulting category is shown to be isomorphic to the category of L-convex spaces (also called algebraic L-closure spaces). Secondly, restricted L-hull operators, as generalizations of restricted hull operators, are introduced and the resulting category is also proved to be isomorphic to the category of L-convex spaces. Finally, by using the properties of strong inclusion orders, it is shown that the category of convex spaces can be embedded in the category of stratified L-convex spaces as a reflective subcategory and the concrete form of the coreflective functor from the category of L-convex spaces to the category of stratified L-convex spaces is presented.     

DISCONNECTEDNESS

Abstract

There are three different ways to characterize To-spaces in the category of topological spaces. All three methods are canonical, i.e. they can be easily formulated in a general setting, where they, in general, do not coincide. In the following, the characterization of T₀-spaces by indiscrete spaces is generalized to an abstract category and investigated.     

TOPOLOGICAL CATEGORIES AND CLOSURE OPERATORS

Abstract

It is shown that the category CS of closure spaces is a topological category. For each epireflective subcategory A of a topological category X a functor F _A :X → X is defined and used to extend to the general case of topological categories some results given in [4], [5] and [10] for epireflective subcategories of the category Top of topological spaces.     

Zariski closure, completeness and compactness

The categorical theory of closure operators is used to introduce and study separated, complete and compact objects with respect to the Zariski closure operator naturally defined in any category X(A,Ω) obtained by a given complete category X (endowed with a proper factorization structure for morphisms) and by a given X-algebra (A,Ω) by forming the affine X-objects modelled by (A,Ω). Several basic examples are provided.     

LEGENDRE TRANSFORMATIONS AND CARTAN FORMS IN THE CALCULUS OF VARIATIONS OF MULTIPLE INTEGRALS

ABSTRACT

(PART II): In terms of a given Hamiltonian function the 1-form w = dH + ?_j|dπ^j is defined, where {?_j:j = 1,…, n} denotes an invariant basis of the planes of the distribution D_n. The latter is said to be canonical if w = 0 (which is analogous to the definition of Hamiltonian vector fields in symplectic geometry). This condition is equivalent to two sets of canonical equations that are expressed explicitly in term of the derivatives of H with respect to its positional arguments. The distribution D_n is said to be pseudo-Lagrangian if dπ^j(?_j,V_h) = 0; if D_n, is both canonical and pseudo-Lagrangian it is integrable and such that H = const. on each leaf of the resulting foliation. The Cartan form associated with this construction [9] is defined a II = π² ? ? πⁿ. If π is closed, the distribution D_N is integrable, and the exterior system {π^j} admits the representation ψ^j = dS^j in terms of a set of 0-forms S^j on M. If, in addition, the distribution D_N is canonical, these functions satisfy a single first order Hamilton-Jacobi equation, and conversely. Finally, a complete figure is constructed on the basis of the assumptions that (i) the Cartan form be closed, and (ii) that the distribution D_n, be both canonical and integrable. The last of these requirements implies the existence of N functions ψ^A that depend on x^h and N parameters w^B, whose derivatives are given by ?ψ^A (x^h, w^B)/?x^j = B^A _j (x^h, ψ^B (x^h,w^B)). The complete figure then consists of two complementary foliations: the leaves of the first are described by the functions ψ^A and satisfy the standard Euler-Lagrange equations, while the second, that is, the transversal foliation, is represented by the aforementioned solution of the Hamilton-Jacobi equation. The entire configuration then gives rise in a natural manner to a generalized Hilbert independent integral and consequently also to a generalized Weierstrass excess function.     

A NOTE ON REGULAR AND EXTREYAL SUBOBJECTS

ABSTRACT

In the general setting of a complete, well-powered category A, we define and study two universal closure operations: regularization and extremalization, by means of regular and extremal subobjects of A. respectively. A general theorem of characterization of epimorphisms in A is given. When A is an epireflective subcategory of TOP, such operations are shown to coincide with A-closure [11] and epiclosure [2]. respectively. In the topological contest, regularization and extremalization are studied in detail and compared with r-closure, defined in [13].     

The enriched Vietoris monad on representable spaces

Employing a formal analogy between ordered sets and topological spaces, over the past years we have investigated a notion of cocompleteness for topological, approach and other kind of spaces. In this new context, the down-set monad becomes the filter monad, cocomplete ordered set translates to continuous lattice, distributivity means disconnectedness, and so on. Curiously, the dual(?) notion of completeness does not behave as the mirror image of the one of cocompleteness; and in this paper we have a closer look at complete spaces. In particular, we construct the “up-set monad” on representable spaces (in the sense of L. Nachbin for topological spaces, respectively C. Hermida for multicategories); we show that this monad is of Kock–Zöberlein type; we introduce and study a notion of weighted limit similar to the classical notion for enriched categories; and we describe the Kleisli category of our “up-set monad”. We emphasise that these generic categorical notions and results can be indeed connected to more “classical” topology: for topological spaces, the “up-set monad” becomes the lower Vietoris monad, and the statement “X   is totally cocomplete if and only if X^op$X^{\mathrm{op}}$ is totally complete” specialises to O. Wyler's characterisation of the algebras of the Vietoris monad on compact Hausdorff spaces as precisely the continuous lattices.     

ON EPIDENSE SUBCATEGORIES OF TOPOLOGICAL CATEGORIES

Dense subcategories were introduced by S. Marde?i? for an inverse system approach to (categorical) shape theory.

In this paper some internal characterizations of (epi,bi)dense subcategories of a topological category are given. We also show that if K ? A is a bidense subcategory then the “best approximation” of an A-object X by a K-inverse system is obtained by “modifications” of the structure of X.