关于范畴论的讨论

STEM版,合并数学,物理,化学,科学,工程,机械。不包括生物、医学相关,和计算机相关内容。

版主: verdeliteTheMatrix

头像
hci(海螺子)
论坛支柱
论坛支柱
帖子互动: 461
帖子: 9909
注册时间: 2022年 7月 22日 15:29

#22 Re: 开一个学习范畴论的记录,欢迎加入

帖子 hci(海螺子) »

我也是下了功夫的。可后来想通了,这玩意没啥用。

我现在对数学的看法,觉得不能为了数学而数学,而是要有实用目的来驱动发展,也有这个经历的因素在里面。
functorial 写了: 2024年 6月 21日 15:20 学了第一章就放弃了,这叫试图学过,不叫学过
functorial
著名写手
著名写手
帖子互动: 3
帖子: 258
注册时间: 2024年 6月 19日 19:53

#23 Re: 开一个学习范畴论的记录,欢迎加入

帖子 functorial »

hci 写了: 2024年 6月 21日 15:24 我也是下了功夫的。可后来想通了,这玩意没啥用。

我现在对数学的看法,觉得不能为了数学而数学,而是要有实用目的来驱动发展,也有这个经历的因素在里面。
你学到哪里?学了那些内容?
Functorially yours
头像
hci(海螺子)
论坛支柱
论坛支柱
帖子互动: 461
帖子: 9909
注册时间: 2022年 7月 22日 15:29

#24 Re: 开一个学习范畴论的记录,欢迎加入

帖子 hci(海螺子) »

你的过程我都走过。你那本书显然我看过。也如你所说,基础不够,例子看不明白。于是我想,那我找具体例子的书不行么,就看了用CS为例的书。然后明白了,这些就是故弄玄虚,换个说法而已。知道这套概念,只能用来事后诸葛亮,并没有什么指导意义。大致就是这么个过程。
functorial 写了: 2024年 6月 21日 15:26 你学到哪里?学了那些内容?
functorial
著名写手
著名写手
帖子互动: 3
帖子: 258
注册时间: 2024年 6月 19日 19:53

#25 Re: 开一个学习范畴论的记录,欢迎加入

帖子 functorial »

hci 写了: 2024年 6月 21日 15:34 你的过程我都走过。你那本书显然我看过。也如你所说,基础不够,例子看不明白。于是我想,那我找具体例子的书不行么,就看了用CS为例的书。然后明白了,这些就是故弄玄虚,换个说法而已。知道这套概念,只能用来事后诸葛亮,并没有什么指导意义。大致就是这么个过程。
Mac Lane的书你看完了?
Functorially yours
头像
hci(海螺子)
论坛支柱
论坛支柱
帖子互动: 461
帖子: 9909
注册时间: 2022年 7月 22日 15:29

#26 Re: 开一个学习范畴论的记录,欢迎加入

帖子 hci(海螺子) »

与你差不多,没看完。看不下去了,才去找别的书看。
functorial 写了: 2024年 6月 21日 15:35 Mac Lane的书你看完了?
functorial
著名写手
著名写手
帖子互动: 3
帖子: 258
注册时间: 2024年 6月 19日 19:53

#27 Re: 开一个学习范畴论的记录,欢迎加入

帖子 functorial »

hci 写了: 2024年 6月 21日 15:36 与你差不多,没看完。看不下去了,才去找别的书看。
你这是死要面子,别拉上我
Functorially yours
头像
hci(海螺子)
论坛支柱
论坛支柱
帖子互动: 461
帖子: 9909
注册时间: 2022年 7月 22日 15:29

#28 Re: 开一个学习范畴论的记录,欢迎加入

帖子 hci(海螺子) »

就算你都看明白了,也没有用。这就是我想说的。你爱信不信。

这有什么面子问题?没有卵用的东西,就是垃圾。拒绝把垃圾塞自己脑子里,这应该是很有面子的事呀。

其实你这种心态,也是受虐狂的一种表现。我作为过来人,给你一点警醒。你爱听不听。
functorial 写了: 2024年 6月 21日 15:37 你这是死要面子,别拉上我
functorial
著名写手
著名写手
帖子互动: 3
帖子: 258
注册时间: 2024年 6月 19日 19:53

#29 Re: 开一个学习范畴论的记录,欢迎加入

帖子 functorial »

hci 写了: 2024年 6月 21日 15:42 就算你都看明白了,也没有用。这就是我想说的。你爱信不信。

这有什么面子问题?没有卵用的东西,就是垃圾。拒绝把垃圾塞自己脑子里,这应该是很有面子的事呀。

