Many categories of semantic domains can be considered from an order-theoretic point of view and from a topological point of view via the Scott topology. The topological point of view is particularly fruitful for considerations of computability in classical spaces such as the Euclidean real line. When one embeds topological spaces into domains, one requires that the Scott continuous maps between...

Minimality ranks in the style of Deissler are one way of measuring the structural complexity of minimal extensions of first-order structures. In particular, positive Deissler rank measures the complexity of the injective envelope of a module as an extension of that module. In this paper we solve a problem of the second author by showing that certain injective envelopes have the maximum possible...

We generalize Chevalley’s theorem about restriction Res : C[g]g → C[h]W to the case when a semisimple Lie algebra g is replaced by a quantum group and the target space C of the polynomial maps is replaced by a finite dimensional representation V of this quantum group. We prove that the restriction map Res : (Oq(G) ⊗ V )Uq(g) → O(H) ⊗ V is injective and describe the image.

We find the injective hulls of partially ordered monoids in the category whose objects are po-monoids and submultiplicative order-preserving functions. These injective hulls are with respect to a special class of monics called “embeddings”. We show as well that the injective objects with respect to these embeddings are precisely the quantales.

In this paper, motivated by Cagliari and Mantovani, we have obtained a characterization of injective objects (with respect to the class embeddings in category

we introduce the class of “right almost v-rings” which is properly between the classes of right v-rings and right good rings. a ring r is called a right almost v-ring if every simple r-module is almost injective. it is proved that r is a right almost v-ring if and only if for every r-module m, any complement of every simple submodule of m is a direct summand. moreover, r is a right almost v-rin...

The axiom of choice ensures precisely that, in ZFC, every set is projective: that is, a projective object in the category of sets. In constructive ZF (CZF) the existence of enough projective sets has been discussed as an additional axiom taken from the interpretation of CZF in Martin-Löf’s intuitionistic type theory. On the other hand, every non–empty set is injective in classical ZF, which arg...

1.1 Adjoint functors Let C and D be categories and let f∗ : C → D and f∗ : D → C be functors. Then f∗ is a right adjoint to f∗ and f∗ is a left adjoint to f∗ if, for each D ∈ D and C ∈ C there is a natural vector space isomorphism HomC(fD,C) Φ −→HomD(D, f∗C). For C ∈ C and D ∈ D define τC = Φ(idf∗C) ∈ HomC(ff∗C,C) and φD = Φ(idf∗D) ∈ HomD(D, f∗fD). In general τC and φD are neither injective nor...