【摘 要】
：
本文主要介绍了严格monoidal范畴的相关概念和定理，给出了严格monoidal范畴的一些结论和重要应用.
全文共两章.
第一章介绍了严格monoidal范畴的基本概念和定理，证明
论文部分内容阅读
本文主要介绍了严格monoidal范畴的相关概念和定理，给出了严格monoidal范畴的一些结论和重要应用.
全文共两章.
第一章介绍了严格monoidal范畴的基本概念和定理，证明了在一定条件下完备改写系统与Gr(o)bner-Shirshov基的等价性，并得出模范畴的一个性质:在模范畴中定义适当的等价关系，使该模范畴在张量积运算下成为严格monoidal范畴.
第二章证明了严格monoidal范畴中2-同余与2-同态之间的一一对应关系，严格monoidal范畴与相关的严格monoidal商范畴的等价性，给出了一个一般的自由严格monoidal范畴的构造.
其他文献
非线性弹性材料，比如橡胶，在较强外力作用下会产生截然不同于线性弹性材料的性质，其中一个重要的现象即材料内部可能产生空洞，这就是所谓的空穴生成现象. 早在上世纪五十年代，G
嵌段共聚物的可控自组装行为可以在纳米尺度上形成非常丰富的有序结构，所以在现代工业特别是高性能纳米材料的研发中有广泛的应用前景.本文将以应用范围最广的自洽平均场理论
连通性是图的最基本的性质之一,是图论中重要的研究课题。在实际应用中,连通图起着重要作用,它与网络模型和组合优化密切联系。讨论连通图的结构特征一直是图论研究的前沿课
中国绿色时报2015-08-14报道:上半年末,国内废纸行情慢慢走出市场冰冻期,各地区提涨气氛和观望气氛浓郁。7月中旬,废黄板的价格逐渐回落。以华南地区为例,福建废黄板市场主基
本文讨论了S-偏序系范畴的正则内射性质及函子理论.我们讨论了S-偏序系范畴若干同态的性质，给出了几类函子的保持和反射性质，并首次构造了偏群上偏序系的正则内射包.
本文做了两方面的工作.在第一部分里我们研究了边界退化椭圆方程-[a(x)uxi]xi+ biuxi+cu=f, x∈Ω,在Hilbert空间中弱解的存在唯一性，其中Ω(∈)RN是一边界适当光滑的有界区域
本文考虑双重退化拟线性椭圆方程组({-div(h1(x)|▽u|p-2▽u)=a(x)|u|r-2u+λ(γ+1)|u|γ|v|δv,x∈Ω,-div(h2(x)|▽v| q-2▽v)=b(x)|v|s-2v+λ(δ+1)|u|γ|v|δu,x∈Ω,u|(
本文利用偏微分方程的稳定性理论研宄了一类具有Holling功能反映函数的捕食问题 公式：（此处公式省略)的稳态解问题.首先，我们利用算子谱理论研宄了正常数平衡解的一致渐近稳
信任模型是分析和处理实体间信任关系以及确保网络安全的有力手段.对于实体综合信任评估,传统信任模型是通过全局收集实体的信任信息源计算实体信任值,但如此大规模搜索和信
陆河县位于汕尾市的西北山区,是一个设立仅仅15年的小县。因为年轻,陆河的基础建设与经济发展仍然相对滞后;也正因为年轻,陆河有着奋发向上的干劲与朝气蓬勃的步伐。在汕尾