4 ms·
What subfield do you think I'm talking about? Which subfield doesn't involve adjoints and fixed points?
by adamnemecek 4y ago
What subfield do you think I'm talking about? Which subfield doesn't involve adjoints and fixed points?
- bollu 4y agoMost "hard results" in any subfield of math cannot be derived from pure categorical nonsense like adjunctions. At some point, you have to roll up your sleeve and do the work. How would you prove the tychonoff theorem purely with adjunctions? How about the representation theorem of finitely presented abelian groups? And on and on and on...