Covering Morphisms in Categories of Relational Algebras

In this paper we use Janelidze’s approach to the classical theory of topological coverings via categorical Galois theory to study coverings in categories of relational algebras. Moreover, we present characterizations of effective descent morphisms in the categories of M-ordered sets and of multi-ordered sets.     

Universality of Coproducts in Categories of Lax Algebras

Categories of lax -algebras are shown to have pullback-stable coproducts if preserves inverse images. The general result not only gives a common proof of this property in many topological categories but also shows that important topological categories, like the category of uniform spaces, are not presentable as a category of lax -algebras, with preserving inverse images. Moreover, we show that any such category of -algebras has a concrete, coproduct preserving functor into the category of topological spaces.     

Effective Codescent Morphisms in Some Varieties of Universal Algebras

The paper gives a sufficient condition formulated in a syntactical form for all codescent morphisms of a variety of universal algebras satisfying the amalgamation property to be effective. This result is further used in proving that all codescent morphisms of (left/right-)quasigroups, loops, and magmas are effective.     

Limits for Lax Morphisms

We investigate limits in the 2-category of strict algebras and lax morphisms for a 2-monad. This includes both the 2-category of monoidal categories and monoidal functors as well as the 2-category of monoidal categories and opomonoidal functors, among many other examples.Mathematics Subject Classifications (2000) 18D05, 18C20, 18C15, 18A30.     

Mealy Morphisms of Enriched Categories

We define and study the properties of a notion of morphism of enriched categories, intermediate between strong functor and profunctor. Suggested by bicategorical considerations, it turns out to be a generalization of Mealy machine, well-known since the 1950’s in the theory of computation. When the base category is closed we construct a classifying category for Mealy morphisms, as we call them. This is also seen to give the free tensor completion of an enriched category.     

Effective Descent Morphisms in Some Quasivarieties of Algebraic, Relational, and More General Structures

We show that the class of effective descent morphisms coincides with the class of regular epimorphisms in suitable categories of internal structures in an exact category. In particular this applies to quasivarieties of (ordinary) first-order structures closed under strong homomorphic images.     

效应代数上的态射性质

In the present paper the properties of morphisms in effect algebras are discussed. The conditions for the morphisms in effect algebras to be join-preservation and meet-preservation are given. From the categorical point of view, some properties of ideals, filters and congruence relations under morphisms are obtained.     

Descent in Locally Presentable Categories

Let \(\mathbb {V}=(VV, \otimes , I)\) be a symmetric monoidal category such that \(\mathcal {V}\) is locally presentable and that all functors \(V\otimes - : \mathcal {V} \rightarrow \mathcal {V}\) for \(V \in \mathcal {V}\) preserve reflexive coequalizers and directed colimits. It is proved that any pure morphism of commutative ??-monoids is an effective descent morphism with respect to the indexed category given by commutative ??-monoids and modules over them. As a by-product, we prove that pure morphisms in a locally presentable category are effective for codescent.     

Triple Brackets and Lax Morphism Categories

Various aspects of the traditional homotopy theory of topological spaces may be developed in an arbitrary 2-category C with zeros. In particular certain secondary composition operations called box brackets recently have been defined for C; these are similar to, but extend, the familiar Toda brackets in the topological case. In this paper we introduce further the notion of a suspension functor in C and explore the ramifications of relativizing the theory in terms of the associated lax morphism category of C, denoted mC. Four operations associated to a 3-box diagram are introduced and relations among them are clarified. The results and insights obtained, while by nature somewhat technical, yield effective and efficient techniques for computing many operations of Toda bracket type. We illustrate by recording some computations from the homotopy groups of spheres. Also the properties of a new operation, the 2-sided matrix Toda bracket, are explored.     

Categories of Projective Geometries with Morphisms and Homomorphisms

Projective geometries studied as Pasch geometries possess morphisms and homomorphisms. A homomorphic image of a projective geometry is shown to be projective. A projective geometry is shown to be Desarguesian iff it is a homomorphic image of a higher dimensional one, which in a sense is dual to the classical imbedding theorem. Semi-linear maps induce morphisms which are homomorphisms iff the associated homomorphisms of skewfields are isomorphisms. Projective geometries form categories with morphisms as well as homomorphisms and Desarguesian ones form a subcategory with Desarguesian homomorphisms.     

Parking Functions and Descent Algebras

We show that the notion of parkization of a word, a variant of the classical standardization, allows us to introduce an internal product on the Hopf algebra of parking functions. Its Catalan subalgebra is stable under this operation and contains the descent algebra as a left ideal. Received March 1, 2005     

Realising Smashing Localisations as Morphisms of DG Algebras

For a smashing localisation L of the derived category of a differential graded (dg) algebra A we construct a dg algebra A _L and a morphism of dg algebras A→A _L that induces the canonical map in cohomology. As a first application we obtain a localisations of a dg algebra A with graded commutative homology at a prime ideal in the homology H ^* A, namely a morphism of dg algebras. As a second application we can use results of Keller to “model” every smashing localisation of compactly generated algebraic triangulated categories by a morphism of dg algebras.      

Derived Categories of Schur Algebras

Abstract

In this paper we classify the derived tame Schur and infinitesimal Schur algebras and describe indecomposable objects in their derived categories.     

Effective Criteria for Birational Morphisms

The purpose of the paper is to illustrate how vanishing theoremscan be used to give effective criteria for a generically finitemorphism f :X Y of smooth complex projective algebraic varietiesto be birational. In particular, as a consequence of a non-vanishingtheorem of Kollár, it is shown that if Y is of generaltype and has generically large algebraic fundamental group,then f is birational if and only if P₂(X)=P₂(Y).     

Irreducible Morphisms Between Modules over a Repetitive Algebras

We describe the irreducible morphisms in the category of modules over a repetitive algebra. We find three special canonical forms: The first canonical form happens when all the component morphisms are split monomorphisms, the second when all the component morphisms are split epimorphisms and the third when there is exactly one irreducible component map. Also, we obtain the same result for the irreducible homomorphisms in the stable category of modules over a repetitive algebra.     

Facets of Descent III: Monadic Descent for Rings and Algebras

We develop an elementary approach to the classical descent problems for modules and algebras, and their generalizations, based on the theory of monads.     

群Yetter-Drinfel'd范畴中的Hopf代数

In this note we first show that if H is a finite-dimensional Hopf algebra in a group Yetter-Drinfel＇d category L^LyD（π） over a crossed Hopf group-coalgebra L, then its dual H^＊ is also a Hopf algebra in the category L^LyD（π）. Then we establish the fundamental theorem of Hopf modules for H in the category L^LyD（π）.