#coalgebra — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #coalgebra, aggregated by home.social.
-
Towards a Higher-Order Bialgebraic Denotational Semantics by Sergey Goncharov, @[email protected], @[email protected], Henning Urbat, and me has been (unconditionally) accepted at ICFP'26! Abstract below :Blobhaj_Read_Octopus:
#icfp #functionalProgramming #programmingLanguages #semantics #coalgebra #categoryTheory -
@scy semi #coroutine are the general concept
https://en.wikipedia.org/wiki/Coroutine
which could be seen from a categorical point as #coalgebra
https://en.wikipedia.org/wiki/Coalgebra
(Don't meant as answer for an unasked question - just blew my mind a while ago when I realized the deeper concept and thought it might joyful for you as well)