CONNECTEDNESS AND DISCONNECTEDNESS: A DIFFERENT PERSPECTIVE

Abstract

A factorization of a Galois connection investigated earlier is used to give a definition of a connectedness-disconnectedness Galois connection that is free of the notion of constant morphism. A new notion of N-fixed morphism with respect to a class N of monomorphisms is presented. This is used to characterize the connectedness-disconnectedness Galois connection in the case that N is closed under the formation of pullbacks. Some closedness properties of these Galois connections are investigated.     

CONCRETE CATEGORIES FOR WHICH FIBRE COMPLETIONS INDUCE TOPOLOGICAL COMPLETIONS

Abstract

Every topological category over an arbitrary base category X may be considered as a category of T-models with respect to some theory (i.e., functor) T from X into a category of complete lattices. Using this model-theoretic correspondence as our basic tool, we study initial and final completions of (co)fibration complete categories. For an arbitrary concrete category (A, U) over X, the process of order-theoretically completing each fibre does not usually yield an initial/final completion of (A, U). It is shown in this paper that for concrete categories which are assumed to be fibration and/or cofibration complete, initial and final completions can be constructed by completing the fibres. These completions are further shown to exhibit some interesting external properties.     

Regular closure operators

In an E,M-categoryX for sinks, we identify necessary conditions for Galois connections from the power collection of the class of (composable pairs) of morphisms inM to factor through the lattice of all closure operators onM, and to factor through certain sublattices. This leads to the notion ofregular closure operator. As one byproduct of these results we not only arrive (in a novel way) at the Pumplün-Röhrl polarity between collections of morphisms and collections of objects in such a category, but obtain many factorizations of that polarity as well. (One of these factorizations constituted the main result of an earlier paper by the same authors). Another byproduct is the clarification of the Salbany construction (by means of relative dominions) of the largest idempotent closure operator that has a specified class ofX-objects as separated objects. The same relation that is used in Salbany's relative dominion construction induces classical regular closure operators as described above. Many other types of closure operators can be obtained by this technique; particular instances of this are the idempotent and modal closure operators that in a Grothendieck topos correspond to the Grothendieck topologies.Dedicated to Professor Dieter Pumplün, on his 60th birthdayResearch partially supported by the Faculty of Arts and Sciences, University of Puerto Rico, Mayagüez Campus during a sabbatical visit at Kansas State University.     

EPIREFLECTIONS VERSUS BIREFLECTIONS FOR TOPOLOGICAL FUNCTORS

Abstract

In this paper it is proved that if T: A → X is a topological functor satisfying certain conditions, then there is a Galois Connection between the class of bireflective subcategories of A and the class of epireflective subcategories of A that are not bireflective and that are contained in the subcategory of separated objects of A. In general such a correspondence is not bijective.     

ALGEBRAIC HULLS OF ADJOINT FUNCTORS AS INJECTIVE HULLS

Abstract

For each adjoint functor U: A → X where X is an (?, M)-category having enough ?-projectives, we construct an (?, M)-algebraic hull E: (A, U) → (Â, Û), i.e., (Â, Û) is (epsiv; M)-algebraic and E has a certain denseness property. We show that there is a conglomerate of functors over X with respect to which the (? M)-algebraic categories are exactly the injective objects and characterize (? M)-algebraic hulls as injective hulls.     

LIGHT FACTORIZATION STRUCTURES

Abstract

In this paper we investigate, for connection subcategories A of a topological category K, the concepts of A-monotone quotients and A-light sources, and characterize (1) those A, which give rise to an (A-monotone quotient, A-light)- factorization structure on K, (2) those factorization structures (C,D) on K, which are light, i.e. of the form (A-monotone quotient, A-light) for suitable A. It turns out that light factorization structures are rather rare in Top, but abundant and well-behaved in categories with hereditary quotients.     

FACTORIZATION OF UNBOUNDED THIN AND COTHIN OPERATORS

Abstract

