Eons ago, a grad school friend of mine, a category theorist (or model theorist, perhaps?), pointed out/joked that Yoneda's lemma is 'even' more the absolute tautology than it at first might seem... Namely, the statement of Yoneda's lemma is that an object is determined by the morphisms to the object, while its proof is that, in particular, it is determined by the identity morphism. [Very nice lecture - of course!]
I would like to just say thank you for your amazing channel. I am in the process of getting onto a funded Ph.D program and need something to keep myself on top of everything.
who knows what a Scheme over Spec k is or what are line bundles ? Examples make it look more complicated, I’ve seen this in many other videos too. But once you learnt the basics your lectures really help to better understand.
Eons ago, a grad school friend of mine, a category theorist (or model theorist, perhaps?), pointed out/joked that Yoneda's lemma is 'even' more the absolute tautology than it at first might seem... Namely, the statement of Yoneda's lemma is that an object is determined by the morphisms to the object, while its proof is that, in particular, it is determined by the identity morphism. [Very nice lecture - of course!]
Hahaha. That's exactly right ...
It's always a pleasure professor, thanks for your time and wish you a lovely weekend
Please don't stop this course! Very much want to learn category theory from you. These are excellent.
I may be from a different university, but this explanation of Yoneda's lemma helped me understand it better. Thank you for that.
6:00 is very cool. I didn't know cohomology and homotopy were linked in that way.
I am taking a first year graduate course in algebra and these videos helped a lot! Thank you professor.
Thank You Professor for the best lecture.
I would like to just say thank you for your amazing channel. I am in the process of getting onto a funded Ph.D program and need something to keep myself on top of everything.
Also its going to be at Aston in Birmingham :)
@@OffTheGridBand1 congratulatiosn
friday saved, prof
I remember full as surjective because the source fills/covers the target
who knows what a Scheme over Spec k is or what are line bundles ? Examples make it look more complicated, I’ve seen this in many other videos too. But once you learnt the basics your lectures really help to better understand.
yeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
22:57 Faithful means injective. I can never remember the name for surjective. 😂