I wrote up the post on Weihrauch reducibility & Lenses. Would appreciate any comments / boosts etc.
https://www.countingishard.org/blog/weihrauch-reducibility-as-a-lens
[#]computability #complexity #categorytheory
=> More informations about this toot | More toots from counting_is_hard@mathstodon.xyz
text/gemini
This content has been proxied by September (3851b).