博发线上娱乐城: FenZuo的个人博客分享 http://175.ib773.com/u/FenZuo

博发线上娱乐城:博文

物理、拓扑、逻辑与计算之罗塞塔石碑(四)

本文地址:http://175.ib773.com/blog-863936-1273148.html
文章摘要:博发线上娱乐城,捉鱼论坛:即便是输了想法一样我不回去了吼另外 我落日之森也会奉上一件礼物轰青帝和恶魔之主都直直。

已有 702 次阅读 2021-2-21 10:10 |个人分类:葡京体彩排列3开奖|系统分类:观点评述

物理、拓扑、逻辑与计算之罗塞塔石碑(四)


约翰·贝兹,博发线上娱乐城: 迈克·斯徳

2009年3月2日


2.3 幺半范畴


在物理学中,将两个并排放置的系统看作形成了一个单一的系统往往是很有用的。在拓扑学中,两个流形的无交并本身也是一个流形。在逻辑学中,两条陈述的合取还是一条陈述。在编程中,我们可以把两种数据类型组合成一种单一的“乘积类型”。“幺半范畴”的概念将所有这些例子统一在一个单一的框架当中。


一个幺半范畴C拥有一个函子C×CC,它取出两个对象X和Y,把它们放在一起给出一个新的对象XY。为了对此严格表述,我们需要范畴的笛卡尔积:


定义6 范畴C和C´的笛卡尔积C×C´是这样的范畴,其中:


对象是由一个对象X∈C与另一个对象X´∈C´组成的对(X,X´);


(X,X´)到(Y,Y´)的态射是由态射f:X→Y与态射f´:X´→Y´组成的对(f,f´);


  合成是按分量完成的:(g,g´)(f,f´)=(gf,g´f´);


恒同态射是按分量定义的:1(X,X´)=(1X,1X´)


麦克莱恩1963年定义了幺半范畴。其定义的微妙之处在于这一事实:(XY)Z与X⨂(YZ)通常并不相等。取而代之,我们必须指定它们之间的一个同构,叫做“结合子”。类似地,尽管幺半范畴具有“幺元对象”I,通常IX和XI并不等于X。取而代之,我们必须指定同构IXX和XIX。为了使其可控,这些同构必须接着满足某些方程:


定义7 一个幺半范畴由下列要素组成:


一个范畴 C


一个张量积函子⨂: C×CC


一个幺元对象I∈C,


一个称为结合子的自然同构,对每三个对象X,Y,Z∈C指定一个同构




Set 的情形,这说明集合X×X´的每一个点都来自X中的一个点和X´中的一个点。在物理上,这将表示组合系统XX´的每一个态g都是将系统X和系统X´的态组合起来所构建的。贝尔定理说明在量子理论中这是 对的。其原因就是,量子理论使用非笛卡尔幺半范畴Hilb


此外,在量子理论中我们不能 自由地复制和删除信息。伍特斯和祖瑞克就这一效应证明了一个精确的定理,并聚焦在复制上:“不可克隆定理”。你也可以证明一个“不可删除定理”。再一次地,这些结果依赖于Hilb 的非笛卡尔张量积。






http://175.ib773.com/blog-863936-1273148.html

上一篇:物理、拓扑、逻辑与计算之罗塞塔石碑(三)
下一篇:物理、拓扑、逻辑与计算之罗塞塔石碑(五)

1 张文忠

该博文允许注册用户评论 请点击登录 评论 (1 个评论)

数据加载中...

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2021-2-26 15:09

Powered by 175.ib773.com

Copyright © 2007- 中国科学报社

返回顶部
京城娱乐怎么注册 威尼斯人赌城网上娱乐场 好彩票官网直营网 澳门赌场VR快艇官网 捷豹彩票现金直营网
www.2138.com 申博太阳城AV女优荷官登入 澳门新葡京AG国际馆彩票官网 威尼斯人登入网址 瑞博备用网址开户
皇家大小骰宝彩票 申博申博馆开奖直播 海立方VR快艇时时彩开奖记录 太阳城江西11选5时时彩软件 二维码小游戏
yg杀手23登入 大有娱乐登入登入 申博娱乐 银泰湖南快乐十分时时彩q群 淘金北京PK10官方网