Ancestors

Toot

Written by Counting Is Hard on 2024-09-12 at 14:55

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

Descendants

Proxy Information
Original URL
gemini://mastogem.picasoft.net/thread/113125157277440135
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
240.529617 milliseconds
Gemini-to-HTML Time
0.218445 milliseconds

This content has been proxied by September (3851b).