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.     

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.     

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.     

ORDER EXTENSIONS AS ADJOINT FUNCTORS

Abstract

A standard extension (resp. standard completion) is a function Z assigning to each poset P a (closure) system ZP of subsets such that x ? y iff x belongs to every Z ε ZP with y ε Z. A poset P is Z -complete if each Z ε 2P has a join in P. A map f: P → P′ is Z—continuous if f^?1 [Z′] ε ZP for all Z′ ε ZP′, and a Z—morphism if, in addition, for all Z ε ZP there is a least Z′ ε ZP′ with f[Z] ? Z′. The standard extension Z is compositive if every map f: P → P′ with {x ε P: f(x) ? y′} ε ZP for all y′ ε P′ is Z -continuous. We show that any compositive standard extension Z is the object part of a reflector from IP_Z, the category of posets and Z -morphisms, to IR_Z, the category of Z -complete posets and residuated maps. In case of a standard completion Z, every Z -continuous map is a Z -morphism, and IR2 is simply the category of complete lattices and join—preserving maps. Defining in a suitable way so-called Z -embeddings and morphisms between them, we obtain for arbitrary standard extensions Z an adjunction between IP_Z and the category of Z -embeddings. Many related adjunctions, equivalences and dualities are studied and compared with each other. Suitable specializations of the function 2 provide a broad spectrum of old and new applications.     

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.     

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.     

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

     

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.     

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.     

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.     

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.     

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

Ideals,radicals, and structure of additive categories

Simple and semisimple additive categories are studied. We prove, for example, that an artinian additive category is (semi)simple iff it is Morita equivalent to a division ring(oid). Semiprimitive additive categories (that is, those with zero radical) are those which admit anoether full, faithful functor into a category of modules over a division ringoid.     

When is a natural duality ‘good’?

Building on the most current work in the theory of natural dualities, we continue the study of strong dualities for the quasi-variety generated by a finite algebra. We investigate ten different versions of what we would like to mean by a good duality. Each version concerns, among other things, a specific restriction on the type of the structures in the dual category which insures that the dual structures will in a useful sense be simple. Through each investigation we seek a theorem characterizing, in terms of finitely verifiable conditions, those finite algebras generating a quasi-variety which admits a strong duality meeting the given restrictions. Our study includes a careful treatment of coproducts, logarithmic dualities and strong dualities by various unary structures.Dedicated to the memory of Alan DayPresented by J. Sichler.Research supported by a 1992 ARC Grant (Davey).     

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.     

Structural entailment

We give a number of characterizations of structural entailment. In particular, we show that an alter ego structurally entails an algebraic relation s on a finite algebra if and only if s can be obtained via a local construct from . We show, via a range of applications, that, whereas entailment is important in the study of dualisability, structural entailment is important in the study of full and strong dualisability. We also give an application to the transfer of strong dualities that connects this paper to our earlier paper [9] on full versus strong duality. Received June 27, 2003; accepted in final form May 12, 2005.