2021年2月档案馆| n类咖啡馆

跳到主要内容

够了，已经够了！跳到内容。

数学ML

$MathML徽标$ 使用此徽标的帖子数学ML. 这些帖子是在itex公司（扩展WebTeX网站)使用itexToMML公司的文本过滤器插件可移动类型（该自述文件文件）。

日历

2021年2月
太阳	周一	星期二	结婚	清华大学	周五	坐
	1	2	三	4	5	6
7	8	9	10	11	12	13
14	15	16	17	18	19	20
21	22	23	24	25	26	27
28

2021年2月参赛作品

本土化理论（上）
- 2021年2月20日
- 克里斯蒂安·威廉姆斯（Christian Williams）与迈克·斯塔伊（Mike Stay）合著的新论文《本土类型理论》（Native Type Theory）。
应用范畴理论2021
- 2021年2月17日
- 你现在可以向2021年7月12日至16日举行的第四届应用范畴理论国际年会（ACT2021）提交论文。
伊萨多·辛格（Isadore Singer），1924-2021年
- 2021年2月15日
- 辛格于2021年2月12日去世。
莱斯特的混乱
- 2021年2月12日
- 伦敦数学学会（London Mathematical Society）对莱斯特大学（University of Leicester）拟裁减数学家一事表示支持。
切线∞-范畴和内聚
- 2021年2月2日
- 切线类别和衔接。

随机过去条目

技术问题
- 2006年9月2日
- 关于查看此博客并在其上发表评论的明智建议。
期刊俱乐部–几何无穷函数理论–第3周
- 2009年5月11日
- 本周，在我们的杂志俱乐部[[几何∞\函数理论]]，Bruce Bartlett讨论了“积分变换”的第3节：完美堆栈。到目前为止，我们有第一周：亚历克斯·霍夫农在介绍第二周，我在预赛中看到这里…
分裂的八元数和滚动的球
- 2015年3月14日
- 观看一个滚动的球演示了一个特殊的入射几何！
Hilbert空间范畴的公理
- 2021年9月19日
- Chris Heunne和Andre Kornell对Hilbert空间范畴的公理化刻画。
通过推到一个点来量化的故事的第一部分…
- 2007年1月13日
- 通过将传输函子推到一个点来获取它们的部分。
尺寸分析和坐标系
- 2006年9月30日
- 更棘手的问题：量纲分析和坐标系。

最近的评论

复杂圆环上的线束（第三部分）(3)
- 约翰·贝兹
  - 2024年4月26日13:25
  - 是的，那是用仿制意大利面做成的单词沙拉。很快就会有另一篇文章。这些吸引人的例子。。。
- 大卫·科菲尔德
  - 2024年4月26日09:33
  - 很高兴看到这部电视剧在两年后死灰复燃。大概是打字：E=ℂ/𝔾×ℂ/𝔾=ℂ 2/𝔼 2 E=\mathbb{C}/\mathbb{G}。。。
- 约翰·贝兹
  - 2024年4月26日09:16
  - 顺便说一句，我相信到目前为止的整个分析也适用于作为乘积的高斯曲面。。。

从肯特出发(11)
- 大卫·科菲尔德
  - 2024年4月26日07:35
  - 谢谢，大卫。我很怀念那次访问。我明白了，我想让范畴理论看起来与分析相关。。。
- 大卫·格林
  - 2024年4月25日15:23
  - 很抱歉听到这个消息。（感谢John Baez对Mastodon的提醒。）真是太棒了。。。
- 约翰·贝兹
  - 2024年4月24日08:35
  - 在《华盛顿邮报》上，加里·史密斯（Gary Smith）提出了一个解决大学财务问题的方案，该方案可能很有效。。。
- 大卫·科菲尔德
  - 2024年4月24日07:39
  - 随着向更多联合荣誉课程的转变，我们采用了“程序”（表示整个学位）和“模块”（表示……）两个术语。。。
- 威廉·福里
  - 2024年4月24日06:20
  - 造成这种语言差异的原因似乎是因为在美国，学生们需要大量的。。。

半简单类型，第二部分：主要结果(2)
- 迈克·舒尔曼
  - 2024年4月24日15:59
  - 当然！标称集是Schanuel拓扑的对象，这是Grothendieck拓扑的滑轮类别。。。
- 马泰奥·卡布奇
  - 2024年4月24日15:39
  - 读得好！我可以详细说明nullary参数和标称集之间的联系吗？

