3 ms·> compared to other foundational theories like category theory or set theoryby derriz 1y ago> compared to other foundational theories like category theory or set theory