Skip to content

Commit

Permalink
merge 16
Browse files Browse the repository at this point in the history
  • Loading branch information
anton-k committed Jun 30, 2013
2 parents f3d6e50 + b28aad3 commit e844488
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions pandoc/16.txt
Original file line number Diff line number Diff line change
Expand Up @@ -423,13 +423,13 @@ unfold :: Functor f => (a -> f a) -> (a -> Fix f)
функции стоит требование о том, что `f` является функтором.
Катаморфизм и анаморфизм отображают объекты в стрелки.
По типу функций `fold` и `unfold` мы можем сделать вывод,
что объектами в нашей категории для функции свёртки будут стрелки вида
что объектами в нашей категории для свёрток будут стрелки вида

~~~
f a -> a
~~~

или для разсвёрток:
или для развёрток:

~~~
a -> f a
Expand Down

0 comments on commit e844488

Please sign in to comment.