Universal categories of uniform and metric locales

Recall that a category is called universal if it contains an isomorphic copy of any concrete category as a full subcategory. In particular, if is universal then every monoid can be represented as the endomorphism monoid of an object in . A major obstacle to universality in categories of topological nature are the constant maps (which prevent, for instance, representing nontrivial groups as endomorphism monoids). Thus, to obtain, say, a universal category of uniform spaces, the constants have to be prohibited by artificial additional conditions (for instance, conditions of an openness type). Since in generalized spaces (locales) we do not necessarily have points, the question naturally arises as to whether we can get rid of surplus conditions in search of universality there. In this paper we prove that the category of uniform locales with all uniform morphisms is universal. Indeed we establish the universality already for the subcategory of very special uniform locales, namely Boolean metric ones. Moreover, universality is also obtained for more general morphisms, such as Cauchy morphisms, as well as for special metric choices of morphisms (contractive, Lipschitz). The question whether one can avoid uniformities remains in general open: we do not know whether the category of all locales with all localic morphisms is universal. However, the answer is final for the Boolean case: by a result of McKenzie and Monk ([10], see Section 4) one cannot represent groups by endomorphisms of Boolean algebras without restriction by an additional structure.We use only basic categorical terminology, say, that from the introductory chapters of [9]. All the necesasary facts concerning generalized spaces (frames, locales) and universality are explicitly stated. More detail on frames (locales) can be found in [8] and on universality and embeddings of categories in [11].Presented by E. Fried.     

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.     

INITIAL COMPLETIONS OF MONOTOPOLOGICAL CATEGORIES,AND CARTESIAN CLOSEDNESS

Abstract

Herrlich and Strecker [9] give examples of monotopological categories for which the MacNeille completion coincides with the universal initial completion. It is shown here that this situation always holds for monotopological categories. If the category is a proper monotopological c-category, then the MacNeille completion also coincides with the largest epi-reflective initial completion. During the course of the proof a lemma is given which characterizes monotopological categories (not necessarily c-categories) which are already topological. (Schwarz [14] gave such a characterization for the case of c-categories.)

It is also shown that a monotopological c-category is Cartesian closed if and only if its largest epi-reflective initial completion is Cartesian closed. A similar result holds for the case of a topological category which is not necessarily a c-category.     

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.     

EMBEDDINGS INTO THE CATEGORY OF SUPER UNIFORM SPACES

Abstract

The category US of uniform spaces has been generalised in various ways. The category FUS, of fuzzy uniform spaces and the category GUS, of generalised uniform spaces have both been shown to be good extensions in the sense that US can be embedded into them. We show here that the category SUS, of super uniform spaces also enjoys this property and furthermore, the categories FUS and GUS can be embedded into SUS.     

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.     

Tensor products for bounded posets revisited

The category BPC of bounded posets and so-called cut continuous maps has concrete products, and the Dedekind-MacNeille completion gives rise to a reflector from BPC to the full subcategory CLJ of complete lattices and join-preserving maps. Like CLJ, the category BPC has a functional internal hom-functor in the sense of Banaschewski and Nelson. But, in contrast to CLJ, arbitrary universal bimorphisms do not exist in BPC. However, a natural tensor product is defined in terms of so-called G-ideals, such that the desired universal property holds at least for BPC-morphisms into complete lattices. Moreover, this tensor product is associative and distributes over (cartesian) products. The tensor product of an arbitrary family of bounded posets is isomorphic to that of their normal completions; hence, restricted to the subcategory CLJ, it agrees with the usual one.     

On the tensor product of well generated dg categories

We endow the homotopy category of well generated (pretriangulated) dg categories with a tensor product satisfying a universal property. The resulting monoidal structure is symmetric and closed with respect to the cocontinuous RHom of dg categories (in the sense of Toën [32]). We give a construction of the tensor product in terms of localisations of dg derived categories, making use of the enhanced derived Gabriel-Popescu theorem [27]. Given a regular cardinal α, we define and construct a tensor product of homotopically α-cocomplete dg categories and prove that the well generated tensor product of α-continuous derived dg categories (in the sense of [27]) is the α-continuous dg derived category of the homotopically α-cocomplete tensor product. In particular, this shows that the tensor product of well generated dg categories preserves α-compactness.     

