Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I am a bit unhappy with the present state of local system. This entry is lacking the good systematic nPOV story that would hold it together.
(For instance at some point a local system is defined to be a locally constant sheaf with values in vector spaces . This is something a secret blogger would do, but not worthy of an nLab. Certainly that's in practice an important specia case, but still just a very special case).
But I don*t just want to restructure the entry without getting some feedback first. So I added now at the very end a section
To my mind this should become, with due comments not to scare the 0-category theorists away, the second section after a short and to-the-point Idea section. The current Idea section is too long (I guess I wrote it! :-)
Give me some feedback please. If I see essential agreement, I will take care and polish the entry a bit, accordingly.
1 to 1 of 1