A Relation Between Closure Operators on a Small Category and Its Category of Presheaves

In this paper we show that each factorization structure on a small category , satisfying certain conditions, yields a presheaf on and a morphism of presheaves . We then give connections, and set up one to one correspondences, between subclasses of the following classes: (a) closure operators on (b) subobjects of (c) morphisms from to (d) weak Lawvere–Tierney topologies (e) weak Grothendieck topologies (f) closure operators on .     

A Functorial Framework for Constraint Normal Logic Programming

The semantic constructions and results for definite programs do not extend when dealing with negation. The main problem is related to a well-known problem in the area of algebraic specification: if we fix a constraint domain as a given model, its free extension by means of a set of Horn clauses defining a set of new predicates is semicomputable. However, if the language of the extension is richer than Horn clauses its free extension (if it exists) is not necessarily semicomputable. In this paper we present a framework that allows us to deal with these problems in a novel way. This framework is based on two main ideas: a reformulation of the notion of constraint domain and a functorial presentation of our semantics. In particular, the semantics of a logic program P is defined in terms of three functors: that apply to constraint domains and provide the operational, the least fixpoint and the logical semantics of P, respectively. To be more concrete, the idea is that the application of to a specific constraint solver provides the operational semantics of P that uses this solver; the application of to a specific domain provides the least fixpoint of P over this domain; and, the application of to a theory of constraints provides the logic theory associated to P. In this context, we prove that these three functors are in some sense equivalent.      

Sober Approach Spaces are Firmly Reflective for the Class of Epimorphic Embeddings

In [2] the subconstruct of sober approach spaces was introduced and it was shown to be a reflective subconstruct of the category of approach spaces. The main result of this paper states that moreover is firmly -reflective in for the class of epimorphic embeddings. ‘Firm -reflective’ is a notion introduced in [3] by G.C.L. Brümmer and E. Giuli and is inspired by the exemplary behaviour of the usual completion in the category of Hausdorff uniform spaces with uniformly continuous maps. It means that is -reflective in and that the reflector is such that belongs to if and only if is an isomorphism. Firm -reflectiveness implies uniqueness of completion in the sense that whenever is a map with and sober, the associated is an isomorphism. Our result generalizes the fact that in the category the subconstruct of sober topological spaces is firmly reflective for the class of b-dense embeddings in . Also firmness in some other subconstructs of will be easily obtained.A. Gerlo and C. Van Olmen are research assistants at the Fund of Scientific Research Vlaanderen (FWO). E. Vandersmissen is a research assistant supported by the FWO-grant G.0244.05.     

Coherence for Product Monoids and their Actions

Let and be two monoids (algebras) in a monoidal category . Further let be a distributive law in the sense of [J. Beck, Lect. Notes Math., 80:119–140, 1969]; naturally yields a monoid . Consider a word in the symbols , , and . The first coherence theorem proved in this paper asserts that all morphisms coincide in , provided they arise as composites of morphisms which are -products of ’s ‘canonical’ structure morphisms, and of , , , , , , , and . Assume now that an object is endowed with both an -object structure , and an -object structure . Further assume that these two structures are compatible, in the sense that they naturally yield an -object . Let be a word in , , , and , which contains a single instance of , in the rightmost position. The second coherence theorem states that all morphisms coincide in , provided they arise as composites of morphisms which are -products of ’s ‘canonical’ structure morphisms, and of , , , , , , , , , and .     

Admissible Galois Structures and Coverings in Regular Mal’cev Categories

Given a regular Gumm category such that any regular epimorphism is effective for descent, we prove that any Birkhoff subcategory in gives rise to an admissible Galois structure. This result allows one to consider some new applications of the categorical Galois theory in the context of topological algebras. Given a regular Mal’cev category , we first characterize the coverings of the Galois structure induced by the subcategory of the abelian objects in . Then we consider as a subcategory of the category of the equivalence relations in , and we characterize the coverings of the corresponding Galois structure . By composing the Galois structures and we obtain the Galois structure induced by as a subcategory of . We give the characterization of the -coverings in terms of the coverings of and .     

