Are Type Theory and Category Theory Viable Alternatives to Set Theory?

[heff001]

TL;DR

Type and Category Theory

Are Type Theory and Category Theory alternatives to Set Theory?

 

[phinds]

What do you think and why?

 

[heff001]

I am asking a question. What I think doesn't matter.

 

[fresh_42]

Alternative: second, different possibility; possibility of choosing between two or more things

Are Type Theory and Category Theory alternatives to Set Theory?

Yes. Edit: Not as a substitution, but as something entirely different. As long as "Alternative, to what?" is unanswered, the only possible answer is: "Yes. it is something entirely different."

I am asking a question. What I think doesn't matter.

Question answered, so we can close the thread.