Let X and Y be normed spaces and T: D(T) ? X → Y a linear operator. Following R.D. Neidingcr [N1] we recall the Davis, Figiel, Johnson, Pelczynski factorization of T corresponding to a parameter p (1 ≤ p ≤ ∞) and apply the corresponding factorization result in [N1] to unbounded thin operators. Properties equivalent to ubiquitous thinness arc derived. Defining an operator T to be cothin if its adjoint is thin, a dual factorization result for cothin operators is obtained, where for each 1 < p < ∞, the intermediate space in the factorization is cohereditarily l_p. This result is shown to hold more generally for the cases when T is either partially continuous or closable; in particular, such operators are strictly cosingular. A condition for a closable weakly compact operator to be strictly cosingular follows as a corollary.     

Closure operators I

Closure operators in an (E, M)-category X are introduced as concrete endofunctors of the comma category whose objects are the elements of M. Various kinds of closure operators are studied. There is a Galois equivalence between the conglomerate of idempotent and weakly hereditary closure operators of X and the conglomerate of subclasses of M which are part of a factorization system. There is a one-to-one correspondence between the class of regular closure operators and the class of strongly epireflective subcategories of X. Every closure operators admits an idempotent hull and a weakly hereditary core.Various examples of additive closure operators in Top are given. For abelian categories standard closure operators are considered. It is shown that there is a one-to-one correspondence between the class of standard closure operators and the class of preradicals. Idempotent, weakly hereditary, standard closure operators correspond to idempotent radicals (= torsion theories).     

ANOTHER CHARACTERIZATION OF BICOREFLECTIVE SUBCATEGORIES

Abstract

In this paper, the relation between the notion of a discrete functor (see [4]) and the notion of a fine functor (see [1]) is examined. As a generalization of the notion of a F-fine object (see [1]), discrete functors T: A → X are used to define K-fine objects, where K is a class of A-objects. It is shown that if T is in addition semi-topological, then (as for F-fine objects in a topological category, see [1]) the class of K-fine objects determines a bicoreflective subcategory of A. Moreover, it is shown that in co-complete, co-(well-powered) categories, the existence of bicoreflective subcategories is equivalent to the existence of functors that are both discrete and semi-topological.     

DISCRETE FUNCTORS

Abstract

The concept of a T-discrete object is a generalization of the notion of discrete spaces in concrete categories. In this paper. T-discrete objects are used to define discrete functors. Characterizations of discrete functors are given and their relation to other important functors are studied. A faithful functor T: A → X is discrete iff the full subcategory B of A consisting of all T-discrete objects is (X-iso)-coreflective in A. It follows that the existence of bicoreflective subcategories is equivalent to the existence of suitable discrete functors. Finally, necessary and sufficient conditions are found such that for a given functor T: A → X, the full subcategory B of A consisting of all T-discrete A-objects is monocoreflective in A.     

Interior operators and topological separation

A notion of separation with respect to an interior operator in topology is introduced and some basic properties are presented. In particular, it is shown that this notion of separation with respect to an interior operator gives rise to a Galois connection between the collection of all subclasses of the class of topological spaces and the collection of all interior operators in topology. Characterizations of the fixed points of this Galois connection are given and examples are provided.     

On theLU factorization ofM-matrices

Summary In this paper, we give in Theorem 1 a characterization, based on graph theory, of when anM-matrixA admits anLU factorization intoM-matrices, whereL is a nonsingular lower triangularM-matrix andU is an upper triangularM-matrix. This result generalizes earlier factorization results of Fiedler and Pták (1962) and Kuo (1977). As a consequence of Theorem 1, we show in Theorem 3 that the conditionx ^T A0 ^T for somex>0, for anM-matrixA, is both necessary and sufficient forPAP ^T to admit such anLU factorization for everyn×n permutation matrixP. This latter result extends recent work of Funderlic and Plemmons (1981). Finally, Theorem 1 is extended in Theorem 5 to give a characterization, similarly based on graph theory, of when anM-matrixA admits anLU factorization intoM-matrices.Dedicated to Professor Ky Fan on his sixty-seventh birthday, September 19, 1981.Research supported in part by the Air Force Office of Scientific Research, and by the Department of Energy     

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.     

