范畴论相关论文
在抽象代数(abstract algebra)中,同构(isomor-phism)指的是一个保持结构的双射(bijection).在更一般的范畴论语言中,同构指的是一......
泛型程序设计思想是软件重用技术中重要的思想，近年来这个思想受到广泛的重视并发展很快，为了更有效地保证泛型程序设计的正确性，本文......
共代数理论自从20世纪90年代以来，已经得到广泛的研究和应用，越来越引起计算机研究人员的关注，已经成为理论计算机科学的研究热点之一......
范畴理论是20世纪40年代中后期，由S.Eilenberg和S.MacLane等为研究同调代数而创立的一个抽象代数分支，以范畴、函子和自然变换等为基......
本文主要讨论了具有最大元的格作用在半格上得到L-半格的结构理论，主要包括以下几方面的内容：L-半格的同余关系及同余格的性质；L-半格......
随着社会经济的发展,突发公共事件的形式日趋多样化,发生的频率也必然会越来越高。如何在时间约束条件下,快速制定应急预案,实现多......
1986年，C.J.Mulvey在研究非交换的C*-代数的谱时首先引入了Quantale的概念.从此，Quantale理论受到了数学家和逻辑学家的关注，1992年C.......
自从C.J.Mulvey于1986年提出Quantale概念以来，Quantale理论受到了数学家和逻辑学家的关注.基于Quantale和C＃-代数的基本理论，C.J.Mul......
学位
Turaev在[19，11.2节]中引入了π-余代数以及Hopfπ-余代数的概念。设k是-固定的域，给定一个离散群万.域k上的π-余代数C={Cα}α∈π......
本学位论文包含两个部分：Abel范畴中的pullback与蝴蝶结引理，Abel群层范畴中的pullback与pushout。 在第二章，我们利用Abel范畴中......
如果不考虑继承性,并发性与对象技术的结合是很自然的.继承反常(又称继承异常)现象是继承性和并发性不相容的主要原因之一.现阶段......
处在坎坷发展道路上的德育论，正遭受着理论性不强、体系不健全、缺乏对实践的启示与合理观照等病症的折磨。范畴意识淡薄，范畴思维遗......
非良基集合论是在标准集合论ZFC中用非良基公理替换良基公理FA得到的公理化集合论系统。由于非良基公理具有扩大集论全域的作用，非......
摘要本文探索了康德范畴论的起源及其价值的产生依据。首先,作为先验逻辑的第一部分的分析论,其目的必然是要说明有纯粹的验前概念......
【摘要】中国古代思维方式产生了各种文化形态和文艺理论。文章浅析中国古代思维方式渊源和主要特征，这种思维方式也影响着中国画范......
相对于其他学科，道教研究在中国起步较晚，而道教美学研究起步就更晚。1997年之前，道教美学研究领域里可以说是一片荒凉。是潘显一先生......
艾伦伯格是二战后一位卓越的数学家,他与麦克莱恩搭档成为范畴论的奠基人,改变了数学家研究拓扑的方式.艾伦伯格与亨利·嘉当开创......
提作为在1940年代第一位引介希腊哲学进入中国的学者，陈康先生在学界久享盛誉。他更因为《柏拉图巴曼尼得斯篇译注》（1944）而知名，而此......
思想政治教育学范畴论是思想政治教育学基础理论研究中的薄弱环节,其重要原因之一是对思想政治教育范畴论及其相关领域的研究现状......
采用范畴论,把工作流过程模型中的元素抽象为工作流构件,模型中的逻辑次序抽象为构件之间的态射关系,提出一种基于构件的工作流范......
针对与视点集成相关的问题,首先讨论了基于开发关系的视点集成方式,然后提出了一种基于二元递增方式的视点集成过程;同时采用范畴......
以范畴论为指导,设计气象服务同构模型,构建基于软件重用的气象服务系统。首先对气象服务时间、空间、内容和协同四个共同特征进行......
引入幂分子格范畴、L底幂分子格范畴、幂拓扑分子格范畴和L底幂拓扑分子格范畴.给出幂分子格范畴与分子格范畴、L底幂分子格范畴与......
多视点需求工程方法以视点的形式，分散、独立地获取和表示不同项目相关人员的需求信息。为生成一份统一的规格说明，必须对所有相关的......
在语义Web环境下，单一和分散的知识库会引发数据的冗余和不一致性，且严重影响知识库智能化查询，降低知识库中数据的重用性和可操作性......
主要考虑了以下3个问题:(1) 通过将正则序类理论态射(延拓为多类型理论态射,得到了模型函子( )·和( )#都与(可交换的结论;(2)......
离散数学课程的知识结构,是课程教学的一个重要问题.本文在厘清其基于集合论结构主义观点的基础上,自然地导入范畴论的概念,并说明......
归纳数据类型利用代数方法从构造的角度归纳地描述数据类型的有限语法结构,但在描述动态行为方面存在一定的不足。作为归纳数据类......
函数式程序语言Haskell中的Monads理论在描述上下文依赖计算等方面存在一定的不足。作为Monads的范畴论对偶概念,Comonads理论可以......
提出了一种基于范畴论的多目标语言程序生成架构,程序元素的元类型在程序元模型范畴中定义,常用的软件开发模式由元模型实例组成并......
归纳数据类型是类型论研究的重要分支,传统的数理逻辑或代数方法侧重于描述归纳数据类型的有限语法构造,在语义性质与归纳规则的分......
范畴数据类型是指以范畴论为数学理论基础研究数据类型的描述、计算、语义和应用。早期的范畴数据类型研究以归纳数据类型为主,采......
针对各种本体语言在描述本体过程中容易产生理解不一致的问题,利用范畴论的抽象性及图形化表示的优势,提出一种基于范畴论的本体描......
本体技术是语义Web的核心。现有的本体方法都是基于集合论的，本文从范畴论的层次分析了集合论数学的局限性，以及这种局限性对现有本......
数据模型是共享系统设计与开发的核心与基础,范畴论对研究共享系统数据模型的建模方法具有独特的优势,为语义计算与程序逻辑的精确......
我们给出了不同于传统的用到稠密性质的对度量空间之完备化空间的定义，并证明此定义与传统定义等价。此定义用范畴论的语言给出，使其......
范畴论中的单子是包含一个函子和2个自然变换的三元组,而函数式F#语言中的单子则是由包含构造子和return操作和bind操作的三元组。......
偶图是由Robin Milner在2001年提出的一种基于图形的形式化理论模型,试图为普适计算提供一个设计、模拟和分析的平台以及为现有的......
在商品形成的价值中,既可以是劳动创造的价值,也可以是稀缺的自然"产"品"生成"的价值.价值实现劳动创造价值,但价值分配劳动不创造......
逻辑范畴是对客观现实最一般存在形式的反映,是逻辑思维反映和把握现实的具体真理的基本形式和逻辑工具,因而成为哲学,尤其是逻辑......
针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出m......
以对象和态射同时带类型的范畴为研究对象,讨论了经典数学范畴论的推广问题。首先提出了＂分类与类型化是人类认识世界的基本方法＂的......
近年来网上银行业务发展迅速,但网上银行业务在给用户带来便捷的同时带来了一系列的安全问题,而网银客户端环境的安全性是整个网银......
《孙子兵法》中处处闪烁着朴素的辩证法的光彩，其中特别善于使用范畴是《孙子兵法》的一大特点。本文尝试分析“强”与“弱”这对范......
