新未名空间

TheMatrix 写了： 2024年 6月 30日 14:37 你可以说说你的理解。

MrAnderson 写了： 2024年 6月 30日 10:51 Ceva's theorem

rgg 写了： 2024年 6月 21日 23:00 抛砖引玉，问两个问题：
1. 能否举个本科数学阶段的例子，用范畴的语言能给出结论是用集合语言得不到或者繁琐的多的。
2. 据说米田引理是学范畴论碰到的第一个非平凡结论。 米田引理在说废话/tautology么？ 需要证明么？ 必须用范畴的语言理解么？

TheMatrix 写了： 2024年 6月 30日 11:02 我说的是direct limit和inverse limit。应该和limit，colimit等价。你这个理解，是初学者的例子而已。

TheMatrix 写了： 2024年 6月 30日 08:18 高手不少，比如回你贴的rgg，就是一个高手。

你把概念的定义写下来，那么多的概念，有1/10的概念有人谈意义，就获益不少。我也获益不少。

比如，你最近贴的limit，colimit。

比如
A₁ --> A₂ --> ...

那么在箭头链的末端，就应该有一个东西A_∞，作为这个链的结尾。这就是direct limit。是不是这样？我也不确定。

TheMatrix 写了： 2024年 6月 30日 08:18 高手不少，比如回你贴的rgg，就是一个高手。

你把概念的定义写下来，那么多的概念，有1/10的概念有人谈意义，就获益不少。我也获益不少。

比如，你最近贴的limit，colimit。

比如
A₁ --> A₂ --> ...

那么在箭头链的末端，就应该有一个东西A_∞，作为这个链的结尾。这就是direct limit。是不是这样？我也不确定。

TheMatrix 写了： 2024年 6月 29日 16:19 那最简单的，就是把定义和定理记录下来，然后邀请大家讨论其意义。

sssss 写了： 2024年 6月 30日 05:55 富人买也是傻缺，现在的奢牌面料工艺设计都很差