其实你这种心态,也是受虐狂的一种表现。我作为过来人,给你一点警醒。
你和其他loser抱团取暖去吧,慢走不送。
Functorially yours
头像
hci(海螺子)
论坛支柱
论坛支柱
帖子互动: 461
帖子: 9909
注册时间: 2022年 7月 22日 15:29

#30 Re: 开一个学习范畴论的记录,欢迎加入

帖子 hci(海螺子) »

你以为学懂了范畴论,就能成为winner,这是大错特错了。

不要不听劝。
functorial 写了: 2024年 6月 21日 15:44 你和其他loser抱团取暖去吧,慢走不送。
functorial
著名写手
著名写手
帖子互动: 3
帖子: 258
注册时间: 2024年 6月 19日 19:53

#31 Re: 开一个学习范畴论的记录,欢迎加入

帖子 functorial »

hci 写了: 2024年 6月 21日 15:45 你以为学懂了范畴论,就能成为winner,这是大错特错了。

不要不听劝。
听你劝会变得和你一样pathetic. 给我老老实实呆在这里,不准去spam我的其他贴。
Functorially yours
头像
verdelite(众傻之傻)
论坛元老
论坛元老
帖子互动: 921
帖子: 22687
注册时间: 2022年 7月 21日 23:33

#32 Re: 开一个学习范畴论的记录,欢迎加入

帖子 verdelite(众傻之傻) »

hci 写了: 2024年 6月 21日 15:24 我也是下了功夫的。可后来想通了,这玩意没啥用。

我现在对数学的看法,觉得不能为了数学而数学,而是要有实用目的来驱动发展,也有这个经历的因素在里面。
你这想法我是赞成的。但是别人要学自然也可以学。毕竟各条路都有人走,走出一条路的可能性就大。
没有光子;也没有量子能级,量子跃迁,量子叠加,量子塌缩和量子纠缠。
头像
TheMatrix
论坛支柱
论坛支柱
2024年度优秀版主
TheMatrix 的博客
帖子互动: 264
帖子: 13231
注册时间: 2022年 7月 26日 00:35

#33 Re: 开一个学习范畴论的记录,欢迎加入

帖子 TheMatrix »

hci 写了: 2024年 6月 21日 14:55 动力学是啥意思?Lie代数怎么就有动力学?虚心请教。
不知道弃婴会不会回答这个问题。我知道动力学是什么,也知道数学中的动力学指什么。不过不知道弃婴说的动力学具体指什么。先等弃婴回答。
functorial
著名写手
著名写手
帖子互动: 3
帖子: 258
注册时间: 2024年 6月 19日 19:53

#34 Re: 开一个学习范畴论的记录,欢迎加入

帖子 functorial »

verdelite 写了: 2024年 6月 21日 17:27 你这想法我是赞成的。但是别人要学自然也可以学。毕竟各条路都有人走,走出一条路的可能性就大。
他自己看不懂,放弃了,还扭扭捏捏不好意思承认。还拉上我说和我一样。看不懂又要指点江山,又说学了也没用,就是想让我也放弃,这样就不显得他没用了LOL

就这点小心思,还学心理学的。
Functorially yours
头像
hci(海螺子)
论坛支柱
论坛支柱
帖子互动: 461
帖子: 9909
注册时间: 2022年 7月 22日 15:29

#35 Re: 开一个学习范畴论的记录,欢迎加入

帖子 hci(海螺子) »

貌似她不会回答。你来答吧。
TheMatrix 写了: 2024年 6月 21日 18:08 不知道弃婴会不会回答这个问题。我知道动力学是什么,也知道数学中的动力学指什么。不过不知道弃婴说的动力学具体指什么。先等弃婴回答。
头像
TheMatrix
论坛支柱
论坛支柱
2024年度优秀版主
TheMatrix 的博客
帖子互动: 264
帖子: 13231
注册时间: 2022年 7月 26日 00:35

#36 Re: 开一个学习范畴论的记录,欢迎加入

帖子 TheMatrix »

hci 写了: 2024年 6月 22日 16:23 貌似她不会回答。你来答吧。
物理学中的动力学是指要有“力”。“力”这个概念并不是一个自然的概念,而应该看成是一个“隐变量”,借助于它,推理才能展开的这么一个概念。所以动力学在数学结构上的特征是迭代:
A1 --> B1 --> A2 --> B2 --> ...
其中A为宏观可观测量,B为隐变量。推理借助于隐变量而展开。

这种迭代是一步一步的,其步数的index还可以看成是时间index。所以动力学又有时间演化的特征。

数学中的动力学,也是指有迭代结构或时间演化结构这种形式的数学。

至于弃婴说李代数或者李群中有动力学,这个我也不清楚他到底指什么。
头像
hci(海螺子)
论坛支柱
论坛支柱
帖子互动: 461
帖子: 9909
注册时间: 2022年 7月 22日 15:29

