Remix.run Logo
louthy 7 hours ago

Have you considered the next step from sets into Category Theory?

bananaflag 6 hours ago | parent [-]

Yes, I am very familiar with category theory. Not sure I would consider it the "next step from sets". Sure, there are alternative foundations based on category theory, but that is not its only or its main use.