Timeline for From Topoi to Grothendieck categories
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 25, 2020 at 21:01 | comment | added | Damiano Mazza | Like @SimonHenry says, the equivalence between the first and last of (2) holds for any algebraic theory and, if I am not mistaken, appears as Proposition 6.3.1 in SGA 4 (although of course they do not use the terminology "algebraic theory"). But maybe you are looking for a reference mentioning the whole chain of equivalences? For what concerns (1), again I may be mistaken but I think it is (a special case of) Proposition 6.7 of SGA 4. | |
| Oct 24, 2020 at 18:44 | history | became hot network question | |||
| Oct 24, 2020 at 12:44 | comment | added | Ivan Di Liberti | @SimonHenry, I agree with you. I was asking because I might want to cite it. | |
| Oct 24, 2020 at 12:42 | comment | added | Simon Henry | I don't understand which part of (2) is non-trivial ? The equivalence between the first and the last is pretty obvious if you just write what it means to be an abelian group in Sh(C,J) vs a sheaf of abelian group (it works for any algebraic theory) | |
| Oct 24, 2020 at 12:21 | answer | added | fosco | timeline score: 9 | |
| Oct 24, 2020 at 10:50 | history | edited | Ivan Di Liberti | CC BY-SA 4.0 |
added 86 characters in body
|
| Oct 24, 2020 at 10:44 | history | asked | Ivan Di Liberti | CC BY-SA 4.0 |