Due to lack of speaker, I’ll try to improvise a short talk about functional programming and the algebra of programming, with examples, from a programming perspective, about equational reasoning, functors, F-algebras, F-coalgebras, monads, etc, and as far as your patience goes.