The Dirichlet problem for constant mean curvature surfaces in Heisenberg space

We study constant mean curvature graphs in the Riemannian three- dimensional Heisenberg spaces . Each such is the total space of a Riemannian submersion onto the Euclidean plane with geodesic fibers the orbits of a Killing field. We prove the existence and uniqueness of CMC graphs in with respect to the Riemannian submersion over certain domains taking on prescribed boundary values. L. J. Alías was partially supported by MEC/FEDER project MTM2004-04934-C04-02 and Fundación Séneca project 00625/PI/04, Spain.     

Primitive Ideals and Automorphisms of Quantum Matrices

Let be a field and q be a nonzero element of that is not a root of unity. We give a criterion for 〈0〉 to be a primitive ideal of the algebra of quantum matrices. Next, we describe all height one primes of ; these two problems are actually interlinked since it turns out that 〈0〉 is a primitive ideal of whenever has only finitely many height one primes. Finally, we compute the automorphism group of in the case where m ≠ n. In order to do this, we first study the action of this group on the prime spectrum of . Then, by using the preferred basis of and PBW bases, we prove that the automorphism group of is isomorphic to the torus when m ≠ n and (m,n) ≠ (1, 3),(3, 1). This research was supported by a Marie Curie Intra-European Fellowship within the 6th European Community Framework Programme and by Leverhulme Research Interchange Grant F/00158/X.     

\boldsymbol{\mathcal{Q}}-*-Categories

We consider the theory of categories enriched in an involutive quantaloid : the -*-categories. After giving an introduction to involutive quantaloids and nuclei, we use matrices with entries in to define -*-categories. Then we examine the relations between two kinds of morphisms between them, the functors and the *-maps, to provide a basis to study completeness properties. These results are used to provide a definition of pseudo-presheaves, presheaves and sheaves on involutive quantaloids in order to get a generalization of presheaves and sheaves on sites. Finally a characterization of these sheaves in terms of covers and compatible families is presented.      

Generalized Continuous Posets and a New Cartesian Closed Category

With every subset selection for posets, there is associated a certain ideal completion . As shown by Erné, such completions help to extend classical results on domains and similar structures in the absence of the required joins. Some results about –predistributive or –precontinuous posets and –continuous functions are summarized and supplemented. In particular, several central results on function spaces in domain theory are extended to the setting of productive closed subset selections. The category FSBP, in which objects are finitely separated and upper bounded posets and arrows are continuous functions between them, is shown to be cartesian closed. This research is supported by the National Natural Science Foundation of China, 10471035.     

Slices of Essentially Algebraic Categories

This paper is a contribution to the theory of functor slices of J. Sichler and V. Trnková. For every ordinal α we introduce a basket , prove that every essentially algebraic category of height α is a slice of , characterize small slices of and give a common generalization of known results about slices of the algebraic basket .      

Reduction of exterior differential systems with infinite dimensional symmetry groups

A symmetry-based method for constructing solutions to systems of differential equations founded on the reduction of exterior differential systems invariant under the action of an infinite dimensional pseudogroup is proposed. One can associate to any system of differential equations Δ=0 with a symmetry group an exterior differential system invariant under so that solutions of Δ=0 correspond to integral manifolds . The -invariant exterior differential system gives rise to a reduced system specified on a cross section to the pseudogroup orbits, and it is shown that solutions to Δ=0 can be reconstructed from integral manifolds by solving an equation of generalized Lie type for the jets of pseudogroup transformations. In particular, as opposed to the classical method of symmetry reduction, every solution to the system of differential equations can, under some mild regularity assumptions, be constructed by the present algorithm. AMS subject classification (2000)  58A15, 58A20, 58H05, 58J70     

On an Essentially Algebraic Theory for Locally Presentable Categories

This paper presents a general construction, defining for each given strong generator in any locally finitely presentable category an essentially algebraic, finitary theory – maximal in a certain sense – such that is equivalent to the category of models of . For regular generators , generalization to the non-finitary case is easily done, and yields a new proof of the famous characterization of many-sorted quasivarieties.     

