范畴论

孙周兴:本质与实存——西方形而上学的实存哲学路线

但后世的阐释重点多半落在亚里士多德的实体（本质）－范畴论上；至于他的个体实现之论，则在中古哲学中被转化为神性作用－现实论，并进一步在近代哲学中被纳入主体－客体现实论之中。近
天津谷志强·2020-01-07 23:46

函数式思维

在写这篇文章的时候我突然想起来，之前还发过一个朋友圈，跟人论述我对范畴论一些概念的理解，翻了翻朋友圈找到了：fp0.jpegfp1.jpeg我自己读了一遍……emm.jpeg今天我们就讲点简单的吧，举个例子大概感受下函数式思维
Sheepy·2019-11-30 03:11

函数式编程探索(一) -《JS函数式编程指南》读后感

介绍函数式编程也叫面向函数编程，是编程范式的一种，它其实出现得很早，理论基础起源于上个世纪30年代数学界的lambda演算，属于范畴论，最早运用这一思想的编程语言是上世纪50年代的Lisp语言，这门语言在黑客圈极具传奇色彩
xie_zhichao·2019-11-18 14:17

函数式编程

函数式编程范畴论函数式编程是范畴论的数学分支，是一门复杂的数学，认为世界上所有的概念体系都可以抽象出一个个范畴论。成员彼此存某种关系概念、事物、对象等等，解构成范畴。
weixin_33937913·2019-04-01 04:07

<译>有关态射的一切

上一篇：米田嵌入原文地址：https://bartoszmilewski.com/2...如果我还没有使你已经确信范畴论就是所有和态射有关的东西，那就是我的失职。
Winerly·2019-02-28 00:00

<译>米田引理

上一篇：可表函子原文地址：https://bartoszmilewski.com/2...范畴论中的大多数构造都是其他具体数学领域的泛化。诸如积、余积、幺半群和指数等等，早都在范畴论以前被了解了。
Winerly·2019-02-13 00:00

<译>可表函子

范畴论在某种程度上尝试跳出集合论，一个众所周知得事实就是不存在所有集合的集合，但所有集合的范畴，Set，是存在的。这就很好。另一方面，我们假定一个范畴中任意两个对象之间的态射构成一个集合。
Winerly·2019-01-21 00:00

<译>自由幺半群

上一篇：极限与余极限原文地址：https://bartoszmilewski.com/2...不论是在范畴论中还是在编程中，幺半群都是个重要的观念。范畴对应着强类型的语言，而幺半群对应着无类型的语言。
Winerly·2019-01-20 00:00

<译>极限与余极限

上一篇：声明式编程原文地址:https://bartoszmilewski.com/2...似乎在范畴论中所有事情都是相互联系的，并且都可以用很多角度观察。
Winerly·2019-01-15 00:00

<译>声明式编程

原文地址：https://bartoszmilewski.com/2...这是BartoszMilewski关于范畴论的博客的第二部分，第一部分已经由garfileo翻译完成，建议大家先看第一部分。
Winerly·2019-01-10 00:00

读书笔记: 范畴论

读书笔记:范畴论基本概念范畴论数学构造(Mathematicalstructure)在数学上，在集合上的一个构造是一个附加的数学对象，赋予这个集合某种意义。
SNYang·2018-11-25 10:00

JS函数式编程 - 函子和范畴论

在前面几篇介绍了函数式比较重要的一些概念和如何用函数组合去解决相对复杂的逻辑。是时候开始介绍如何控制副作用了。数据类型我们来看看上一篇最后例子：constsplit=curry((tag,xs)=>xs.split(tag))constreverse=xs=>xs.reverse()constjoin=curry((tag,xs)=>xs.join(tag))constreverseWords=c
hiluluke·2018-10-28 00:00

数学·包含学科

范畴论_百度百科https://baike.baidu.com/item/%E8%8C%83%E7%95%B4%E8%AE%BA/8281114数学（学科）_百度百科https://baike.baidu.com
DayDayUp的平行世界·2018-07-20 15:10

连载22：软件体系设计新方向：数学抽象、设计模式、系统架构与方案设计(简化版)(袁晓河著)

在更一般的范畴论语言中，同构指的是一个态射，且存在另一个态射，使得两者的复合是一个恒等态射。在数学中研究同构的主要目的是为了把数学理论应用于不同的领域。
袁晓河·2018-06-27 10:48

