范畴论入门文章

最新推荐文章于 2025-11-15 05:44:16 发布
最新推荐文章于 2025-11-15 05:44:16 发布 · 253 阅读 · 0
文章标签：

#编程

作者并非从事编程语言相关工作，但因阅读的论文常涉及范畴论，便开始学习。James Cheney主页上的《Category Theory For Dummies》适合对抽象数学了解不深的人，作者还称赞LtU上有很多好东西。
偶不是搞编程语言的，但最近读的论文老用到范畴论，所以也就开始学了。James Cheney在他的 主页上放了 Category Theory For Dummies，正好适合偶这样对抽象数学一知半解的人。 LtU上好东西真多啊。
iteye_11848
关注
微分几何入门与广义相对论：宇宙动力学
AI天才研究院
09-18 1476
微分几何入门与广义相对论：宇宙动力学 作者：禅与计算机程序设计艺术 / Zen and the Art of Computer Programming 关键词： 微分几何 广义相对论 宇宙动力学 时间膨胀
微分几何入门与广义相对论：德西特时空和反德西特时空
AI天才研究院
07-11 743
微分几何入门与广义相对论：德西特时空和反德西特时空 1. 背景介绍 1.1 问题的由来 在探讨德西特时空（De Sitter spacetime）和反德西特时空（Anti-de Sitter spacetime）之前，有必要回
数理逻辑与范畴论应用（王世强）
12-04
数理逻辑是基础工具，研究PLT必备。类型论是PLT的一个重要方面。范畴论是类型论的抽象工具。编程语言有无类型都是图灵等价的。类型只是标注，擦除掉也不影响解释执行。类型标志就像xx编程规范，可以增强可读性正确性，减少bug。但也不仅于此，类型是对编程语言的抽象，类型表达一类变量或函数的共同行为特征。
基础代数和CF范畴论
03-22
基础代数和CF范畴论 邹开其 Fuzzy Category
完整解释 Monad -- 程序员范畴论入门
weixin_34111819的博客
01-01 1688
如果你接触过函数式编程，你很可能遇到过 Monad 这个奇怪的名词。由于各种神奇的原因，Monad 成了一个很难懂的概念。Douglas Crockford 曾转述过这样一句话来形容 Monad: Once you understand Monad, you lose the ability to explain it to someone else. 这篇文章中，我会从使用场景出发来一步步推...
（转）Haskell与范畴论
yntcsb的专栏
08-06 590
Haskell与范畴论 http://www.yi-programmer.com/blog/2010-04-06_haskell_and_category_translate.html 用haskell的概念解释范畴论。翻译自 wikibook : http://en.wikibooks.org/wiki/Haskell/Category_theory 目录 范畴论简介 范...
程序员视角：范畴论入门
这本书"Category Theory for Programmers"由Bartosz Milewski撰写，Igal Tabachnik编辑整理，是一部专为程序员解释范畴论的著作，旨在让读者能够轻松理解这一复杂的数学概念。该书内容基于Bartosz Milewski的一系列...
【入门级】如何入门人工智能--这篇文章告诉你答案
weixin_73136678的博客
12-12 1202
回到我们文章的正题，实现人工智能（AI）的方法：机器学习、深度学习。
18、范畴、操作代数与PROP理论的深入探索及应用
最新发布
nnn11的博客
11-15 22
本文深入探讨了范畴论、操作代数与PROP理论的基本概念、参考文献及其在数学、计算机科学、物理学和生物学等领域的广泛应用。介绍了相关代数结构与布线图模型，分析了它们之间的内在联系，并通过实例展示了其在系统建模与数据处理中的实际应用，最后展望了未来的研究方向与发展潜力。
028050-Category Theory-Steve Awodey, 2006_2.pdf
06-08
Steve Awodey的范畴论教科书，非常适合计算机专业人士学习范畴论的英文教科书
数学的数学：范畴论
人机与认知实验室
10-17 1538
范畴是一个类，类里的对象是具有某种特征的事物，对象与对象之间的关系就是态射，范畴与范畴之间的关系叫做函子，函子与函子之间的关系就是自然变换。范畴论和集合论很相似。但范畴的限制少，范围更广泛...
范畴论
人机与认知实验室
10-14 1450
1、范畴是什么范畴由两部分构成：对象和态射。与集合相比，范畴中同样包含许许多多的对象，不同的是范畴强调态射但集合不强调。“态射”是一种比“映射”更宽泛的定义，它表示事物之间的某一条联系，在...
范畴论 Kleisli范畴
Piemon&Anokata的博客
05-25 1027
您已经了解了如何将类型【types】和纯函数【 pure functions】建模为范畴。 我还提到范畴理论中有一种对副作用【 side effects】或非纯函数【non-pure functions】建模的方法。 让我们看一个这样的示例：记录或跟踪其执行轨迹的函数。 在命令式语言中，我们可以桶盖改变某些全局状态，来实现该功能，例如： string logger; bool negate(bool b) { logger += "Not so! "; return !b; } 你知道这不是一个纯函数
FP所渗透的范畴论
u013571243的专栏
07-02 1082
 范畴论编辑 范畴论是抽象地处理数学结构以及结构之间联系的一门数学理论。有些人开玩笑地称之为“一般化的抽象废话”。范畴论出现在很多数学分支中，以及理论计算机科学和数学物理的一些领域。[1]  中文名 范畴论 提出者 塞缪尔·艾伦伯格和桑德斯·麦克兰恩 提出时间 1945 应用学科 数学
