search

distums / distums.github.io

my personal blog
https://distums.github.io/
0 stars 0 forks source link

functional jargon #46

Open distums opened 6 years ago

distums commented 6 years ago

category

sets with the same type

distums commented 6 years ago

morphisms（映射）

pure functions that, when given a specific set of inputs, always return the same output

morphisms are mappings between types, functors are mappings between categories.

distums commented 6 years ago

functor