规范化量子电路
发布人:John Baez
来宾发帖人乔瓦尼·德·费利斯和利奥·洛夫斯基
这篇文章标志着应用范畴理论学校. The今年的导师是米里亚姆·巴肯斯、托比亚斯·弗里茨和皮特霍夫斯特拉(Hofstra)、巴托斯·米列夫斯基(Bartosz Milewski)、梅赫努什·萨达德(Mehrnoosh Sadrzadeh)和大卫(David)斯皮瓦克。每个导师都提供了两篇与以下内容相关的论文他们提出的应用类别领域的项目理论。我们的学生阅读这些论文,获得参与项目所需的背景。作为其中的一部分在这个过程中,他们会在每张纸上写一篇文章并张贴在这里。
Kantorovich Monad酒店
西蒙·威勒顿发表
来宾发帖人保罗·佩罗内
在这个博客上有很多关于范畴理论和概率相互作用的帖子(例如在这里,在这里,在这里、和在这里),以及将范畴理论应用于凸结构的研究(例如在这里,在这里、和在这里)。
范畴概率理论的核心结构之一是概率单子概率单子可以被认为是一种扩展空间的方法,以便它们除了包含元素之外,还包含随机元素。
这里我想讨论度量空间范畴中的概率单子:Kantorovich单子。正如你们中的一些人可能怀疑的那样,这与坎托洛维奇二重性有关出现在这个博客上在丰富的亵渎者的背景下。Kantorovich monad是由Franck van Breugel在其注释中为紧度量空间引入的概率不确定性的度量单数(pdf格式). 在我的博士论文中(pdf格式)托比亚斯·弗里茨(Tobias Fritz)和我扩展了这个结构,发现了这个单子的一些非常特殊的性质。特别是,这个单子可以用有限元素序列的组合学来描述!我和托拜厄斯在这篇文章中解释了大部分工作:
发布时间:UTC上午10:36|永久链接|后续行动(9)
基于带有催化剂的Petri网的网络模型
发布人:John Baez
这是网络理论帮的另一篇论文:
•John Baez、John Foley和Joe Moeller,带催化剂的Petri网网络模型.
过来看!请报告打字错误或任何您理解有困难的内容!我很高兴在这里回答问题。
发布时间:UTC上午7:21|永久链接|后续行动(1)
可呈现性的神话与夏普利大型过滤器
Mike Shulman发布
局部可表示和可访问范畴和函子理论是范畴理论中处理大小问题的一个优雅而强大的工具。它包含了许多强有力的结果,许多结果都可以在标准参考书中找到本地可展示和可访问的类别(阿达梅克和罗西基)和可访问类别(Makkai和Pare),这可以在不需要理解他们(有时是相当技术性的)证明的情况下引用。
不幸的是,偶尔会引用一些这样的“结果”,但实际上在AR或MP中找不到,而且事实上是错误的。这些索赔如下:
神话A:“如果是本地的-可呈现类别和是一名普通红衣主教,然后每隔-可呈现对象可以写为-小的-过滤大肠杆菌-可呈现对象。”
神话B:“如果是本地可表示类别之间的可访问函子,则保存-所有足够大的常规基数的可表示对象.”
下面,我将回顾所有这些单词的定义,然后讨论人们如何相信这些神话,为什么它们不是真的,以及我们可以做些什么。
发布时间:UTC晚上9:29|永久链接|后续行动(12)
零星SIC与例外李代数III
发布人:John Baez
麦格理的博士后
Tom Leinster发布
代表我在悉尼的朋友发布
麦格理大学澳大利亚类别理论中心(Centre of Australian Category Theory at Macquarie University)正在为一个名为“在更高类别结构中综合工作”(Working inthensively in higher Category structures)的项目发布一篇为期两年的博士后论文广告。它特别适合于从事更高类别、2类别或同伦类型理论工作的人。
可获得更多信息在这里或随时与理查德·加纳联系(richard.garner@mq.edu.au)或者Steve Lack(史蒂夫·拉克@mq.edu.au)。
发布时间:UTC上午2:12|永久链接|后续行动(6)
把一些东西加起来需要多少工作量?
Tom Leinster发布
这里有一个谜题给你。计算任何东西都需要工作许多的工作?很明显,这取决于你如何计算。但是让我们做一些假设。
想象一下,我们有一台机器可以对任何有限序列进行累加属于非负实。这样做的成本工作单位——可能用电来衡量,或者土豆,或者我们机器使用的任何燃料。什么可以功能是合理的吗?
发布于UTC下午2:14|永久链接|后续行动(14)
偏序集类别之间的左伴随
发布人:John Baez
我有一大堆关于“偏序集上的自由格”之类的相关问题。我希望至少其中一些问题有很好的答案,至少对于有限偏序集来说是这样的。但我没能找到他们!
发布时间:UTC上午8:06|永久链接|随访(17)