探索 Category Theory 在 Machine Learning 中的应用：一个创新项目分析
gitblog_00022的博客
04-10 437
探索 Category Theory 在 Machine Learning 中的应用：一个创新项目分析 该项目————由 Bogdan Gavran 提供，旨在将抽象代数中的范畴论概念应用于机器学习领域。这个开源项目的目标是提供一个理论框架，帮助我们更好地理解和构建复杂的 ML 系统。 项目简介 范畴论是一门数学分支，它研究的是对象和它们之间的映射关系。在 ML 领域中，数据集、模型、优化过程等可...
你能向我科普一下范畴论吗，以及它对计算机科学的影响和应用 ？
weixin_35752645的博客
02-14 713
范畴论是一门数学领域的学科，主要研究的是集合的抽象概念，以及集合之间的关系。它提供了一个表示数学对象和关系的通用框架，这些对象包括向量空间、图、群、代数等。 计算机科学中，范畴论可以应用于编程语言和程序设计的研究，如类型理论，它是一种表示程序语言中的数据类型和类型间关系的理论。类型理论的目的是使程序的错误在编写代码时尽早发现，以避免在程序运行时发生错误。 另外，范畴论在计算机图形学、人工智能和计算...
Haskell的monad和范畴论的探讨
热门推荐
会飞的鱼的专栏
03-29 1万+
下面是上次和我一起讨论haskell的网友的继续，主要探讨了haskell的monad和范畴论的关系。 2012年3月28日： Parker says: (10:45:06 PM) haskell你现在有看新的东西吗 gbx says: (10:45:28 PM) 没有啊， 好久没看了 Parker says: (10:45:50 PM) 我现在看范畴论的
对话机器学习大神Yoshua Bengio（下）
weixin_30394633的博客
05-11 198
Yoshua Bengio教授（个人主页）是机器学习大神之一，尤其是在深度学习这个领域。他连同Geoff Hinton老先生以及 Yann LeCun（燕乐存）教授，缔造了2006年开始的深度学习复兴。他的研究工作主要聚焦在高级机器学习方面，致力于用其解决人工智能问题。他是仅存的几个仍然全身心投入在学术界的深度学习教授之一，好多其他教授早已投身于工业界，加入了谷歌或Facebook公司。 作为机...
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
表情包 代码片
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值