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

Merge pull request #143 from shfshanyue/master

Browse source 
fix typo: middle dot
This commit is contained in:
hemanth.hm 2017-03-09 18:25:34 +05:30 committed by GitHub
commit 68d104f387
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.