Timeline for A site is subcanonical if and only if its sheafification is fully faithful?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 20, 2016 at 14:03 | comment | added | Simon Henry | You obtained this isomorphism by a chain of several isomorphisms and they are all functorial. For which of them do you don't this the functoriality ? | |
| Nov 20, 2016 at 11:15 | comment | added | Arrow | Sorry, I don't follow. In the direction I'm stuck on, we're given isomorphisms $\mathsf{Hom}(X,Y)\cong \mathbf{ay}Y(X)$ but do not know they're natural/functorial. How do you know they are? | |
| Nov 11, 2016 at 22:41 | history | answered | Simon Henry | CC BY-SA 3.0 |