Open xxleyi opened 3 years ago
这个话题太过抽象,开个头,活动一下大脑,爽一爽。
后面还引入了 composition 的结合性。
这样就让我们对 category 有了一个最模糊的感觉。
如果在编程世界找一个 category 的实例的话,就是 type and pure function, type 对应 category 中的 object, pure function 对应 category 中的 morphism, 也就是 arrow。
https://www.youtube.com/watch?v=p54Hd7AmVFU&list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_&index=2
这个话题太过抽象,开个头,活动一下大脑,爽一爽。
后面还引入了 composition 的结合性。
这样就让我们对 category 有了一个最模糊的感觉。
如果在编程世界找一个 category 的实例的话,就是 type and pure function, type 对应 category 中的 object, pure function 对应 category 中的 morphism, 也就是 arrow。
https://www.youtube.com/watch?v=p54Hd7AmVFU&list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_&index=2