一类Domain范畴及其笛卡儿闭子范畴

本文给出一类新的 Ｄｏｍａｉｎ范畴 ＡｌｇＤ■（即以代数 Ｄｏｍａｉｎ为对象,保逼近序的Ｓｃｏｔｔ连续函数为态射的范畴）及其满子范畴ＡｌｇＤ■（即以有底（最小元）的代数Ｄｏｍａｉｎ为对象,保逼近序的Ｓｃｏｔｔ连续函数为态射的范畴）,并且讨论它们的极大的笛卡儿闭的满子范畴．     

代数的局部完备集范畴和FS-局部dcpo范畴的笛卡儿闭性

本文引入了代数的局部完备集,FS-局部dcpo,局部稳定映射等概念．主要结果是：以局部Scott连续映射为态射的代数的局部完备集范畴,以局部稳定映射为态射的代数的局部完备集范畴以及以局部Scott连续映射为态射的FS-局部dcpo范畴都是笛卡儿闭范畴．     

笛卡儿闭Domain范畴的两个重要性质

对于CONT的任意一个笛卡儿闭的满子范畴C,构造CONT的两个新的满子范畴R-C(以C对象的收缩为对象的范畴)和B-C(以C扩张序列的双极限为对象的范畴),并证明了它们都是笛卡儿闭范畴。由于R-C和B-C都包含C为其满子范畴,利用上述结果可得CONT的极大笛卡儿闭子范畴必对收缩和双极限封闭。本文还从范畴笛卡儿闭性的角度给出了Domain理论中一个公开问题的等价描述。     

FS-相容Domain的定向完备化及相关范畴性质

引入FS-相容Domain概念，研究FS-相容Domain的性质，主要结果有：（1）FS-相容Domain的收缩核与连续函数空间还是FS-相容Domain；（2）FS-相容Domain是有限生成上集，从而是Scott紧的；（3）FS-相容Domain的定向完备化是FS-Domaln；（4）有最大元的FS-Domain去掉最大元后是FS-相容Domain；（5）证明了以Scott连续映射为态射，FS-相容Domain为对象的范畴FS-CDOM是笛卡儿闭范畴并以FS-Domain范畴FS-DOM作为满的反射子范畴。     

EXPONENTIAL LAW AND θ-CONTINUOUS FUNCTIONS

Abstract

The category θ-Top of topological spaces and θ-continuous functions is not Cartesian closed; but it is known that under certain local property assumptions, the exponential law in θ-Top is fulfilled. We define a functor from θ-Top to the category of H-θ-topological spaces and prove that in this category the exponential law holds without any local property assumptions. We also provide a functor from θ-Top to Katětov's category of filter-merotopic spaces, which is Cartesian closed.     

CARTESIAN CLOSED COREFLECTIVE HULLS

Conditions are established under which a given class of objects in a topological category will have a Cartesian closed coreflective hull. The main theorem is used to discover new Cartesian closed topological categories and to unify a diversity of known special results. It also provides a mild criterion for the existence of Cartesian closed topological hulls.     

Picard groups of derived categories

We investigate the group of isomorphism classes of invertible objects in the derived category of -modules for a commutative unital ringed Grothendieck topos with enough points. When the ring has connected prime ideal spectrum for all points p of we show that is naturally isomorphic to the Cartesian product of the Picard group of -modules and the additive group of continuous functions from the space of isomorphism classes of points of to the integers . Also, for a commutative unital ring R, the group is isomorphic to the Cartesian product of Pic(R) and the additive group of continuous functions from spec R to the integers .     

Representation theorems for directed completions of consistent algebraic L-domains

In this paper, consistent algebraic L-domains are considered. One algebraic and two topological characterization theorems for their directed completions are given. It is proved that eliminating a set of maximal elements with empty interior from an algebraic L-domain results a consistent algebraic L-domain whose directed completion is just the given algebraic L-domain up to isomorphism. It is also proved that the category CALDOM of consistent algebraic L-domains and Scott continuous maps is Cartesian closed and has the category ALDOM of algebraic L-domains and Scott continuous maps as a full reflective subcategory. Received January 8, 2005; accepted in final form June 15, 2005.     

CARTESIAN CLOSEDNESS AND THE MCNEILLE COMPLETION OF AN INITIALLY STRUCTURED CATEGORY

Abstract

An adaptation of a theorem by Herrlich [5] shows that every initially structured category A can be fully embedded in a topological category A_C, which is, in fact, a MacNeille completion of A. It is then shown that A is Cartesian closed if and only if A_C is.

Also developed is the notion of a Cartesian closed initially structured (CCIS) hull of a category. The theory of the CCIS hull is analogous to that of the Cartesian closed topological (CCT) hull. It is proved that a category has a CCT hull-if and only if it has a CCIS hull; and this allows the list of conditions equivalent to the existence of a CCT hull to be supplemented.

Examples are given, drawn mainly from the various categories of binary relations.     

Limit分子格

通过在完全分配格上引入理想收敛,给出ｌｉｍｉｔ分子格及其范畴,证明了其是包含拓扑分子格范畴为全反射范畴的笛卡儿闭范畴．     

