关于topos中的内蕴Heyting代数对象(英文)

本文研究了在一般topos中内蕴Heyting代数对象的性质.利用范畴的态射及伴随的方法,获得了内蕴Heyting代数对象为内蕴分配格结果,推广了集合范畴中的对应结果.

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)

新型集合套范畴的弱Topos性

借助模糊集理论中的集合套理论 ,引入一种新型的集合套范畴 SEB3。它满足卡氏积封闭性 ,但不是 Topos,而是介于卡氏积封闭性和 Topos之间的一种结构 ,我们称之为弱

说不尽的Topik和Topos

正我们在阅读的时候,大体上都有这样的经历,即,往往会被某个书名和书中的某个词深深吸引。必须承认,某些稀奇古怪的字或词本身具有一种神奇的魔力。讲一件自己亲身的经历以及由此而产生的学问兴趣。1993年冬。

中间物质和弱topos的定义

在已知范畴 Fuz,范畴 FR( Y) ,范畴 F uz Fuz有“中间物质和弱 SC”的基础上 ,利用偏序集和态射之间的偏序关系在一个抽象的范畴中给出中间物质的定义 ,将具有中间物质的 Cartesian Closed范畴称为一个弱 topos,并证明了范畴 F uz,范畴 FR( Y)和范畴 F uz Fuz都是弱 topos,从而在 Cartesian Closed范畴与

Topos中的模糊对象和模糊范畴

在一个topos中引入模糊子对象的概念 ,给出了一个对象的元素x对一个模糊子对象的隶属度的定义 .在一个布尔topos中讨论了模糊子对象的运算 .最后给出了由toposC的模糊子对象构成的范畴FC ,研究了范畴FC的等化子性质 ,有限积性质 ,并证明了范畴FC有最终元存在 .

范畴M-Fuz的Topos性质(续)

进一步讨论了范畴Ｍ┐Ｆｕｚ的ｔｏｐｏｓ性质．指出虽然范畴Ｍ┐Ｆｕｚ不是一个ｔｏｐｏｓ（因为它没有ｓｕｂｏｂｊｅｃｔｃｌａｓｉｆｉｅｒｓ），但它有两个特殊的物质，我们称之为中间物质和弱Ｓｕｂｏｂｅｃｔｃｌａｓｉｆｉｅｒ，这两个物质有类似于ｔｏｐｏｓ中的最终元和ｓｕｂｏｂｊｅｃｔｃｌａｓｓｉｆｉｅｒ的功能．于是我们引入了Ｗ－Ω公理和ｗｔｏｐｏｓ的概念．特别当Ｍ＝｛ｅ｝时。

外延topos中的模糊物质

在一个外延 top os中引入子物质套的概念 ,并在物质 d的子物质套的类 U( d)中引入弱等价关系和强等价关系 ,进而将子物质套的等价类定义为模糊子物质 .给出了模糊子物质的隶属函数 ,讨论了模糊子物质的运算 .其目的是为了在一个 topos的框架下开展模糊系统理论的研究 .

Topos总第54期

好的照明设计是夜间户外空间被接受的根本．规划者普遍认为其中的关键问题是照明质量。照明设计象其它环境设计学科一样，从宏观到微观都应进行考虑。Mark Major的文章对照明问题在照明总体规划、建造形式照明和细节照明三个层面进行了讨论。哪里有光哪里就有影子，Ilka Schmid的文章讨论了投影用于开放空间设计的潜力。Sandra Hofmeister就光空间的感知问题采访了艺术家Olafur Eliasson。

Topos（德）第53期

本期主题是交通，交通是社会兴旺的首要条件，需要进行文化交流和运输货物。在许多城市交通堵塞限制了坐车带来的自由。机动性成为每个人生存的需要。本期关注迥异的交通形式，介绍了一些可效仿的建筑。如台湾的步行桥、莱比锡汽车生产厂的复杂规划、以及以色列和布里斯班的机场。当意大利利古里亚海岸的火车线改道内陆后，原火车道成为线形海滨公园，为骑自行车、散步、慢跑和爬山带来了便利。亚洲数万的城市过去大规模的交通规划带来了越来越多的私家车，从而招致了更多的问题。在曼谷许多的曾作为水道的运河、渠道被填平铺路，后来直通大道穿过城市，现在高架火车系统架在混乱的交通道路上，同时也改变了人们经过闹市区的感觉。从上面鸟瞰，事物看起来会不同，德国埃姆舍地区的堤坝、桥和阿姆斯特丹B0rneo-Sporenburg地区的钢铁步行桥为人们带来了新的视野。瑞士园林设计师Olivier Lasserre则呈现了从空中乌瞰农田景观的景色。另外，还介绍墨尔本水中步行桥，荷兰新颖的公交站设计，挪威首都奥斯陆的主要大街——卡尔兆汉斯大街的改造，斯里兰卡海啸后海岸地区的发展与重建，约旦亚喀巴港的规划等。