Trunks and classifying spaces

Trunks are objects loosely analogous to categories. Like a category, a trunk has vertices and edges (analogous to objects and morphisms), but instead of composition (which can be regarded as given by preferred triangles of morphisms) it has preferred squares of edges. A trunk has a natural cubical nerve, analogous to the simplicial nerve of a category. The classifying space of the trunk is the realisation of this nerve. Trunks are important in the theory of racks [8]. A rackX gives rise to a trunkT (X) which has a single vertex and the setX as set of edges. Therack space BX ofX is the realisation of the nerveNT (X) ofT(X). The connection between the nerve of a trunk and the usual (cubical) nerve of a category determines in particular a natural mapBX BAs(X) whereBAs(X) is the classifying space of the associated group ofX. There is an extension to give a classifying space for an augmented rack, which has a natural map to the loop space of the Brown-Higgins classifying space of the associated crossed module [8, Section 2] and [3].The theory can be used to define invariants of knots and links since any invariant of the rack space of the fundamental rack of a knot or link is ipso facto an invariant of the knot or link.     

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.     

Subtractive Categories

We introduce a notion of a subtractive category. It generalizes the notion of a pointed subtractive variety of universal algebras in the sense of A. Ursini. Subtractive categories are closely related to Mal’tsev and additive categories: (i) a category C with finite limits is a Mal’tsev category if and only if for every object X in C the category Pt(X)=((X,1_X)↓(C↓X)) of “points over X” is subtractive; (ii) a pointed category C with finite limits is additive if and only if C is subtractive and half-additive.Mathematics Subject Classifications (2000) 18C99, 18E05, 08B05.     

Monomorphisms in the category of firm modules

Abstract

In this article, we consider the category of unitary right modules over an (associative) ring and the category of firm right modules over an idempotent ring. We study monomorphisms in these categories and give conditions under which morphisms are monomorphisms in the category of firm modules. We also prove that the lattice of categorically defined subobjects of a firm module is isomorphic to the lattice of unitary submodules of that module.     

The formal theory of Hopf algebras Part II: The case of Hopf algebras

Abstract

The category Hopf_R of Hopf algebras over a commutative unital ring R is analyzed with respect to its categorical properties. The main results are: (1) For every ring R the category Hopf_R is locally presentable, it is coreflective in the category of bialgebras over R, over every R-algebra there exists a cofree Hopf algebra. (2) If, in addition, R is absoluty flat, then Hopf_R is reflective in the category of bialgebras as well, and there exists a free Hopf algebra over every R-coalgebra. Similar results are obtained for relevant subcategories of Hopf_R. Moreover it is shown that, for every commutative unital ring R, the so-called “dual algebra functor” has a left adjoint and that, more generally, universal measuring coalgebras exist.     

Functorial Calculus in Monoidal Bicategories

The definition and calculus of extraordinary natural transformations is extended to a context internal to any autonomous monoidal bicategory. The original calculus is recaptured from the geometry of the monoidal bicategory V-Mod whose objects are categories enriched in a cocomplete symmetric monoidal category V and whose morphisms are modules.     

ON ADJUNCTIONS INDUCING THE SAME MONAD

ABSTRACT

Consider an adjunction <F,U;n,c>: K. → A, T = <T,n,u> the monad it induces in K and ø: A → K^T the comparison functor, K^T being the category of T-algebras. By ø*: Proj U → Proj U^T we denote the restriction and co-restriction of ø to the subcategories of U-projective and U^T -projective objects, respectively. In this paper we deal with the following problem, raised by R.-E. Hoffmann in [5] 1.16 (b):

Assuming that ø* is an equivalence of categories when is it possible to find a category C and a right adjoint functor V: C → K inducing the same monad T in K, and a full reflective embedding E: A → K, such that:

(1) V.E = U.

(2) ø = ø'. E for the comparison functor ø': C → K^T .

