2020-7-4 6:43Bryce 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-3 21:10从一个角度来看,范畴只是另一种代数结构,就像群、么半群和环一样。它们是这些抽象的东西,它们有一些抽象的方程公理和运算。它们是我们宏伟品类之旅的下一站。
么半群是与单位有结合运算的东西。加法和0使数字成为么半群。乘法和1是数字的单独么半群。串联和空列表使列表成为么半群。并集和空集使集成为么半群。我们可以用Python对......
2020-5-3 18:12应用范畴理论--新兴的合成性科学编程、量子物理、化学、神经科学、系统生物学、自然语言分析、因果关系、网络理论、博弈论、动力系统和数据库理论有什么共同之处?作为函数式程序员,我们知道范畴论对我们的工作有多么有用-或者它可能看起来有多么深奥和遥远。不太为人所知的是,将范畴论应用于现实……
2020-5-2 18:5令人愉快的25分钟介绍性演讲:哟!Lambda Jam 2019-Ken Scambler-应用类别理论(幻灯片)。
编程、量子物理、化学、神经科学、系统生物学、自然语言分析、因果关系、网络理论、博弈论、动力系统和数据库理论有什么共同之处?
作为函数式程序员,我们知道范畴论对我们的工作有多么有用-或者它可能看起来有多......