the role of coalgebras

[Vlad Patryshev]

http://golem.ph.utexas.edu/category/2008/11/coalgebraically_thinking.html

Kind of an eye-opener. I was always thinking we should deal with algebras.

--
Thanks,
-Vlad

[Jason Dusek]

I like this discussion of coalgebras. I finally understand
now the relationship of the fix point of:

F(X) = 1 + A * X

to algebras and coalgebras (I used to think, is it one or
the other?). But now I see we have a minimal and a maximal
fixed point and that makes all the difference.

--
Jason Dusek
Linux User #510144 | http://counter.li.org/

[Vlad Patryshev]

Exactly! Instead of fixing on fixed points, just notice that algebras are lists and coalgebras are streams.

2011/1/27 Jason Dusek <jason...@gmail.com>

--
You received this message because you are subscribed to the Google Groups "Bay Area Categories And Types" group.
To post to this group, send email to ba...@googlegroups.com.
To unsubscribe from this group, send email to bacat+un...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/bacat?hl=en.

--
Thanks,
-Vlad

[Raoul Duke]

On Thu, Jan 27, 2011 at 2:42 PM, Vlad Patryshev <vpatr...@gmail.com> wrote:
> Exactly! Instead of fixing on fixed points, just notice that algebras are
> lists and coalgebras are streams.

cf.
http://blog.sigfpe.com/2007/07/data-and-codata.html
?