Why Nostr? What is Njump?
2025-04-08 16:49:01
in reply to

Omar Antolín on Nostr: nprofile1q…d6kk0 I agree with you generally but you seem critical of the statement ...

I agree with you generally but you seem critical of the statement that "category theory isn't honest computer science". I find that statement completely accurate: category theory is honest mathematics and it isn't any kind of computer science, whether honest or dishonest.
Author Public Key
npub17mjld0zpmqv8uam9grchpt02kmgdwxlj7m3ede9r5ueefcstpcwqfjrup0