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

Follow

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

Sign in to participate in the conversation
social.emisocks.com

Emil Socks' personal instance!