n类咖啡馆

那么我们有多少问题得到回答了吗？

我和尼尔斯·巴斯进行了很长很有趣的讨论，对此我非常感激。我试图吸引尼尔斯·巴斯加入我们的第一$n个$-千年咖啡奖问题但我不确定我是否成功了。

那么我们有多少人问题得到回答了吗？

随着会议的召开，总有比时间允许的更多的话题要讨论。

如果一个人疯狂地去多伦多，并且满足于大学街是这个城市唯一的一部分，这种情况也会发生。

在我期待谈论的事情中，托比的从局部数据重构2-二进制.

我们确实有时间做这件事，尽管可能没有这个话题应有的那么多。

有趣的是，据我所知，托比的重建确实产生了$二氧化硫$-作为类别的光纤束微不足道的2束$B至X$，即类别$B类$形式为$B=X乘以F$。所有非隐私性都被推到$二氧化硫$-行动$B\乘以G_2\到B$.

事实上，我正在与Konrad Waldorf合作重建全球传输2函子时，也发生了类似的情况。

那么我们有多少人问题得到回答了吗？

一件好事是，我收到了一些我甚至不知道该问的问题的答案！：-）

一个很好的见解是：

安德烈·乔亚尔在他的演讲中提到了范畴理论中的各种重要概念。其中一个和因子分解系统.

在这项业务中，我们考虑的是收款$E类$和$M（M）$（应该）表现为表态和单态的态射。

特别是，考虑正方形$$\阵列{A&\stackrel{\mathrm{epi}}{\to}&B\\\向下箭头&&\向下箭头\\C&\stackrel{\mathrm{mono}}{\to}&D}$$其中顶部态射是满态射，底部态射是单态射。

那么，特别令人感兴趣的是上述类型的正方形允许对角的情况$$\阵列{A&\stackrel{e}{\to}&B\\\向下箭头&\草丛&\向下箭头\\C&\stackrel{m}{\to}&D}\,,$$对于每个垂直箭头的选择，这样一切都还需要通勤

如果是这样的话，有人说满态$e（电子）$是正交的到单态$米$.

对于万物生存的情况，这个概念或多或少有明显的概括$n个$-类别。

（我很感谢伊戈尔·巴科维奇对这一点和相关文献的有益讨论。就我再次忘记细节而言，这完全是我自己的错。）

让我感兴趣的是，我在人们正在考虑的一般结构中认识到了我自己的宠物结构：

在多伦多的演讲中，我描述了我们如何放置局部结构在上$n个$-函子$$\阵列{P_n（X）\\\;\;\向下箭头\数学{tra}\\T型}$$把它放在正方形里$$\阵列{P_n（U）&\stackrel{P}{\to}&P_n\\\马特姆{tra}_U\向下箭头\；\；&\向下箭头\sim&\;\;\向下箭头\数学{tra}\\T'&\stackrel{i}{\to}&T}\,,$$哪里$第页$是epi和$我$是单声道。

如果$第页$恰好与$我$在因子分解系统理论的意义上，也就是说，如果我们能填写这个图表$$\阵列{P_n（U）&\stackrel{P}{\to}&P_n\\\马特姆{tra}_U\向下箭头\；\；&\草丛&\;\;\向下箭头\数学{tra}\\T'&\stackrel{i}{\to}&T}\,,$$那么在我看来，这意味着$\数学{tra}$不仅在本地，而且在全球都有给定的结构。

就其本身而言，这并不深刻。但我喜欢在更大的背景下看到这种联系。

我拍了大部分照片；丹·克里斯滕森拿了一些。