Коалгебры и анаморфизмы
Dec. 30th, 2007 06:31 pmПредыдущие посты этой серии:
1. Типы как неподвижные точки функторов
2. Алгебры и катаморфизмы
( Анаморфизмы и коалгебры ко-под ко-катом ... )
1. Типы как неподвижные точки функторов
2. Алгебры и катаморфизмы
( Анаморфизмы и коалгебры ко-под ко-катом ... )