椭圆曲线上的计数点（三）(8)
- 约翰·贝兹
  - 2024年4月24日00:13
  - 布鲁斯·巴特利特指出，我对椭圆曲线EE的RR-点集E（R）E（R。。。
- 约翰·贝兹
  - 2024年3月30日00:51
  - 是的，我一直在寻求根除打字错误。唉，这篇论文已经发表了。但我仍然可以改进。。。
- L香料
  - 2024年3月29日14:59
  - 如果你对拼写错误感兴趣：在“动机”的第3页上，有“很好地近似π（n）\pi（n）”。。。
- 约翰·贝兹
  - 2024年3月24日22:32
  - 谢谢！是的，这是一个缓慢发展的项目。早在2005年，在本周发现的“第218周”中，我介绍了zeta。。。
- 迈克留下来
  - 2024年3月24日06:45
  - ……及其前身。

作为集的双射的模性定理(11)
- 约翰·贝兹
  - 2024年4月23日22:26
  - 布鲁斯写道：（这里有一个关于无穷点的问号？）由于这个“无穷点”问题。。。
- 布鲁斯·巴特利特
  - 2024年4月22日20:48
  - 让我在研究了John和James关于Dirichlet物种和Hasse-Weil zeta函数的文章后更新以上内容。这个。。。
- 布鲁斯·巴特利特
  - 2024年4月22日20:13
  - 我想你说的会很好！从ℚ\mathbb{Q}到ℤ\mathbb{Z}。。。
- 约翰·贝兹
  - 2024年4月22日13:15
  - 布鲁斯，你似乎加大了赌注！我从未打算对Hasse–Weil zeta函数（或L函数）进行分类。。。
- 布鲁斯·巴特利特
  - 2024年4月21日19:02
  - 是的，没错。我喜欢你的物种观念！请参阅我下面的评论。你上面的ff对应于。。。

五次曲线、二十面体和椭圆曲线(2)
- 布鲁斯·巴特利特
  - 2024年4月21日19:06
  - 谢谢托德。我同意，这是一个很棒的视频！
- 托德·特林布尔
  - 2024年4月21日01:31
  - 这看起来太棒了，布鲁斯。我得慢慢来，细细品味。我只是想。。。

勾股三元组与射影线(2)
- 约翰·贝兹
  - 2024年4月18日11:56
  - 那当然效率高得多！出于某种原因，我没有考虑使用参数方程。哦，好吧。。。
- 安德鲁·休贝里
  - 2024年4月17日16:33
  - 计算交点时，我发现更容易使用直线的参数形式，因此（0,1）+t（q，−1）。。。

韦德伯恩-阿廷定理(4)
- 阿里·卡拉扬
  - 2024年4月15日18:58
  - 嗨，我认为你的“抽象韦德伯恩-阿尔金定理”末尾有一个拼写错误。该声明提到了一个有限的。。。
- 约翰·贝兹
  - 2023年6月16日08:26
  - 你在所有方面都是对的。而且固定版本更短！舒尔引理。如果XX和YY很简单。。。
- 迈克·舒尔曼
  - 2023年6月16日06:50
  - 这太好了！我认为你的陈述和Schur引理的证明中有一些错误。第二句。。。
- 一
  - 2023年6月15日11:44
  - 半加性类别为Y。

搜索

档案室

2024 四月 3月二月简 2023 12月十一月 10月九月八月七月六月五月四月 3月二月简 2022 12月十一月 10月九月八月七月六月五月四月 3月二月简 2021 12月十一月 10月九月八月七月六月五月四月 3月二月简 2020 12月十一月 10月九月八月七月六月五月四月 3月二月简 2019 12月十一月 10月九月八月七月六月五月四月 3月二月简 2018 12月十一月 10月九月八月七月六月五月四月 3月二月简 2017 12月十一月 10月九月八月七月六月五月四月 3月二月简 2016 12月十一月 10月九月八月七月六月五月四月 3月简 2015 12月十一月 10月九月八月七月六月五月四月 3月二月简 2014 12月十一月 10月九月八月七月六月五月四月 3月二月简 2013 12月十一月 10月九月八月七月六月五月四月 3月二月简 2012 12月十一月 10月九月八月七月六月五月四月 3月二月简 2011 12月十一月 10月九月八月七月六月五月四月 3月二月简 2010 12月十一月 10月九月八月七月六月五月四月 3月二月简 2009 12月十一月 10月九月八月七月六月五月四月 3月二月简 2008 12月十一月 10月九月八月七月六月五月四月 3月二月简 2007 12月十一月 10月九月八月七月六月五月四月 3月二月简 2006 12月十一月 10月九月八月

