TAG:范畴

2020-7-4 6:43
Bryce Clarke,Derek Elkins,Jeremy Gibbons,Fosco Loregian,Bartosz Milewski,Emily Pillmore和Mario Román。 迈卡·哈尔特,埃文·帕特森,安德鲁·巴斯和詹姆斯·费尔班克斯。基于CATLAB和语义模型的组合科学计算。 拉克伦·麦......
2020-6-28 6:19
应用范畴理论2020即将到来!在7月6日周日的辅导日之后,7月7日星期一到7月10日星期五将有讲座。以下是该程序-单击它下载更具可读性的版本: 以下是谈话内容!它们有三种:主旨演讲、定期演示和简短的行业演示。在每一本书中,我都按照演讲者的字母顺序列出了它们:我相信第一作者就是演讲者。 ·布莱斯·克拉克(Bryce C......
2020-5-28 3:2
为什么我们要给小说分类?奇幻,小鸡,犯罪,浪漫,文学,哥特式,女权主义…。在书店仔细贴上标签的书架上找到我们想要的东西是不是更好呢?这样的阅读体验终究不会太新奇。 或者,这仅仅是为了让世界变得井然有序?法国文学、德国文学、美国文学、南美文学、韩国文学。或者再来一次,文艺复兴,18世纪,战后。按照知识体的概念--你从一......
2020-5-3 21:10
从一个角度来看,范畴只是另一种代数结构,就像群、么半群和环一样。它们是这些抽象的东西,它们有一些抽象的方程公理和运算。它们是我们宏伟品类之旅的下一站。 么半群是与单位有结合运算的东西。加法和0使数字成为么半群。乘法和1是数字的单独么半群。串联和空列表使列表成为么半群。并集和空集使集成为么半群。我们可以用Python对......
2020-5-3 18:12
应用范畴理论--新兴的合成性科学编程、量子物理、化学、神经科学、系统生物学、自然语言分析、因果关系、网络理论、博弈论、动力系统和数据库理论有什么共同之处?作为函数式程序员,我们知道范畴论对我们的工作有多么有用-或者它可能看起来有多么深奥和遥远。不太为人所知的是,将范畴论应用于现实……
2020-5-2 18:5
令人愉快的25分钟介绍性演讲:哟!Lambda Jam 2019-Ken Scambler-应用类别理论(幻灯片)。 编程、量子物理、化学、神经科学、系统生物学、自然语言分析、因果关系、网络理论、博弈论、动力系统和数据库理论有什么共同之处? 作为函数式程序员,我们知道范畴论对我们的工作有多么有用-或者它可能看起来有多......