Recently, a new category of domains used for the mathematical foundations of denotational semantics, that of L-domains, have been under study. In this paper we consider a related category of posets, that of local lattices. First, a completion operator taking posets to local lattices is developed, and then this operator is extended to a functor from posets with embedding-projection pairs to loca...

semi-regular locales are extensions of the classical semiregularspaces. we investigate the conditions such that semi-regularizationis a functor. we also investigate the conditions such that semi-regularizationis a reflection or coreflection.

In this paper, we consider the forgetful functor from the category LDcpo of local dcpos (respectively, Dcpo of dcpos) to the category Pos of posets (respectively, LDcpo of local dcpos), and study the existence of its left and right adjoints. Moreover, we give the concrete forms of free and cofree S-ldcpos over a local dcpo, where S is a local dcpo monoid. The main results are: (1) The forgetful...

For every profinite group G, we construct two covariant functors ∆G and APG from the category of commutative rings with identity to itself, and show that indeed they are equivalent to the functor WG introduced in [A. Dress and C. Siebeneicher, The Burnside ring of profinite groups and the Witt vectors construction, Adv. Math. 70 (1988), 87-132]. We call ∆G the generalized Burnside-Grothendieck ...

Necessary and sufficient conditions are given for the EilenbergMoore comparison functor <1> arising from a functor U (having a left adjoint) to be a Galois connection in the sense of J. R. Isbell, in which case the functor U is said to be of subdescent type. These conditions, when applied to a contravariant hom-functor U = C(-, B) : C°p -» Set, read like a kind of functional completeness axiom ...

The object of this paper is to prove that the standard categories in which homotopy theory is done, such as topological spaces, simplicial sets, chain complexes of abelian groups, and any of the various good models for spectra, are all homotopically self-contained. The left half of this statement essentially means that any functor that looks like it could be a tensor product (or product, or sma...

Past studies of the Brauer group of a scheme tells us the importance of the interrelationship among Brauer groups of its finite étale coverings. In this paper, we consider these groups simultaneously, and construct an integrated object “BrauerMackey functor”. We realize this as a cohomological Mackey functor on the Galois category of finite étale coverings. For any finite étale covering of sche...

Namely, the assumption implies that for every prime p, one has induced isomorphisms H∗>n(BH;Z/p) → H∗>n(BG;Z/p) and thus, by applying the “reconstruction functor”, isomorphisms H∗(BH;Z/p)→ H∗(BG;Z/p). Since BG and BH are spaces of finite type, it follows that the induced map H∗(BH;Z)→ H∗(BG;Z) is an isomorphism too. Thus, by Jackowski [6] and Minami [10], ρ is an isomorphism of Lie groups. In s...

Given a cohomological functor from a triangulated category to an abelian category, we construct under appropriate assumptions for any localization functor of the abelian category a lift to a localization functor of the triangulated category. This discussion of Bousfield localization is combined with a basic introduction to the concept of localization for arbitrary categories.