-
Recent Posts
Archives
Categories
Meta
Category Archives: machine
Yo Dawg, We Put an Algebra in Your Coalgebra
As Dan Piponi suggested in Cofree Meets Free, we may think of coalgebraic things as machines with buttons. In this post, we take this metaphor seriously and show how we can use algebras to model the Input/Output interface of the … Continue reading →