3 ms·
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
by bananaflag 11mo ago
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.