A categorical property of the Stone-Čech compactification

We study some categorical properties of the functor O _β of weakly additive functionals acting in the category Tych of the Tychonoff spaces and their continuous mappings. We show that O _β preserves the weight of infinite-dimensional Tychonoff spaces, the singleton, and the empty set, and that O _β is monomorphic and continuous in the sense of T. Banakh, takes every perfect mapping to an epimorphism, and preserves intersections of functionally closed sets in a Tychonoff space.     

INSTANCES AND RAMIFICATIONS OF THE SEMI-ADJOINT SITUATION II. THE COMPARISON FUNCTOR

Abstract

If a functor U has a left co-unadjoint then U can be factored through a category of semad algebras. An analogue of the Beck monadicity theory is obtained. If R is a ring without a left unit but satisfying R² = R then the category of unitary left R-modules need not be monadic over Set. The forgetful functor has, however, a left co-unadjoint for which a comparison functor is an equivalence of categories. Another example of a semadic functor is obtained by composing the forgetful functor from Abelian groups to Set with the doubling functor. The semi-adjoint situations in the senses of Medvedev and Davis are examined.     

The Katětov property for finite degree seminormal functors

A seminormal functor kF enjoys the Katěetov property (K-property) if for every compact set X the hereditary normality of kF(X) implies the metrizability of X. We prove that every seminormal functor of finite degree n>3 enjoys the K-property. On assuming the continuum hypothesis (CH) we characterize the weight preserving seminormal functors with the K-property. We also prove that the nonmetrizable compact set constructed in [1] on assuming CH is a universal counterexample for the K-property in the class of weight preserving seminormal functors.     

Topological Hopf Algebras and Braided Monoidal Categories

The relation between a monoidal category which has an exact faithful monoidal functor to a category of finite rank projective modules over a Dedekind domain, and the category of continuous modules over a topological bialgebra is discussed. If the monoidal category is braided, the bialgebra is topologically quasitriangular. If the monoidal category is rigid monoidal, the bialgebra is a Hopf algebra.     

Z-连续格的函数空间

若 Z为并完备的子集系统 ,且 IZ( L)关于集合的包含关系构成完备格 ,则 :( 1 ) Z-连续格的函数空间仍为 Z-连续的 ;( 2 )对于 Z-连续格范畴 ZL ,定义了一函子 F:ZL× ZL→ ZL.     

Essential extensions of Hausdorff spaces

In the category Haus of Hausdorff spaces the only injectives are the one-point spaces. Even though every Hausdorff spaceX has a maximal essential extension,X fails to have an injective hull, providedX has more than one point. A non-empty Hausdorff space has a proper essential extension if and only ifX is locally H-closed but not H-closed. In this case,X has (up to isomorphism) precisely one proper essential extension: the Obreanu-Porter extension (being simultaneously its maximal essential extension and its minimal H-closed extension). Completely parallel results hold for the categories SReg, Reg, and Tych of semi-regular, regular, and completely regular spaces respectively. In particular, the Alexandroff compactifications of locally compact, non-compact Hausdorff spaces are characterized categorically as the proper essential extensions of non-empty spaces in Tych (resp. Reg).Dedicated to my friend Nico Pumplün on his sixtieth birthday     

Differential Tannakian categories

We define a differential Tannakian category and show that under a natural assumption it has a fibre functor. If in addition this category is neutral, that is, the target category for the fibre functor are finite dimensional vector spaces over the base field, then it is equivalent to the category of representations of a (pro-)linear differential algebraic group. Our treatment of the problem is via differential Hopf algebras and Deligne's fibre functor construction [P. Deligne, Catégories tannakiennes, in: The Grothendieck Festschrift, vol. II, in: Progr. Math., vol. 87, Birkhäuser Boston, Boston, MA, 1990, pp. 111–195].     

General Heart Construction on a Triangulated Category (II): Associated Homological Functor

In the preceding part (I) of this paper, we showed that for any torsion pair (i.e., t-structure without the shift-closedness) in a triangulated category, there is an associated abelian category, which we call the heart. Two extremal cases of torsion pairs are t-structures and cluster tilting subcategories. If the torsion pair comes from a t-structure, then its heart is nothing other than the heart of this t-structure. In this case, as is well known, by composing certain adjoint functors, we obtain a homological functor from the triangulated category to the heart. If the torsion pair comes from a cluster tilting subcategory, then its heart coincides with the quotient category of the triangulated category by this subcategory. In this case, the quotient functor becomes homological. In this paper, we unify these two constructions, to obtain a homological functor from the triangulated category, to the heart of any torsion pair.     

Intrinsic characterization of Alexander-Spanier cohomology groups of compactifications

In this paper we construct a uniform Alexander-Spanier cohomology functor from the category of pairs of uniform spaces to the category of abelian groups. We show that this functor satisfies all Eilenberg-Steenrod axioms on the category of pairs of precompact uniform spaces, is precompact uniform shape invariant and intrinsically, in terms of uniform structures, describes the Alexander-Spanier cohomology groups of compactifications of completely regular spaces.     

Stable Projective Homotopy Theory of Modules,Tails, and Koszul Duality

A contravariant functor is constructed from the stable projective homotopy theory of finitely generated graded modules over a finite-dimensional algebra to the derived category of its Yoneda algebra modulo finite complexes of modules of finite length. If the algebra is Koszul with a noetherian Yoneda algebra, then the constructed functor is a duality between triangulated categories. If the algebra is self-injective, then stable homotopy theory specializes trivially to stable module theory. In particular, for an exterior algebra the constructed duality specializes to (a contravariant analog of) the Bernstein–Gelfand–Gelfand correspondence.     

