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.     

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.     

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.     

GLOBAL CLOSURE OPERATORS VS. SUBCATEGORIES

Given a concrete category (A,U) over a category X, we establish a Galois correspondence between subcategories of A and global closure operators over A.     

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.     

Adjoining adjoints

We construct the 2-category obtained from a category by freely adjoining a right adjoint for each morphism and isolate its universal property. Some others basic properties are also studied. Some examples in which the category is freely generated by a graph are discussed in detail. For these categories, the 2-cells are given a geometric interpretation and shown to be similar to certain diagrams which have appeared in the literature on C∗-algebras.     

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.     

Protolocalisations of homological categories

A protolocalisation of a homological (resp. semi-abelian) category is a regular full reflective subcategory, whose reflection preserves short exact sequences. We study the closure operator and the torsion theory associated with such a situation. We pay special attention to the fibered, the regular epireflective and the monoreflective cases. We give examples in algebra, topos theory and functional analysis.     

Set maps, umbral calculus, and the chromatic polynomial

Some important properties of the chromatic polynomial also hold for any polynomial set map satisfying

     

TWO FAMILIES OF CARTESIAN CLOSED TOPOLOGICAL CATEGORIES

Abstract

In this paper two ordered families of topological categories are studied. The first family includes the category of all abstract simplicial complexes and the subcategories of all abstract simplicial complexes of dimension less than or equal to n. The categories of the second family are bireflective subcategories of the category of all bornological spaces. All these categories are cartesian closed and have other nice properties.     

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.     

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.     

NETS AND GRAPHS AS PINAL COMPLETIONS AND THE RELATIONS BETWEEN THEM

Abstract

Nets and graphs, both used in Computer Science, are studied from a categorical point of view. It is shown that they may be constructed via final completions of very simple small concrete categories and that their nice properties, namely to form topological categories which are quasitopoi with concrete powers such that products of final maps are final, depend on this fact. Furthermore, the relations between them can be described by means of adjoint functors.     

AN EIGENSPACE CHARACTERIZATION OF LORENTZ-IMPROVING MEASURES ON COMPACT GROUPS

Abstract

A measure μ on a compact group is called Lorentz-improving if for some 1 > p > ∞ and 1 → q ₁ > q ₂ ∞ μ *L (p, q ₂) ? L(p, q ₁). Let T _μ denote the operator on L ² defined by T _μ(f) = μ * f. Lorentz-improving measures are characterized in terms of the eigenspaces of T _μ, if T _μ is a normal operator, and in terms of the eigenspaces of |T _μ| otherwise. This result generalizes our recent characterization of Lorentz-improving measures on compact abelian groups and is modelled after Hare's characterization of L ^p -improving measures on compact groups.     

ON THE EXISTENCE AND NON-EXISTENCE OF COMPLEMENTARY RADICAL AND SEMISIMPLE CLASSES

ABSTRACT

In certain categories of mathematical structures, non-trivial complementary radical classes (torsion classes or connectednesses) can be found. The question is why this is true for some but not for all categories. The answer depends on the embedding of trivial objects into nontrivial objects and is given by our main result: Any ‘reasonable’ category has no non-trivial complementary radical and semisimple classes if and only if for every trivial object T and every non-trivial object A there is a morphism T → A. Roughly, a ‘reasonable’ category in our sense is one with at least one object into which a terminal object can be embedded and has finite products, coproducts or lexicographic products.     

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.     

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

A note on admissibility of closed Galois structures

Abstract

We present a new admissibility theorem for Galois structures in the sense of G. Janelidze. It applies to relative exact categories satisfying a suitable relative modularity condition, and extends the known admissibility theorem in the theory of generalized central extensions. We also show that our relative modularity condition holds in every relative exact Goursat category.     

Epireflective subcategories of valuated groups

We show that the category of valuated groups has a topological forgetful functor to the category of abelian groups. This category is universal, that is, it is the bireflective hull of its T_o-objects, and properties of the (large) lattice of epireflective subcategories are contrasted with results obtained by T. Marny [7] for universal categories over the category of sets.