On Localization and Stabilization for Factorization Systems

If (, M)is a factorization system on a category C, we define new classes of maps as follows: a map f:AB is in if each of its pullbacks lies in (that is, if it is stably in ), and is in M ^* if some pullback of it along an effective descent map lies in M(that is, if it is locally in M). We find necessary and sufficient conditions for (, M ^*) to be another factorization system, and show that a number of interesting factorization systems arise in this way. We further make the connexion with Galois theory, where M ^*is the class of coverings; and include self-contained modern accounts of factorization systems, descent theory, and Galois theory.     

Deformations of trianalytic subvarieties of hyperkähler manifolds

Let M be a compact complex manifold equipped with a hyperk?hler metric, and X be a closed complex analytic subvariety of M. In alg-geom 9403006, we proved that X is trianalytic (i.e., complex analytic with respect to all complex structures induced by the hyperk?hler structure), provided that M is generic in its deformation class. Here we study the complex analytic deformations of trianalytic subvarieties. We prove that all deformations of X are trianalytic and naturally isomorphic to X as complex analytic varieties. We show that this isomorphism is compatible with the metric induced from M. Also, we prove that the Douady space of complex analytic deformations of X in M is equipped with a natural hyperk?hler structure.     

Equiarboreal graphs

A graphX is said to beequiarboreal if the number of spanning trees containing a specified edge inX is independent of the choice of edge. We prove that any graph which is a colour class in an association scheme (and thus any distance regular graph) is equiarboreal. We note that a connected equiarboreal graph withM edges andn vertices has edge-connectivity at leastM/(n−1).     

Quasi Right Factorization Structures as Presheaves

In this article the notion of quasi right factorization structure in a category X\cal{X} is given. The main result is a one to one correspondence between certain classes of quasi right factorization structures and 2-reflective subobjects of a predefined object in Lax(PrOrd^Xop) \bf{\it{L}}\it{ax}({\it{PrOrd}}^{\bf{\cal{X}}^{op}}). Also a characterization of quasi right factorization structures in terms of images is given. As an application, the closure operators are discussed and it is shown that quasi closed members of certain collections are quasi right factorization structures. Finally several examples are furnished.     

Galois theory for sets of operations closed under permutation,cylindrification, and composition

A set of operations on A is shown to be the set of linear term operations of some algebra on A if and only if it is closed under permutation of variables, addition of inessential variables, and composition, and if it contains all projections. A Galois framework is introduced to describe the sets of operations that are closed under the operations mentioned above, not necessarily containing all projections. The dual objects of this Galois connection are systems of pointed multisets, and the Galois closed sets of dual objects are described accordingly. Moreover, the closure systems associated with this Galois connection are shown to be uncountable (even if the closed sets of operations are assumed to contain all projections).     

Closure operators and their middle-interchange law

The paper presents a new definition of closure operator which encompasses the standard Dikranjan-Giuli notion, as well as the Bourn-Gran notion of normal closure operator. As is well known, any two closure operators C, D in a category may be composed in, within order, two different ways. For a subobject M→X one may consider DX(CXM) or DCX(M)(M) as the value at M of a new closure operator D⋅C or D?C, respectively. The two binary operations are linked by a lax middle-interchange law. This paper explores situations in which the law holds strictly.     

Torsion theories and Galois coverings of topological groups

For any torsion theory in a homological category, one can define a categorical Galois structure and try to describe the corresponding Galois coverings. In this article we provide several characterizations of these coverings for a special class of torsion theories, which we call quasi-hereditary. We describe a new reflective factorization system that is induced by any quasi-hereditary torsion theory. These results are then applied to study various examples of torsion theories in the category of topological groups.