[JS]函数式编程

函数式编程核心理念是就是范畴论react和Angular中运用了大量的函数式编程的思维react中的高阶组件，高阶函数Angular中的rxjsObservable注意事项:1.函数式编程不是用函数(function
斗笔程序猿·2018-06-03 20:44

Q4FirstDay()

#2017_10_218:13每日阅读写给程序猿的范畴论Thepreface作者一直致力于为程序猿（而不是科学家）写一本范畴论的书。他非常渴望向别人去解释范畴论这门学科。
爱跑步的coder·2017-12-10 22:47

编写扁平化的代码

函数式编程有一个非常陡峭的学习曲线，因为它来源于数学中的范畴论。接触不久之后，就将遇到诸如组合（composition）、
离独逸·2017-11-02 00:00

函子

引言上一篇文章介绍了范畴论的一些基本概念，范畴，对象，态射。并且用了一些编程语言的例子去实践了这些理论的东西。但这还不足以让我们对函数式编程有个深刻的理解，因为还有一些概念是我们必须要知道，比如函子。
henzox·2017-04-17 21:18

函数式编程与范畴论

范畴论范畴论在维基百科
Henzox·2017-04-16 19:05

Scala和范畴论 -- 对Monad的一点认识

背景所有一切的开始都是因为这句话：一个单子（Monad）说白了不过就是自函子范畴上的一个幺半群而已，有什么难以理解的。第一次看到这句话是在这篇文章：程序语言简史(伪)。这句话出自Haskell大神PhilipWadler，也是他提议把Monad引入Haskell。Monad是编程领域比较难理解的概念之一，大部分人都是闻"虎"而色变，更不用说把它"收入囊中"了。我曾经好几次尝试去学习Monad，Fu
focusj·2017-01-04 00:00

一个面向Scheme程序员的monad介绍

好久没空在博客园上发帖，只好把陈年旧货拿出来晒一晒，希望对想理解monad机制又不想学习范畴论的朋友有所帮助，当然高手就直接跳过算了。说说我的心得
mydear_11000·2016-04-29 12:10

【函数式】Monads模式初探——Monoids

作为初次接触到Monads概念，难免会有些晕头转向，也难免会有些畏惧（因为Monads和数学中的范畴论有密切关系），但是Monads又是如此的重要，因为它在函数式编程中实在是应用太广泛了，并且在Scala
JasonDing1354·2016-02-28 21:00

【函数式】Monads模式初探——Monoids

作为初次接触到Monads概念，难免会有些晕头转向，也难免会有些畏惧（因为Monads和数学中的范畴论有密切关系），但是Monads又是如此的重要，因为它在函数式编程中实在是应用太广泛了，并且在Scala
JasonDing1354·2016-02-28 21:00

<译> 函子

范畴论中充满了这样简单又强大的主意。函子是范畴之间的映射。给定的两个范畴，C与D，函子F可以将C中的对象映射为D中的对象——函子是对象上的函数。
garfileo·2015-11-05 00:00

陈年译稿——一个面向Scheme程序员的monad介绍

好久没空在博客园上发帖，只好把陈年旧货拿出来晒一晒，希望对想理解monad机制又不想学 习范畴论的朋友有所帮助，
·2015-10-30 14:17

<译> 积与余积

在范畴论中更是这样。如果想刻画范畴中的一个对象，只能通过描述这个对象与其他对象（或其自身）之间的关系模式来实现。范畴论中有一个常见的构造，叫做泛构造（UniversalConstructio
garfileo·2015-10-27 00:00

<译> Kleisli 范畴

我还提到过，在范畴论中，有办法构造副作用或非纯函数。现在有一个像这样的例子：具有运行日志的函数。
garfileo·2015-10-23 00:00

<译> 写给程序猿的范畴论 · 序

原文见http://bartoszmilewski.com/20...我打算为程序猿们写一本讲范畴论的书已经有一段时间了。注意，受众不是计算机科学家，而是程序猿——是工程师，而不是科学家。
garfileo·2015-10-20 00:00

<译> 范畴：复合的本质

原文见http://bartoszmilewski.com/20...上一篇文章，即《写向程序猿的范畴论》的序言，发布之后得到的正面反馈让我有些不知所措。
garfileo·2015-10-20 00:00

Scala和范畴论 -- 对Monad的一点认识

背景所有一切的开始都是因为这句话：一个单子（Monad）说白了不过就是自函子范畴上的一个幺半群而已，有什么难以理解的。第一次看到这句话是在这篇文章：程序语言简史(伪)。这句话出自Haskell大神PhilipWadler，也是他提议把Monad引入Haskell。Monad是编程领域比较难理解的概念之一，大部分人都是闻"虎"而色变，更不用说把它"收入囊中"了。我曾经好几次尝试去学习Monad，Fu
福克斯纪·2015-09-06 08:24

Haskell抽象概念Functor剖析

在理解Functor之前，必须对抽象代数的范畴论有所了解，有范畴论的知识作为铺垫，感觉Functor也不是那么的难以理解了。
firebroo·2015-03-09 20:00

haskell与范畴论总结

范畴论的介绍，这篇东西到functor那里都不错：haskell和categorytheory几个概念：`object`，`morphism`（object之间的态射，函数就是集合元素（object）上的态射
doyoubi·2014-10-22 18:24

Haskell 与范畴论

说到 Haskell，这真是一门逼格极高的编程语言，一般初学者如果没有相关函数式编程的经验，入门直接接触那些稀奇古怪的概念，简直要跪下。现在回想起来，隐隐觉得初学者所拥有的命令式编程语言(imperative programming language)相关的知识和经验反而成了负担，若能抛掉以往固有的观念转以全新的视角来看待这些新奇东西，仿佛会更好接受些，真是莫名其妙。 Bartosz Milew
·2014-09-15 21:00

Haskell 与范畴论

说到Haskell，这真是一门逼格极高的编程语言，一般初学者如果没有相关函数式编程的经验，入门直接接触那些稀奇古怪的概念，简直要跪下。现在回想起来，隐隐觉得初学者所拥有的命令式编程语言(imperativeprogramminglanguage)相关的知识和经验反而成了负担，若能抛掉以往固有的观念转以全新的视角来看待这些新奇东西，仿佛会更好接受些，真是莫名其妙。BartoszMilewski在其博
twoon·2014-09-15 21:00

计算机科学主要领域

数学基础数理逻辑 ·集合论 ·数论 ·图论 ·类型论 ·范畴论 ·数值分析 ·信息论 计算理论自动机 ·可计算性理论 ·计算复杂性理论 ·量子计算 ·数值计算方法 算法和数据结构算法分析 ·算法设计 ·
ajian005·2012-11-21 15:00

scala中的协变和逆变

这个术语其实是来自范畴论的。是个跟集合相关的问题
liango·2012-07-29 03:00

一个面向Scheme程序员的monad介绍

好久没空在博客园上发帖，只好把陈年旧货拿出来晒一晒，希望对想理解monad机制又不想学 习范畴论的朋友有所帮助，当然
netbabe·2012-04-15 00:00

Haskell的monad和范畴论的探讨

下面是上次和我一起讨论haskell的网友的继续，主要探讨了haskell的monad和范畴论的关系。
flyfish30·2012-03-29 23:03

范畴论[转自百度百科]

范畴目录哲学定义亚里士多德的范畴论范畴的历史物质对象心灵类性质关系展开编辑本段哲学定义范畴是已经经过无数次实践的证明,并已经内化、积淀为人类思维成果，是人类思维成果高级形态中具有高度概括性、结构稳定的基本概念
刘小兵2014·2011-11-02 19:00

Haskell与范畴论

www.yi-programmer.com/blog/2010-04-06_haskell_and_category_translate.html#id24  白菜-精确编程  HomeBlogComments豆瓣九点Haskell与范畴论用
mjk·2010-09-16 19:00

Haskell与范畴论

Haskell与范畴论http://www.yi-programmer.com/blog/2010-04-06_haskell_and_category_translate.html用haskell的概念解释范畴论
yntcsb·2010-08-06 21:00

推荐篇 Haskell与范畴论的翻译

 国内另一个haskell学习者黄毅翻译自wikibook：Haskell与范畴论新鲜出炉还冒着热气。
albert_lee·2010-04-10 13:00
上一页 1 2 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他