ruidy/functional-programming-jargon
1
0
Fork 0
mirror of https://github.com/rjNemo/functional-programming-jargon synced 2026-06-12 05:26:43 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix typo: middle dot

Browse source
This commit is contained in:
shfshanyue 2017-03-09 19:43:23 +08:00
parent e0a7e75f7a
commit b58ed9bea6
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
readme.md
View file

@ -331,7 +331,7 @@ To be a valid category 3 rules must be met:
and `f` is a morphism from `a -> b`, and `g` is a morphism from `b -> c`; and `f` is a morphism from `a -> b`, and `g` is a morphism from `b -> c`;
`g(f(x))` must be equivalent to `(g • f)(x)`. `g(f(x))` must be equivalent to `(g • f)(x)`.
3. Composition must be associative 3. Composition must be associative
`f • (g • h)` is the same as `(f • g) * h` `f • (g • h)` is the same as `(f • g) • h`
Since these rules govern composition at very abstract level, category theory is great at uncovering new ways of composing things. Since these rules govern composition at very abstract level, category theory is great at uncovering new ways of composing things.