There is for example the book "Sets for Mathematics" [0] by Lawvere, one of the inventors of category theory. Those sets he talks about in his book are category

There is for example the book "Sets for Mathematics" [0] by Lawvere, one of the inventors of category theory. Those sets he talks about in his book are category-theoretic sets. Which kind of implies that ZFC sets are NOT for Mathematics :-) [0]: https://www.cambridge.org/core/books/sets-for-mathematics/E899F592AD8FBA9A550B1ED3E1E61EC3 https://www.cambridge.org/core/books/sets-for-mathematics/E8...