Let K be a field of characteristic pi^O, to exclude trivial cases) and let G be a finite goup. A XG-module M is a finite dimensional K-vector space, on which G acts Jf-linearly from the left. The Green ring a(G) of G(w.r.t. K) is the free abelian group, spanned by the isomorphism classes of indecomposable i£G-modules, with the multiplication induced from the tensor product © x of KGmodules (see...

It is well known that interpolation properties of logics underlying speci.cation formalisms play an important role in the study of structured speci.cations, they have also many other useful logical consequences. In this paper, we solve the interpolation problem for Grothendieck institutions which have recently emerged as an important mathematical structure underlying heterogenous multi-logic sp...

A new notion of higher-order weakly generalized adjacent epiderivative for a set-valued map is introduced. By virtue of the epiderivative and weak minimality, a higher-order Mond-Weir type dual problem and a higher-order Wolfe type dual problem are introduced for a constrained setvalued optimization problem, respectively. Then, corresponding weak duality, strong duality and converse duality the...

By a ‘completion’ on a 2-category K we mean here an idempotent pseudomonad on K . We are particularly interested in pseudomonads that arise from KZdoctrines. Motivated by a question of Lawvere, we compare the Cauchy completion [23], defined in the setting of V-Cat for V a symmetric monoidal closed category, with the Grothendieck completion [7], defined in the setting of S-Indexed Cat for S a to...

We establish a formula for the classes of certain tori in the Grothendieck ring of varieties, expressing them in terms of the natural lambda-structure on the Grothendieck ring. More explicitly, we will see that if L∗ is the torus of invertible elements in the n-dimensional separable k-algebra L, then the class of L∗ can be expressed as an alternating sum of the images of the spectrum of L under...

We relate closure operations for ideals and for submodules to non-flat Grothendieck topologies. We show how a Grothendieck topology on an affine scheme induces a closure operation in a natural way, and how to construct for a given closure operation fulfilling certain properties a Grothendieck topology which induces this operation. In this way we relate the radical to the surjective topology and...

The Grothendieck construction is a process to form a single category from a diagram of small categories. In this paper, we extend the definition of the Grothendieck construction to diagrams of small categories enriched over a symmetric monoidal category satisfying certain conditions. Symmetric monoidal categories satisfying the conditions in this paper include the category of k-modules over a c...