On Inductive Limits for Systems of <Emphasis Type="Italic">C</Emphasis>*-Algebras

We consider a covariant functor from the category of an arbitrary partially ordered set into the category of C*-algebras and their *-homomorphisms. In this case one has inductive systems of algebras over maximal directed subsets. The article deals with properties of inductive limits for those systems. In particular, for a functor whose values are Toeplitz algebras, we show that each such an inductive limit is isomorphic to a reduced semigroup C*-algebra defined by a semigroup of rationals. We endow an index set for a family of maximal directed subsets with a topology and study its properties. We establish a connection between this topology and properties of inductive limits.     

Generalized Witt groups

In this paper we construct a functor from the category of one-dimensional commutative formal groups to the category of topological Abelian groups. For a multiplicative formal group, this function is the usual Witt functor. We study certain properties of the constructed functor. This functor is then used to describe multiplicative operations in the theory of unitary cobordisms.Translated from Matematicheskie Zametki, Vol. 13, No. 3, pp. 419–426, March, 1973.     

Locale同伦理论

本文引入了locale连续映射同伦的概念,建立了locale同伦范畴,构造性地证明了任一locale连续映射都同伦等价于一个locale包含映射。通过引入locale H群的概念(它是locale群概念的自然推广),建立了locale同伦范畴到群同态范畴的一个反变函子。特别地,我们建立了locale同伦群范畴上的基本群函子,证明了locale L上以p为基点的基本群同构于L的谱空间pt(L)上以p为基点的基本群。因此,基本群函子是locale范畴中的一个同伦不变量。     

Generalizations of the Sweedler Dual

As left adjoint to the dual algebra functor, Sweedler’s finite dual construction is an important tool in the theory of Hopf algebras over a field. We show in this note that the left adjoint to the dual algebra functor, which exists over arbitrary rings, shares a number of properties with the finite dual. Nonetheless the requirement that it should map Hopf algebras to Hopf algebras needs the extra assumption that this left adjoint should map an algebra into its linear dual. We identify a condition guaranteeing that Sweedler’s construction works when generalized to noetherian commutative rings. We establish the following two apparently previously unnoticed dual adjunctions: For every commutative ring R the left adjoint of the dual algebra functor on the category of R-bialgebras has a right adjoint. This dual adjunction can be restricted to a dual adjunction on the category of Hopf R-algebras, provided that R is noetherian and absolutely flat.     

函子范畴的Recollement

函子范畴是—类重要的范畴,因为许多常见的范畴都是函子范畴,并且任意给定的范畴都可以通过Yoneda引理嵌入到一个函子范畴,而函子范畴具有比原范畴更好的性质。本文证明了Abel范畴的recollement可以自然诱导两类函子范畴的recollment．应用到k-线性范畴,得到k．线性Abel范畴的recollement可以自然诱导其模范畴的recollement．     

Liftings of normal functors in the category of compacta to categories of topological algebra and analysis

We prove that the liftings of a normal functor F in the category of compact Hausdorff spaces to the categories of (abelian) compact semigroups (monoids) are determined by natural transformations F(?)×F(?) → F(?×?) satisfying requirements that correspond to associativity, commutativity, and the existence of a unity. In particular, the tensor products for normal monads satisfy (not necessarily all) these requirements. It is proved that the power functor in the category of compacta is the only normal functor that admits a natural lifting to the category of convex compacta and their continuous affine mappings.     

Functor <Emphasis Type="Italic">M</Emphasis><Subscript><Emphasis Type="Italic">τ</Emphasis></Subscript>, Lipschitzian and uniformly continuous mappings

The paper is devoted to questions on lifting of the functor M _τ : Tych → Tych to the categories of metric and uniform spaces. Similar problems were solved for the functor U _τ of the unit ball of τ-additive measures. The main difference between the functor M _τ and the functor U _τ is that the space M _τ (X) is compact only for X = Ø. A more delicate distinction is expressed by Theorem 2 which implies that the functor M _τ does not always preserve the uniform continuity of mappings of metric spaces (even in the case of compacta). Nevertheless, the problem of lifting the functor M _τ to the category Unif turns to be solvable.     

On the enright functor in the highest weight category

LetG be a complex semisimple Lie group,B its Borel subgroup andX a flag variety ofG. We define a functor on the category ofB-equivariantD _X-modules that corresponds, under the global section functor, to the Enright functor on the highest weight category. We use this to lift Enright functor to the mixed version of the highest weight category. As an application we obtain that the socle and the cosocle filtration of a primitive quotient of the enveloping algebra coincide.     

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.     

Coherent rings of finite weak global dimension

The category of left modules over right coherent rings of finite weak global dimension has several nice features. For example, every left module over such a ring has a flat cover (Belshoff, Enochs, Xu) and, if the weak global dimension is at most two, every left module has a flat envelope (Asensio, Martínez). We will exploit these features of this category to study its objects. In particular, we will consider orthogonal complements (relative to the extension functor) of several classes of modules in this category. In the case of a commutative ring we describe an idempotent radical on its category of modules which, when the weak global dimension does not exceed 2, can be used to analyze the structure of the flat envelopes and of the ring itself.