整个玉米饼

您的主机

链接

辛迪加

原子1.0完整内容
原子1.0评论

验证

有效的XHTML 1.1！

有效的CSS！

有效原子！

A级符合性，W3C-WAI Web内容可访问性指南1.0

Bobby WorldWide批准508

3.36

2021年2月20日

本土化理论（上）

发布人：John Baez

$支持MathML的帖子（单击以获取更多详细信息）。$

来宾发帖人克里斯汀·威廉姆斯

本土类型理论是我和Mike Stay写的一篇新论文。我们提出了一种统一的编程语言推理方法：将语言建模为理论，形成预升的范畴，并使用拓扑的内部语言。

$\mathtt{language}\xrightarrow{\；\Lambda\；}\mathtt{category}\xrightarrow}\；\mathscr{P}\；}\mathtt{topos}\xrightarrow{\；\Phi\；}\mathtt{type\；system}$

虽然这些步骤是已知的，但最初的方面只是复合及其在软件中的应用。如果实现得当，我们相信本机类型对虚拟世界非常有用。在这里，我想分享一些我们迄今为止学到的知识。

继续阅读“本土类型理论（第一部分）”…

发布时间：UTC凌晨1:59|永久链接|随访（17）

2021年2月17日

应用范畴理论2021

发布人：John Baez

$支持MathML的帖子（单击以获取更多详细信息）。$

一年一度的应用范畴理论大会即将召开！这是第四场比赛：前三场比赛分别在牛津莱顿和（实际上）麻省理工学院。此将联机还有幸运的是，亲自出游，但现在不要安排旅行：

第四届应用范畴理论国际年会（ACT 2021）2021年7月12日至16日，在线，剑桥大学计算机实验室。

它将在应用范畴理论伴随学派7月5日至9日在同一地点举行的一次会议上，这将是一次幸运的会面。

你现在可以提交论文了！就像在计算机科学会议上一样，这就是你演讲的方式。有关更多详细信息，请继续阅读。

继续阅读“应用范畴理论2021”…

发布时间：UTC下午7:49|永久链接|发表评论

2021年2月15日

伊萨多·辛格（Isadore Singer），1924-2021年

发布人：John Baez

$支持MathML的帖子（单击以获取更多详细信息）。$

伟大的数学家艾赛多尔·辛格2021年2月12日星期四去世：

伊萨多·辛格（Isadore Singer）在数学和物理之间架起了桥梁，享年96岁,《纽约时报》.

继续阅读“Isadore Singer，1924-2021”…

发布时间：UTC下午7:52|永久链接|后续行动（6）

2021年2月12日

莱斯特的混乱

发布人：John Baez

$支持MathML的帖子（单击以获取更多详细信息）。$

LMS已经采取了立场莱斯特的混乱:

伦敦数学学会，莱斯特大学数学.

继续阅读《莱斯特的混乱》…

发布时间：UTC晚上7:48|永久链接|后续行动（1）

2021年2月2日

正切∞-范畴与内聚

由David Corfield发布

$支持MathML的帖子（单击以获取更多详细信息）。$

我一直在疑惑的关于Robin Cockett、Geoff Cruttwell及其同事对微分学和微分几何的分类方法之间的关系，以及在由内聚（∞，1）-拓扑.

现在出现了 $（\infty，1）$ -对前者进行分类，比较变得更加紧迫：

Kristine Bauer、Matthew Burke、Michael Ching、，切线 $\英菲$ -范畴与Goodwillie演算(arXiv:2101.07819)

和

Michael Ching，无限拓扑的对偶切线结构, (arXiv:2101.08805)。

在第一篇文章中，作者写道

我们可以推测Goodwillie切线结构是如何适应Schreiber开发的更大的“高等微分几何”程序[Sch13，4.1]，或同伦类型理论[Pro13]的框架的，尽管我们对这些可能的联系没有任何具体的说法。（第13页）

大概我们需要粘性HoTT/线性HoTT.

任何感兴趣的人也可以看看nLab：无穷小内聚（∞，1）拓扑,nLab：切线内聚（∞，1）-拓扑,nLab：扭曲上同调,nLab:jet（∞，1）-类别.

这方面有HoTT的模式工作，在这里.

毫无疑问，它也很有用

马修·阿内尔、乔治·比德曼、埃里克·芬斯特、安德烈·乔亚尔，Goodwillie的函数演算与高拓扑理论(arXiv公司：1703.09632)。

发布时间：UTC上午8:12|永久链接|后续行动（15）