Caddy Topos Sail篷车沙龙

打开车顶的天窗又或是顶篷，是否就是最拉风的兜风方式？当你看到大众Caddy Topos Sail篷车沙龙后，你才知道原来还可以如此享受生活。借车尾的梯架拾级而上，便能到达车顶的木制“甲板”，前端部分还可随意调整角度抬起，让身体以最舒适的姿势躺卧。

Narciclasine,a novel topoisomerase I inhibitor,exhibited potent anti-cancer activity against cancer cells

DNA topoisomerases are essential nuclear enzymes in correcting topological DNA errors and maintaining DNA integrity.Topoisomerase inhibitors are a significant class of cancer chemotherapeutics with a definite curative effect.Natural products are a rich source of lead compounds for drug discovery,including anti-tumor drugs.In this study,we found that narciclasine(NCS),an amaryllidaceae alkaloid,is a novel inhibitor of topoisomerase I(topo I).Our data demonstrated that NCS inhibited topo I activity and reversed its unwinding effect on p-HOT DNA substrate.However,it had no obvious effect on topo II activity.The molecular mechanism of NCS inhibited topo I showed that NCS did not stabilize topo-DNA covalent complexes in cells,indicating that NCS is not a topo I poison.A blind docking result showed that NCS could bind to topo I,suggesting that NCS might be a topo I suppressor.Additionally,NCS exhibited a potent anti-proliferation effect in various cancer cells.NCS arrested the cell cycle at G_(2)/M phase and induced cell apoptosis.Our study reveals the antitumor mechanisms of NCS and provides a good foundation for the development of anti-cancer drugs based on topo I inhibition.

苦参碱逆转小鼠S_(180)肿瘤细胞获得性多药耐药基因相关表达产物过度表达的研究

目的:观察苦参碱对模拟临床化疗顺铂+5-氟尿嘧啶+环磷酰胺(PFC)方案诱导的小鼠S180细胞多药耐药相关基因表达产物过度表达的逆转作用,明确其对多药耐药逆转的作用及其作用的分子机制。方法:模拟临床PFC方案,分别给小鼠顺铂3 mg/kg.ip,环磷酰胺和5-氟尿嘧啶(5-FU)各3 mg/kg.ip,获得耐药S180小鼠模型。腹腔接种传代后24 h随机分组,对照组给予纯净水0.2 m l/10 g灌胃,苦参碱100 mg/kg和50 mg/kg组给分别给予0.5%、0.25%的苦参碱溶液0.2 m l/10 g灌胃,连续10天,流式细胞术免疫荧光检测肿瘤细胞多药耐药基因表达产物细胞膜糖粘蛋白(P170)、肺耐药蛋白(Lung resistance prote in,LRP)、DNA拓扑异构酶Ⅱ(DNA,Topoisom eraseⅡ,TOPOⅡ)的影响。结果:苦参碱降低耐药S180肿瘤多药耐药相关基因表达产物P170、LRP、TOPOⅡ表达率。结论:苦参碱逆转肿瘤多药耐药作用与其对肿瘤多种相关生物分子因子的调节有关。临床可以根据肿瘤多药耐药的性质,通过调节多药耐药相关因子逆转肿瘤化疗耐药性,提高临床化疗疗效。

粉防己碱对获得性多药耐药小鼠S180肿瘤细胞P_(170),LRP,TOPO Ⅱ表达的调控

目的:观察粉防己碱口服给药对化疗诱导的多药耐药基因表达产物P170、肺耐药蛋白LRP和拓扑异构酶Ⅱ(TOPOⅡ)的影响。方法:以亚于治疗剂量的联合化疗PFC方案,化疗诱导建立小鼠S180肿瘤细胞多药耐药模型,同时给予粉防己碱4周,流式细胞仪荧光检测P170,LRP,TOPOⅡ。结果:粉防己碱明显降低化疗诱导后耐药细胞P170,LRP的表达率和ROPOⅡ活性。结论:粉防己碱可通过抑制耐药基因表达和DNA拓扑异构酶活性,干预化疗诱发的肿瘤细胞多药耐药的产生。

P-gp、GST-л、TopoⅡ在胃癌组织中的表达及临床意义

目的 探讨P gp、GST л、TopoⅡ在胃癌组织中的表达及临床意义。 方法 采用免疫组化方法研究了P gp、GST л、TopoⅡ在胃癌组织中的表达情况。 结果 P gp、GST л、TopoⅡ在胃癌组织中的表达率分别为 5 9.74 %、6 7.5 3%、83.12 %。除TopoⅡ的表达与组织学类型有关外 (P <0 .0 0 1) ,其余与各项临床病理参数均无关 (P >0 .0 5 )。结论 胃癌组织中存在着P gp、GST л、TopoⅡ表达水平的变化 ,临床检测P gp、GST л、TopoⅡ对胃癌化疗方案的制定具有重要的指导意义。

