3 ms·
The part about replacing sets with categories is inaccurate. Some people are talking about categorical foundations, but as far as I know, most work is aimed at
by Atiscant 7y ago
The part about replacing sets with categories is inaccurate. Some people are talking about categorical foundations, but as far as I know, most work is aimed at HoTT and/or (infinity-)groupoids. Thid is of course not divorced from category theory but the focus is important.