ON THE EMBEDDING OF TOP IN THE CATEGORY OF STRATIFIED L-TOPOLOGICAL SPACES

§1. Introduction and PreliminariesLet L be a complete lattice. An L-topology on a set X is a subset τ of LX closed withrespect to ?nite meets and arbitrary joins. (X,τ) is called an L-topological space. The L-topology τ is called strati?ed if it contains all the constant maps from X to L, and in this case(X,τ) is called a strati?ed L-topological space. A continuous map between two L-topologicalspaces (X,τX) and (Y,τY ) is a function f : X ?→ Y such that f←(λ) = λ ? f ∈ τX…     

具有性质(G'_k)的Wakamatsu倾斜模

本文引进了具有性质(G'k)的Wakamatsu倾斜模的概念,并用同调有限子范畴的性质对其进行了刻画．     

关于一般范畴中态射的加权Moore-Penrose逆

讨论了带有对合＊的一般范畴C中态射的加权Moore-Penrose逆,给出了加权Moore-Penrose逆存在的几个充要条件以及若干性质.     

对偶扩张代数的shod子范畴与反变有限子范畴

设A是一个有限维代数,R是A的对偶扩张代数。本文研究代数R的shod子范畴,A-模范畴D的倾斜对象与R-模范畴D的倾斜对象之间的关系以及R的反变有限的子范畴。     

关于Drazin逆的刻划

Let ■ be a pre-additive category. Assume that ψ:X→X is a morphism of (?). In this paper, we give the necessary and sufficient conditions for ψ to have the Drazin inverse by using the von Neumann regular inverse for the ψk, and extend a result by Puystjens and Hartwig from the group inverse to Drazin inverse.     

弱加法范畴的特殊根和Brown—McCoy根

引言 [1]中将象元类是I的加法范畴记作A=∪_αA_β,其中_αA_β表示Hom(α,β)中所有态射之集。据范畴的定义,对于任意α∈I,_αA_α中必有单位元_α|_α,从而对于范畴中规定的加法和乘法来说,_αA_α作成一个有单位元的结合环,今将加法范畴中去掉_αA_α必有单     

具1-关系的正规乘基的有限表示型连通基本代数

本文确定了所有的具有１ 关系的正规乘基的有限表示型连通基本代数．     

关于具有终对象的范畴的一些结论

本文对于具有终对象的范畴的一些结论进行了讨论，诸如在满足公理(P)和公理(U)的条件下的一些结果;另外，关于象与逆象的一些命题也进行了论证.     

Topos理论简介

Topos概念的提出(即elementary topos的公理化)是在研究了如下几类范畴之后:Grothendieck topos,集合的范畴S,以及集合论的布尔值模型。 Grothendieck提出用拓扑空间X上的set valued sheaf的全体做成的范畴Sh(X)作为推广了的拓补空间X,用以研究空间X上的上同调.他把拓扑的概念推广到小范畴(smallcategory)C上,称为一个site(或称为Grothendieck拓扑,参看第2节)。这样就可以考虑给出的site(C,J)上的set valued sheaf的全体做成的范畴Sh(C,J),用它来研究site(C,J)     

Locale范畴中的零维性

本文讨论ｌｏｃａｌｅ的零维性质，主要结果有：（１）给出ｌｏｃａｌｅＡ的核映射（ｎｕｃｌｅｕｓ）构成的ｌｏｃａｌｅＮ（Ａ）中上确界的点式刻划，并得到了Ｎ（Ａ）的紧性与Ａ的紧性之间的关系；（２）给出零维ｌｏｃａｌｅ与ｃｏｈｅｒｅｎｔｌｏｃａｌｅ之间的关系，以及零维ｌｏｃａｌｅ的紧零维反射；（３）给出零维ｌｏｃａｌｅ范畴在ｌｏｃａｌｅ范畴中的刻划．