Free Modules over Cartesian Closed Topological Categories

The construction of free R-modules over a Cartesian closed topological category X is detailed (where R is a ring object in X), and it is shown that the insertion of generators is an embedding. This result extends the well-known construction of free groups, and more generally of free algebras over a Cartesian closed topological category. Mathematics Subject Classifications (2000) 18D15, 18D35, 18A40.     

EXTENDING SCHEMES TO A CARTESIAN CLOSED CATEGORY

Abstract

Our objective was to embed schemes of finite type over a field k in a suitably small Cartesian closed category. Two types of globalized versions of an ind-affine scheme were proposed: locally ind-affine ringed spaces and ind-schemes obtained by taking the inductive limit of closed subschemes of a locally ind-affine ringed space in ringed spaces. First in ε case some reasonably general conditions implying that translations, basic open subsets and closed subsets of an ind-affine scheme are again ind-affine schemes were obtained. Certain immersive properties of locally ind-affine ringed spaces are shown. As an adjunct we then determine a class of locally ind-affine ringed spaces which since they patch appropriately are ind-schemes. A restriction of locally ind-affine ringed spa1 leads to the category of locally ind-affine schemes (containing the category of schemes of finite type over k) which is see1 to be Cartesian closed with respect to the contravariant variable. Possible extensions to the covariant variable are studied.     

Cartesian Closed Subcategories of $CONT_{\ll }^{{\kern 8pt}\ast }$

Let CONT _? be the category of continuous domains and Scott continuous mappings that preserve the way-below relation on domains. Let ω-ALG _? be the full subcategory of CONT _? consisting of all countably based algebraic domains, and F I N be the category of finite posets and monotone mappings. The main result proved in this paper is that F I N is the largest Cartesian closed full subcategory of ω-ALG _?. On the other hand, it is shown that the algebraic L-domains form a Cartesian closed full subcategory of ALG _?.     

A Convenient Category of Locally Preordered Spaces

As a practical foundation for a homotopy theory of abstract spacetime, we extend a category of certain compact partially ordered spaces to a convenient category of “locally preordered” spaces. We show that our new category is Cartesian closed that the forgetful functor to the category of compactly generated spaces creates all limits and colimits.     

Cartesian Closedness,Extensionality and Bornological Universes

In this paper we describe the Cartesian closed topological hull, extensional topological hull and topological universe hull of both the category of closed and of open bornological universes.     

INITIAL COMPLETIONS OF MONOTOPOLOGICAL CATEGORIES,AND CARTESIAN CLOSEDNESS

Abstract

Herrlich and Strecker [9] give examples of monotopological categories for which the MacNeille completion coincides with the universal initial completion. It is shown here that this situation always holds for monotopological categories. If the category is a proper monotopological c-category, then the MacNeille completion also coincides with the largest epi-reflective initial completion. During the course of the proof a lemma is given which characterizes monotopological categories (not necessarily c-categories) which are already topological. (Schwarz [14] gave such a characterization for the case of c-categories.)

It is also shown that a monotopological c-category is Cartesian closed if and only if its largest epi-reflective initial completion is Cartesian closed. A similar result holds for the case of a topological category which is not necessarily a c-category.     

Local connectedness in merotopic spaces

Abstract

In this paper uniformly locally uniformly connected merotopic spaces are studied. It turns out that their structural behaviour is essentially similar to that one of locally connected topological spaces. The introduced concept is also investigated for spaces of functions between filter-merotopic spaces (e.g. topological spaces, proximity spaces, convergence spaces) and the relationship to other concepts of local connectedness is clarified. In particular, the category of uniformly locally uniformly connected filter-merotopic spaces is Cartesian closed.     

GENERALIZATIONS AND CARTESIAN CLOSED SUBCATEGORIES OF SEMICONTINUOUS LATTICES

In this article, the authors mainly study how to obtain new semicontinuous lattices from the given semicontinuous lattices and discuss the conditions under which the image of a semicontinuous projection operator is also semicontinuous. Moreover, the authors investigate the relation between semicontinuous lattices and completely distributive lattices. Finally, it is proved that the strongly semicontinuous lattice category is a Cartesian closed category.     

关于交半格同态构成的函数空间与FS-交连续Domain

定义了一类序结构—FS-交连续domain,讨论其相关性质并证明:(1)FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函数空间封闭,以(代数)FS-交连续domain为对象、以Scott连续函数为态射的范畴是Cartesian闭范畴;(2)任意分配可乘的有界完备domain是FS-交连续domain,从而紧连续dcpo的Smyth幂domain是FS-交连续domain.这些结果表明,FS-交连续domain是关于保非空有限交的连续映射构成的函数空间封闭的最恰当序结构.     

CARTESIAN CLOSED TOPOLOGICAL HULLS AS INJECTIVE HULLS

Abstract

It is shown that (concretely) Cartesian closed topological hulls can be characterized as injective hulls in a rather natural setting. The characterization of locale hulls as injective hulls in the category of (meet-) semilattices by Bruns & Lakser and Born & Kimura constitutes a special case.