Liam O'Connor on Nostr: nprofile1q…d6kk0 i've yet to use category theory in anger in any of my work, but ...

nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysyd6kk0 (nprofile…6kk0) i've yet to use category theory in anger in any of my work, but even when I was learning and then teaching domain theory i could appreciate much better what it's driving at.

(specifically for recursively-defined domains, where the normal concepts of continuous functions for value-level recursion generalise smoothly to functors and categories)