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

Sign in to participate in the conversation

Emil Socks' personal instance!