Canonicity
Mar. 31st, 2009 09:08 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
sniffnoyYesterday was the first day of Algebra with May, where we did, surprise, a bunch of category theory stuff.
Today was the first day of manifolds with Nori. (Peter and Youlian are in this also.) While in class today he just reviewed basic multivariable calculus and then gave a non-usual proof of the inverse function theorem (my guess is that the first part is to make sure everyone's on the same page, and the second part is because he didn't know what else to do but he'd found this cool proof of the inverse function theorem...) After class, however, he sent out an email containing his current idea for an outline of how the class will go.
It begins as follows:
first week:
[basically the stuff we just did, which I've omitted for space.]
second week: Presheaf, stalks, complete presheaf.
Definition of a C∞ manifold via sheaves.
comparison with dfn in Warner.
Peter and Nic show this to Lucas. Lucas's remark: "I see he's being very canonical..."
(It occurs to me that remark wouldn't make sense if you had no idea what any of the above meant, because it's certainly *not* the usual way of doing things at first!)
Also today was first day of Operating Systems, which was, uh... soporific. Youlian is also in the class and he concurred. Partly that it's an hour and a half long and we didn't really do very much today, partly the hot room, and probably also partly that manifolds is at 9 AM...
-Harry
Today was the first day of manifolds with Nori. (Peter and Youlian are in this also.) While in class today he just reviewed basic multivariable calculus and then gave a non-usual proof of the inverse function theorem (my guess is that the first part is to make sure everyone's on the same page, and the second part is because he didn't know what else to do but he'd found this cool proof of the inverse function theorem...) After class, however, he sent out an email containing his current idea for an outline of how the class will go.
It begins as follows:
first week:
[basically the stuff we just did, which I've omitted for space.]
second week: Presheaf, stalks, complete presheaf.
Definition of a C∞ manifold via sheaves.
comparison with dfn in Warner.
Peter and Nic show this to Lucas. Lucas's remark: "I see he's being very canonical..."
(It occurs to me that remark wouldn't make sense if you had no idea what any of the above meant, because it's certainly *not* the usual way of doing things at first!)
Also today was first day of Operating Systems, which was, uh... soporific. Youlian is also in the class and he concurred. Partly that it's an hour and a half long and we didn't really do very much today, partly the hot room, and probably also partly that manifolds is at 9 AM...
-Harry
