Haven't looked too deep into it but wow heck Lawvere seems very cool

I get it's probably not very practical to use at this stage but if I understand correctly, it's very enlightening to read about, in terms of relating category theory concepts to practical programming ones

Show thread
Sign in to participate in the conversation

Emil Socks' personal instance!