Verge of Epiphany
At long last, I feel like I'm on the verge of an epiphany with regard to category theory, initial algebras, and final coalgebras. I've struggled with coalgebra for quite a few years; not to mention these weird things called continuations, which I'm convinced have a very deep connection to coalgebra.
Recently many cross-potentiating factors have come together: I finally have a reasonable understanding of my corecursive queues, I'm sitting in on a coalgebra class, I read this fascinating paper on LtU, and a math student came to me for some help with stream equations in Haskell. My first solution was fairly conventional, but the paper inspired me to try a different tack, and the code has been quite illuminating.
Recently many cross-potentiating factors have come together: I finally have a reasonable understanding of my corecursive queues, I'm sitting in on a coalgebra class, I read this fascinating paper on LtU, and a math student came to me for some help with stream equations in Haskell. My first solution was fairly conventional, but the paper inspired me to try a different tack, and the code has been quite illuminating.