It turns out there's a more powerful and arguably more interesting version of the Löb fixpoint in a setting where we have a ComonadApply, i.e. a structure that's not merely a functor, but also a comonad and comonad's version of Applicative. What emerges looks like spreadsheet evaluation in arbitrarily shaped spaces, with relative references provided by the comonadic structure.
I've always found this stuff tremendously fun, and it's a delight that people keep stumbling across it who share my enthusiasm!
It turns out there's a more powerful and arguably more interesting version of the Löb fixpoint in a setting where we have a ComonadApply, i.e. a structure that's not merely a functor, but also a comonad and comonad's version of Applicative. What emerges looks like spreadsheet evaluation in arbitrarily shaped spaces, with relative references provided by the comonadic structure.
I've always found this stuff tremendously fun, and it's a delight that people keep stumbling across it who share my enthusiasm!