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].     

SOME RECENT RESULTS ON CATEGORIES OF R-SPACES AND PROBABILISTIC SPACES AND ON CATEGORICAL SPECTRA

The purpose of this paper is twofold: first, to present some recent results obtained by Romanian mathematicians in the field of general and categorical topology; second, to present some current research results obtained by the author in what may be called the topological study of a category. Accordingly, the paper is divided into two parts.

The author wishes to express his gratitude to the organizing committee of this Symposium for the kind invitation to present' this paper.     

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.     

The category of Urysohn spaces is not cowellpowered

It is shown that the category of Urysohn spaces and continuous maps is not cowellpowered. To this end we will construct for each ordinal number β a Urysohn space Y_β with card $\text{(Y}{}_{\mathrm{\beta }}\text{= ?}{}_0\text{?}\text{card}\text{(β)}$ and a continuous map $\text{e}{}_{\mathrm{\beta }}\text{:}\text{Q}\text{→ Y}{}_{\mathrm{\beta }}$ from the rationals into Y_β. It turns out that $\text{e}{}_{\mathrm{\beta }}$ is an external monomorphism in the category of Hausdorff spaces and an epimorphism in the category of Urysohn spaces.     

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.     

Constant morphisms and constant subcategories

In a category supplied with a factorization system for morphisms and a fixed subcategory of constant objects, we introduce suitable notions ofconstant morphism and of the correspondingright andleft constant subcategories. The nature of constant morphisms we use captures two important features of constant subcategories: left-constant subcategories are right-constant in the dual category and the subcategory of constant objects contains relevant information on these subcategories. Furthermore, we present characterizations of constant subcategories in several contexts. Namely, we extend the characterization of disconnectednesses obtained by Huek and Pumplün, via terminal fans, to our context.The author acknowledges financial support by Centro de Matemática da Universidade de Coimbra.     

More on upper bicompletion-true functorial quasi-uniformities

Let T:QU₀→Top₀ denote the usual forgetful functor from the category of quasi-uniform T₀-spaces to that of the topological T₀-spaces. We regard the bicompletion reflector as a (pointed) endofunctor K:QU₀→QU₀. For any section F:Top₀→QU₀ of T we consider the (pointed) endofunctor R=TKF:Top₀→Top₀. The T-section F is called upper bicompletion-true (briefly, upper K-true) if the quasi-uniform space KFX is finer than FRX for every X in Top₀. An important known characterisation is that F is upper K-true iff the canonical embedding X→RX is an epimorphism in Top₀ for every X in Top₀. We show that this result admits a simple, purely categorical formulation and proof, independent of the setting of quasi-uniform and topological spaces. We thus mention a few other settings where the result is applicable. Returning then to the setting T:QU₀→Top₀, we prove: Any T-section F is upper K-true iff for all X the bitopology of KFX equals that of FRX; and iff the join topology of KFX equals the strong topology (also called the b- or Skula topology) of RX.     

Some open categorical problems inTop

In this paper, a pendant to a recent survey paper, the authors discuss several open problems in categorical topology. The emphasis is on topology-oriented problems rather than on more general category-oriented ones. In fact, most problems deal with full subconstructs or superconstructs of the constructTop of topological spaces and continuous maps.     

Some aspects of topological descent

The paper deals with (effective) descent morphisms for subfibrations X of the basic fibration Top/X, for topological spaces X and classes of continuous functions stable under pullback. For a category with pullbacks, we prove the stability under pullback of effective -descent morphisms for a class satisfying some suitable conditions. This plays a rôle in relating effective -descent to effective global-descent and enables us to obtain a criterion for effective étale-descent. We also show that the inclusion of the class of effective global-descent maps in the class surjective effective étale-descent is strict.Partial financial support by Centro de Matemática da Universidade de Coimbra is gratefully acknowledged.     

Almost coreflective and projective classes

This paper summarizes the situation around the problem of when classes of projective objects are almost coreflective, both in general categories and in Top or similar categories. In addition to known results, several new contributions and examples are added.For the sixtieth birthday of D. PumplünThe paper was written while the second author was visiting the University of Toledo, Ohio.     

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.     

α-Sober spaces via the orthogonal closure operator

Each ordinal equipped with the upper topology is a T ₀-space. It is well known that for =2 the reflective hull of in Top₀ is the subcategory of sober spaces. Here, we define -sober space for each 2 in such a way that the reflective hull of in Top₀ is the subcategory of -sober spaces. Moreover, we obtain an order-preserving bijective correspondence between a proper class of ordinals and the corresponding (epi)reflective hulls. Our main tool is the concept of orthogonal closure operator, first introduced in [12].The author acknowledges financial support from Instituto Politécnico de Viseu and from Centro de Matemática da Universidade de Coimbra.     

FILTERED-PROJECTIVE AND SEMIFLAT MODULES

Abstract

A module P is called F-filtered-projective if for any epimorphism β: B → C and any homomorphism Y: P → C factoring through F, there exists a homomorphism α P → B such that β α = y. We collect for a given module P all such modules F into a class F(P) and all exact sequences relative to which P has the projective property, into a class E(P). Starting with & class P of modules P, we construct the classes F(p) and E(p) as the Intersections of the classes F(P) and E(P) respectively as P runs through P. Relative properties of these classes are investigated and in the special case where P is the class of finitely presented modules, we find a new characterization of flat modules which enables us to introduce the concept of semiflatness which in turn is utilized in a characterization of IF, QF and QF-3 rings.     

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.     

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.     

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.     

Lexicographic sums and fibre-faithful maps

The notion of lexicographic sum is introduced in general categories. Existence criteria are derived, particularly for locally cartesian closed categories and for categories with suitable coproducts. Lexicographic sums satisfy a generalized associative law. More importantly, every morphism can be factored through the lexicographic sum of its fibres. This factorization and the two types of maps arising from it, fibre-trivial and fibre-faithful, are studied particularly for partially ordered sets and forT ₁-spaces.     

FACTORIZATIONS OF CONES ALONG A FUNCTOR

Abstract

First a general Galois correspondence is established, which generalizes at the same time the correspondence between classes of monomorphisms and injective objects and the correspondence between classes of epimorphisms and monomorphisms in a category. This correspondence arises naturally if one tries to generalize some concepts of “topological” or also of “algebraic” functors. Both kinds of functors admit certain factorizations of cones, and just this fact implies some of their common nice properties: lifting limits, continuity and faithfulness, for instance. These properties can be shown without having a left adjoint. Therefore the theory yields also applications to functors which are neither “topological” nor “algebraic”.