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.     

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.     

CONNECTEDNESS,DISCONNECTEDNESS AND CLOSURE OPERATORS: FURTHER RESULTS

Abstract

Let X be an arbitrary category with an (E, M)-factorization structure for sinks. A notion of constant morphism that depends on a chosen class of monomorphisms was previously used to provide a generalization of the connectedness-disconnectedness Galois connection (also called torsion-torsion free in algebraic contexts). This Galois connection was shown to factor through the class of all closure operators on X with respect to M. Here, properties and implications of this factorization are investigated. In particular, it is shown that this factorization can be further factored. Examples are provided.     

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.     

On unitary down-closed regular monomorphisms of pomonoid actions

Abstract

In this paper we characterize injective objects in the category of S-posets and S-poset maps for a pomonoid S, with respect to the class of unitary down-closed embeddings. Also, the behaviour of this notion of injectivity with respect to products and coproducts is studied. Then we introduce the notion of weakly regular d-injectivity in arbitrary slices of the category of S-posets, which is applied to investigate the Baer criterion. Finally we present an example to show that these objects are not regular injective, in general.     

THE SHORTEST NOTE ON THE SMALLEST COREFLECTIVE SUBCATEGORIES OF TOP

Abstract

Using the notion of a spectral set introduced by von-Neumann, we give some characterizations of C⁺ -algebras. Two conditions, each of which is necessary and sufficient for a Banach algebra to be uniform, are also obtained.     

ESSENTIALLY ALGEBRAIC CATEGORIES

Abstract

Various familiar concepts of algebraic categories (such as primitive and quasiprimitive categories of algebras as well as varietal, monadic, regular monadic, and regular categories) are contrasted with each other and with the new notion of essentially algebraic categories.

The new notion has pleasant features and covers several cases of an apparently algebraic nature, which are not covered by any of the older concepts.     

SHAPE AND INDUCED REPRESENTATIONS

Abstract

Let K: P → T be a fixed functor. A criterion is given for a functor M': T → V to be a (right) Kan extension along K of some functor M: P → V. The functors M having a given M' as Kan extension are, in general, classified by continuous functors (V ^P)^o → V. We introduce a notion of system of imprimitivity, generalizing that of Mackey; when the shape category of K is codense in the systems of imprimitivity classify the functors H having M' as Kan extension. As a special case one obtains Mackey's Imprimitivity Theorem for finite groups.     

Coinverters and categories of fractions for categories with structure

A category of fractions is a special case of acoinverter in the 2-categoryCat. We observe that, in a cartesian closed 2-category, the product of tworeflexive coinverter diagrams is another such diagram. It follows that an equational structure on a categoryA, if given by operationsA ⁿ A forn N along with natural transformations and equations, passes canonically to the categoryA [^–1] of fractions, provided that is closed under the operations. We exhibit categories with such structures as algebras for a class of 2-monads onCat, to be calledstrongly finitary monads.The first and third authors gratefully acknowledge the support of the Australian Research Council.     

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.     

AN AXIOMATIC APPROACH TO CATEGORIES OF TOPOLOGICAL ALGEBRAS

Abstract

Consider a commuting square of functors TV = GU where G is an algebraic functor over sets (in the sense of Herrlich), and T and U are (regular epi, monosource)—topological and fibre small. Such a square is called a Topological Algebraic Situation (TAS) when the following two conditions are satisfied:

1. if h: UA → UB and g: VA → VB are morphisms with Gh = Tg, there exists a morphism f: A → B such that Uf = h and Vf = g;

2. V carries U-initial monosources into T-initial mono-sources.

The functor V has many nice properties which shed light on the blending of the “topology” and “algebra”; e.g., V is a topologically algebraic functor in the sense of Y.H. Hong. An ([Etilde],[Mtilde]) version of O. Wyler's “Taut Lift Theorem” is used to show that the existence of a left adjoint to V is related to Condition (ii). It is also shown that certain topological algebraic reflections arise as Topological Algebraic Situations from algebraic and topological surjective reflections.     

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.     

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.     

SOME TOPOLOGICAL FUNCTORS ARISING FROM ALGEBRAIC GEOMETRY

Abstract

A synthesis of notions arising from algebraic geometry, especially those developed by Verdier in Séminaire de Géométric Algébrique IV, and the notion of topological functor (in the sense of G.C.L. Brümmer and R.-E. Hoffmann) is made. In particular, Grothendieck topologies are shown to be topological over the category of categories with pullbacks and pullback preserving functors, and consequences derived.     

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.     

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 Kleisli Category is a Category Of Fractions

We consider a generalised notion of category of fractions associated with a class Φ of permitted replacement situations between zig-zags in a category C. The Kleisli category associated with a monad [T, η, μ] in C is shown to be a special case in which the arrows {ηX X ? C} become left-invertible after passage to fractions.     

SEMI-TOPOLOGICAL FUNCTORS THAT INDUCE IDEMPOTENT MONADS

Abstract

The aim of this paper is to describe some “topological” subclasses of the class of all semi-topological functors. This is done by considering intersections of certain classes: on the one hand, the classes of all semi-topological functors, all topologically-algebraic functors and all regular functors; and on the other hand, the class of all discrete functors (see [6]). The relations between these and other classes of functors are given along with the necessary examples. Finally, the resulting intersections are described by giving representations of the functors that belong to them.     

Duality of convex bodies

The paper presents a category theoretical approach to the notion of duality of convex bodies. Using results of I. Barany (Acta Sci. Math. (Szeged)52 (1988), 93–100), we define and study metric duality , whose advantage is that congruent convex bodies have congruent duals.Dedicated to Professor Helmut Salzmann on the occasion of his 65th birthday