(3) F'X is contained (via E) in A, for each K-object X, F' being the left adjoint of V.

(4) ø': C → K^T has a full and faithful left adjoint L'.

We prove that there exists a pair (C,V) satisfying the conditions of the problem, with A an isomorphism-closed subcategory of C, such that:

(5) For all C ? Obj C the reflection map r_C: C → A is ø'-initial.

We also prove that this pair (C,V) is the universal solution satisfying condition (5), i.e. if (C_i,V_i) is a pair satisfying conditions (1)-(5) with E_i: A → C₂ the embedding and L_i left adjoint to the comparison functor ø_i: C_i K^T then there exists a unique full and faithful functor H_i: C → C_i such that H. E = E_i and H_i. L'—L_i. Moreover the universal solution is uniquely determined up to isomorphisms of categories and natural isomorphisms of functors. Finally, we study a particular situation and find, within the solutions of the problem satisfying two further conditions, the lease and the largest element. We conclude the paper with an example of this situation.     

Locales as spectral spaces

A frame is a complete distributive lattice that satisfies the infinite distributive law ${b \wedge \bigvee_{i \in I} a_i = \bigvee_{i \in I} b \wedge a_i}$ b ∧ ? i ∈ I a i = ? i ∈ I b ∧ a i . The lattice of open sets of a topological space is a frame. The frames form a category Fr. The category of locales is the opposite category Fr ^op . The category BDLat of bounded distributive lattices contains Fr as a subcategory. The category BDLat is anti-equivalent to the category of spectral spaces, Spec (via Stone duality). There is a subcategory of Spec that corresponds to the subcategory Fr under the anti-equivalence. The objects of this subcategory are called locales, the morphisms are the localic maps; the category is denoted by Loc. Thus locales are spectral spaces. The category Loc is equivalent to the category Fr ^op . A topological approach to locales is initiated via the systematic study of locales as spectral spaces. The first task is to characterize the objects and the morphisms of the category Spec that belong to the subcategory Loc. The relationship between the categories Top (topological spaces), Spec and Loc is studied. The notions of localic subspaces and localic points of a locale are introduced and studied. The localic subspaces of a locale X form an inverse frame, which is anti-isomorphic to the assembly associated with the frame of open and quasi-compact subsets of X.     

Cohomologically trivial internal categories in categories of groups with operations

We describe cohomologically trivial internal categories in the categoryC of groups with operations satisfying certain conditions ([15], [16]). As particular cases we obtain: ifC=Gr, H⁰(C, –)=0 iff C is a connected internal category; ifC=Ab,H ¹(C, –)=0 iff C is equivalent to the discrete internal category (Cokerd, Cokerd, 1, 1, 1, 1). We also discuss related questions concerning extensions, internal categories, their cohomology and equivalence in the categoryC.     

Commutator theory, action groupoids, and an intrinsic Schreier-Mac Lane extension theorem

Beyond groups of automorphisms in the category Gp of groups and Lie-algebras of derivations in the category K-Lie of Lie algebras, there are structures of internal groupoids (called action groupoids) in both categories. They allow a synthesis of the notion of obstruction to extensions. This leads, in any pointed protomodular category C with split extension classifiers, to a general treatment of non-abelian extensions which can be understood as morphisms in a certain groupoid TorsC.     

Connected and Disconnected Maps

A new relation between morphisms in a category is introduced—roughly speaking (accurately in the categories Set and Top), f ∥ g iff morphisms w:dom(f)→dom(g) never map subobjects of fibres of f non-constantly to fibres of g. (In the algebraic setting replace fibre with kernel.) This relation and a slight weakening of it are used to define “connectedness” versus “disconnectedness” for morphisms. This parallels and generalises the classical treatment of connectedness versus disconnectedness for objects in a category (in terms of constant morphisms). The central items of study are pairs (F,G)({\mathcal F},{\mathcal G}) of classes of morphisms which are corresponding fixed points of the polarity induced by the ∥-relation. Properties of such pairs are examined and in particular their relation to (pre)factorisation systems is analysed. The main theorems characterise:

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.