Tag:fun
All the articles with the tag "fun".
functor
Posted on:June 1, 2020 at 08:50 AM什么是范畴(category)? 范畴就是两个对象+一个映射关系组成的东西 什么是函子(functor)? 函子就是两个范畴加上这两个范畴的映射关系而组成 也就是说函子就是范畴+两个范畴
All the articles with the tag "fun".
什么是范畴(category)? 范畴就是两个对象+一个映射关系组成的东西 什么是函子(functor)? 函子就是两个范畴加上这两个范畴的映射关系而组成 也就是说函子就是范畴+两个范畴