#37 Re: 开一个学习范畴论的记录,欢迎加入

帖子 hci(海螺子) »

不错。明白了。

我正在搞的Datalog的递归问询的优化器,里面很重要的步骤就是是找出问询中隐含的时间变量,按这些变量来分层操作,即所谓T-stratification,这个概念,出现在今年的SIGMOD一个文章里。有了基于这个概念的优化,数据库语言就可以高效实现各种机器学习算法。

数据库研究都搞了50年了,现在才触摸到这个递归问询的本质。以前的各种优化,其实都是这个概念的特例。

科技进步都是很慢的,也是需求驱动的。
TheMatrix 写了: 2024年 6月 22日 21:33 物理学中的动力学是指要有“力”。“力”这个概念并不是一个自然的概念,而应该看成是一个“隐变量”,借助于它,推理才能展开的这么一个概念。所以动力学在数学结构上的特征是迭代:
A1 --> B1 --> A2 --> B2 --> ...
其中A为宏观可观测量,B为隐变量。推理借助于隐变量而展开。

这种迭代是一步一步的,其步数的index还可以看成是时间index。所以动力学又有时间演化的特征。

数学中的动力学,也是指有迭代结构或时间演化结构这种形式的数学。

至于弃婴说李代数或者李群中有动力学,这个我也不清楚他到底指什么。
头像
TheMatrix
论坛支柱
论坛支柱
2024年度优秀版主
TheMatrix 的博客
帖子互动: 264
帖子: 13231
注册时间: 2022年 7月 26日 00:35

#38 Re: 开一个学习范畴论的记录,欢迎加入

帖子 TheMatrix »

hci 写了: 2024年 6月 22日 21:52 不错。明白了。

我正在搞的Datalog的递归问询的优化器,里面很重要的步骤就是是找出问询中隐含的时间变量,按这些变量来分层操作,即所谓T-stratification,这个概念,出现在今年的SIGMOD一个文章里。有了基于这个概念的优化,数据库语言就可以高效实现各种机器学习算法。

数据库研究都搞了50年了,现在才触摸到这个递归问询的本质。以前的各种优化,其实都是这个概念的特例。

科技进步都是很慢的,也是需求驱动的。
我看过你说的在数据库里搞AI的一些贴。这件事我先留个印象,以后可以关注一下。
Caravel
论坛元老
论坛元老
Caravel 的博客
帖子互动: 554
帖子: 24445
注册时间: 2022年 7月 24日 17:21

#39 Re: 开一个学习范畴论的记录,欢迎加入

帖子 Caravel »

TheMatrix 写了: 2024年 6月 22日 21:33 物理学中的动力学是指要有“力”。“力”这个概念并不是一个自然的概念,而应该看成是一个“隐变量”,借助于它,推理才能展开的这么一个概念。所以动力学在数学结构上的特征是迭代:
A1 --> B1 --> A2 --> B2 --> ...
其中A为宏观可观测量,B为隐变量。推理借助于隐变量而展开。

这种迭代是一步一步的,其步数的index还可以看成是时间index。所以动力学又有时间演化的特征。

数学中的动力学,也是指有迭代结构或时间演化结构这种形式的数学。

至于弃婴说李代数或者李群中有动力学,这个我也不清楚他到底指什么。
是不是通过李代数,generator生成李群元素这么一个过程,是在参数空间的一条曲线。
头像
TheMatrix
论坛支柱
论坛支柱
2024年度优秀版主
TheMatrix 的博客
帖子互动: 264
帖子: 13231
注册时间: 2022年 7月 26日 00:35

#40 Re: 开一个学习范畴论的记录,欢迎加入

帖子 TheMatrix »

Caravel 写了: 2024年 6月 22日 22:32 是不是通过李代数,generator生成李群元素这么一个过程,是在参数空间的一条曲线。
嗯。我想应该是这方面。而且曲线的参数可以作为时间来看。
弃婴千枝楼主
论坛支柱
论坛支柱
帖子互动: 1078
帖子: 11666
注册时间: 2022年 7月 27日 10:51

#41 Re: 开一个学习范畴论的记录,欢迎加入

帖子 弃婴千枝楼主 »

Caravel 写了: 2024年 6月 22日 22:32 是不是通过李代数,generator生成李群元素这么一个过程,是在参数空间的一条曲线。


牛顿-莱布尼兹导数依赖坐标系,如果在没有坐标系的情况下我们可以通过lie代数构建lie导数,这就导入了动力学机制

https://www.mathphysicsbook.com/mathema ... rivations/

https://www.mathphysicsbook.com/mathema ... tor-field/

这本书非常好,上面网站是它的数字化,可以去看看

https://www.amazon.com/Mathematics-Phys ... 813233915/
回复

回到 “STEM”