In the previous post, I explained how Weihrauch reducibility could be viewed as a dependent lens. That was supposed to be the start of a few blog posts because my supervisor thought this work probably wasn't publishable. However, since then, we have written this up, and a preprint is available on the Arxiv. Even better, this work was accepted for CiE, as was an abstract for TYPES. I might still write some blog posts on various container constructions, but today I want to talk about the strong (or uniform) variant of Weihrauch Reducibility.
Counting Is Hard