中药生物碱逆转小鼠S180肉瘤细胞获得性多药耐药相关生物因子的过度表达

目的:探讨中药生物碱口服给药逆转化疗诱导的肿瘤细胞MDR的分子生物学基础,以指导临床应用中药逆转肿瘤多药耐药,提高化疗疗效。方法:给予亚于治疗剂量的联合化疗诱导腹水型S180小鼠,苦参碱、粉防己碱、氧化苦参碱和盐酸小檗碱4周,流式细胞仪免疫荧光检测S180肿瘤细胞P170,LRP,TOPOII,Fas和细胞凋亡率。结果:苦参碱、粉防己碱明显降低化疗诱导后耐药细胞P170,LRP的表达率和TOPOII活性,增加凋亡基因Fas表达率,促进耐药肿瘤细胞的凋亡;盐酸小檗碱明显降低化疗诱导后耐药细胞LRP,TOPOII的表达率;氧化苦参碱明显降低化疗诱导后耐药细胞LRP的表达率。结论:苦参碱、粉防己碱可通过对MDR相关生物活性物质的调节,干预化疗诱发的MDR的产生,并且其作用程度与生物碱的结构相关。

华蟾素注射液对人肝癌HepG-2细胞DNA拓扑异构酶Ⅰ的影响

背景与目的:华蟾素注射液是传统抗肿瘤中药制剂,目前药效机制尚不明确。本研究旨在探讨华蟾素注射液对DNA拓扑异构酶Ⅰ(topoisomerase Ⅰ,TOPOⅠ)的影响。方法:采用噻唑蓝还原法(MTT)观察华蟾素注射液对人肝癌HepG-2细胞增殖的影响;采用流式细胞术(FCM)检测对HepG-2细胞周期的影响;采用RT-PCR法检测对HepG-2细胞TOPOⅠmRNA表达的影响;采用TOPOⅠ介导的负超螺旋PBR322 DNA解旋反应检测华蟾素对TOPOⅠ酶活性的影响;采用负超螺旋PBR322 DNA检测华蟾素对DNA的直接抑制作用。结果:华蟾素注射液对HepG-2细胞增殖具有抑制作用,其抑制效应具有时间和剂量依赖性;并将HepG-2细胞阻滞于S期;RT-PCR检测表明,华蟾素注射液可下调TOPOⅠmRNA表达,表现浓度依赖效应;对TOPOⅠ介导的负超螺旋PBR322 DNA解旋反应有抑制作用;对负超螺旋PBR322 DNA没有直接抑制作用。结论:华蟾素注射液能够抑制HepG-2细胞增殖,影响DNA拓扑异构酶Ⅰ酶的mRNA表达及活性可能为机制之一。

TopoⅡα、GST-π、P-gp在卵巢癌化疗耐药中的作用

目的探讨TopoⅡα、GSTπ、Pgp在卵巢癌化疗耐药中的作用。方法采用免疫组化SP法、计算机图像分析技术对80例卵巢癌、20例良性上皮性卵巢肿瘤、20例正常卵巢组织中TopoⅡα、GSTπ、Pgp的表达进行检测。结果卵巢癌中TopoⅡα、GSTπ、Pgp的表达显著高于正常组及良性肿瘤组,P<0.05。TopoⅡα、GSTπ的表达与肿瘤分化程度有关,分化越差表达越高,P<0.05;Pgp的表达与多种病理因素无关,P>0.05。术前化疗组GSTπ、Pgp的阳性表达率显著高于术前未化疗组,P<0.05。结论TopoⅡα、GSTπ、Pgp在卵巢癌耐药中发挥重要作用,这三项指标的联合检测对制定合理的化疗方案具有积极的指导意义。

黄连解毒汤醇提物预防给药对MDR模型小鼠相关基因表达产物的影响

目的:观察黄连解毒汤70%醇提物预防给药对小鼠多药耐药(MDR)基因表达产物P170、肺耐药蛋白(LRP)和拓扑异构酶Ⅱ(TOPOⅡ)的影响,探讨其干预MDR的分子生物学基础,指导临床应用以预防MDR的产生。方法:小鼠随机分为非耐药模型组、耐药模型组、黄连解毒汤70%醇提物100,50mg·kg^(-1)组,模拟临床PFC方案,建立小鼠S180肿瘤细胞多药耐药在体模型,同时给予黄连解毒汤70%醇提物4周,流式细胞仪荧光检测P170,LRP,TOPOII。结果:黄连解毒汤70%醇提物明显降低化疗诱导后耐药细胞P170,LRP的表达率和ROPOII活性。结论:黄连解毒汤70%醇提物可通过对相关生物活性物质的调节,干预和逆转化疗诱发的肿瘤MDR的产生。