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.     

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.     

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.     

Set maps, umbral calculus, and the chromatic polynomial

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

     

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.     

Dense Packing of Patterns in a Permutation

We study the length L _k of the shortest permutation containing all patterns of length k. We establish the bounds e ⁻² k ² < L _k ≤ (2/3 + o(1))k ². We also prove that as k → ∞, there are permutations of length (1/4 + o(1))k ² containing almost all patterns of length k. Received January 2, 2007     

Permutations Containing Many Patterns

It is shown that the maximum number of patterns that can occur in a permutation of length n is asymptotically 2 ⁿ . This significantly improves a previous result of Coleman. Received September 28, 2006     

On the strong almost convergence of double sequences

In this paper, necessary and sufficient conditions that the real doubly infinite matrixA sums every strongly almost convergent double sequence, leaving the limit invariant, have been determined.     

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.     

Prefilter spaces and a precompletion of preuniform convergence spaces related to some well-known completions

In non-symmetric Convenient Topology the notion of pre-Cauchy filter is introduced and the construction of a precompletion of a preuniform convergence space is given from which Wyler's completion of a separated uniform limit space [O. Wyler, Ein Komplettierungsfunktor für uniforme Limesräume, Math. Nachr. 46 (1970) 1-12] as well as Weil's Hausdorff completion of a separated uniform space [A. Weil, Sur les Espaces à Structures Uniformes et sur la Topologie Générale, Hermann, Paris, 1937] can be derived (up to isomorphism). By the way, the construct PFil of prefilter spaces, i.e. of those preuniform convergence space which are ‘generated’ by their pre-Cauchy filters, is a strong topological universe filling in a gap in the theory of preuniform convergence spaces.     

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.     

Multi-dimensional Ramsey theorems — An example

In [1] V. Bergelson and N. Hindman used a 6-cell partition of [N]² to show that one cannot combine their major result with the Milliken-Taylor theorem and asked if one can provide an example with fewer than 6-cells. In this note we show that their 6-cell example can be collapsed into a 5-cell example.The author gratefully acknowledges support from the Council on Research of Louisiana State University.     

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.     

Multiepireflective subcategories

Y. Diers has defined multireflective subcategories as a generalization of reflective subcategories. In this paper, the related concepts of multiepireflective and monomultireflective subcategories are defined and investigated. It is proved that, for categories with appropriate (E,M) factorization structures, every multireflection can be expressed as the composition of an epireflection followed by a multiepireflection. Characterizations of multi-E-reflective subcategories are also given for categories with (E,M)-factorization structures. Finally, a list of subcategories of Top which are: multireflective in Top, multiepireflective in Top₂ and {initial-monosources}-multireflective in CRog T₂ is given.     

How accessible are categories of algebras?

For locally finitely presentable categories it is well known that categories of F-algebras, where F is a finitary endofunctor, are also locally finitely presentable. We prove that this generalizes to locally finitely multipresentable categories. But it fails, in general, for finitely accessible categories: we even present an example of a strongly finitary functor F (one that preserves finitely presentable objects) whose category of F-algebras is not finitely accessible. On the other hand, categories of F-algebras are proved to be ω₁-accessible for all strongly finitary functors—and it is an open problem whether this holds for all finitary functors.     

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.     

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.     

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.