On Non-M-Cosingular Completely ⊕-Supplemented Modules

In this paper, it is shown that any non--cosingular -supplemented module is if and only if has the summand intersection property. Let be any module such that has a coclosure in . Then we prove that is (completely) -supplemented if and only if for some submodule of such that and both are (completely) -supplemented.     

Weak Quantum Enveloping Algebras of Borcherds Superalgebras

In present paper we define a new kind of weak quantized enveloping algebra of Borcherds superalgebras . It is a noncommutative and noncocommutative weak graded Hopf algebra. Using localizing with some Ore set, we obtain a different kind of quantized enveloping algebras of Borcherds superalgebras . It has a homomorphic image which is isomorphic to the usual quantum enveloping algebra of . Moreover, is isomorphic to a direct sum of and an other algebra as algebras. The author is sponsored by ZJNSF No. Y607136.     

Plane polynomial automorphisms of fixed multidegree

Let be the group of polynomial automorphisms of the complex affine plane. On one hand, can be endowed with the structure of an infinite dimensional algebraic group (see Shafarevich in Math USSR Izv 18:214–226, 1982) and on the other hand there is a partition of according to the multidegree (see Friedland and Milnor in Ergod Th Dyn Syst 9:67–99, 1989). Let denote the set of automorphisms whose multidegree is equal to d. We prove that is a smooth, locally closed subset of and show some related results. We give some applications to the study of the varieties (resp. ) of automorphisms whose degree is equal to m (resp. is less than or equal to m).     

Chains and antichains in partial orderings

We study the complexity of infinite chains and antichains in computable partial orderings. We show that there is a computable partial ordering which has an infinite chain but none that is or , and also obtain the analogous result for antichains. On the other hand, we show that every computable partial ordering which has an infinite chain must have an infinite chain that is the difference of two sets. Our main result is that there is a computably axiomatizable theory K of partial orderings such that K has a computable model with arbitrarily long finite chains but no computable model with an infinite chain. We also prove the corresponding result for antichains. Finally, we prove that if a computable partial ordering has the feature that for every , there is an infinite chain or antichain that is relative to , then we have uniform dichotomy: either for all copies of , there is an infinite chain that is relative to , or for all copies of , there is an infinite antichain that is relative to .     

Groupoid and inverse semigroup presentations of ultragraph C *-algebras

Inspired by the work of Paterson on C ^* -algebras of directed graphs, we show how to associate a groupoid to an ultragraph in such a way that the C ^*-algebra of is canonically isomorphic to Tomforde’s C ^*-algebra . The groupoid is built from an inverse semigroup naturally associated to . A.E. Marrero was supported by grants from the National Science Foundation and the Sloan Foundation and by a GAANN Fellowship. Many of the results here are taken from this author’s dissertation [7]. P.S. Muhly was supported by a grant from the National Science Foundation (DMS-0355443).     

Some Categorical Algebraic Properties: Counter-Examples for Functor Categories

This work is a complement to the authors earlier papers, where it is shown that a functor category inherits from such properties as amalgamation, transferability and congruence extension if has either products or certain pushouts. A general scheme is given for constructing counter-examples which show that the latter condition on is essential. In particular, it is shown that the functor categories , , ( resp.) do not satisfy the amalgamation (congruence extension resp.) property in general. Moreover, one class of categories is described, where the condition of the existence of certain pushouts is not only sufficient, but also necessary for to preserve the considered properties of .Mathematics Subject Classifications (2000) 18A25, 18A32, 18B99, 08B26.Dali Zangurashvili: The support rendered by INTAS Grant 97 31961 is gratefully acknowledged.     

Two-sided Two-cosided Hopf Modules and Yetter–Drinfeld Modules for Quasi-Hopf Algebras

For a quasi-Hopf algebra H, an H-bicomodule algebra and an H-bimodule coalgebra C we will show that the category of two-sided two-cosided Hopf modules is equivalent to the category of right–left generalized Yetter–Drinfeld modules . Using alternative versions of this result we will recover the category isomorphism between the categories of left–left and left–right Yetter–Drinfeld modules over a quasi-Hopf algebra.