84:
74:
53:
22:
171:
by Tamás
Szamuely. Sadly the proof in this book also assumes local connectedness, but this assumption appears to be unnecessary. The nlab pages on this topic also never put any assumption on the topological space. Does anyone know of a good source/reference with a proof that does not assume local
162:
I recently noticed during an
Algebraic Topology lecture that the proof of the equivalence between the categories of covering spaces and locally constant sheaves of sets does not require the assumption of local connectedness. When I looked at the original reference for this, an exercise in
140:
167:
by Mac Lane and
Moerdijk, it used a very weird definition of locally constant and the actual equivalence was never stated anywhere, so I added a reference to
200:
130:
195:
106:
97:
58:
33:
177:
21:
173:
39:
83:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
89:
73:
52:
189:
181:
102:
79:
15:
101:, a collaborative effort to improve the coverage of
158:Is the locally connected assumption necessary?
8:
47:
19:
49:
7:
169:Galois Groups and Fundamental Groups
95:This article is within the scope of
38:It is of interest to the following
14:
201:Low-priority mathematics articles
115:Knowledge:WikiProject Mathematics
118:Template:WikiProject Mathematics
82:
72:
51:
20:
196:Stub-Class mathematics articles
135:This article has been rated as
1:
165:Sheaves in Geometry and Logic
109:and see a list of open tasks.
217:
182:09:19, 15 June 2023 (UTC)
134:
67:
46:
141:project's priority scale
98:WikiProject Mathematics
28:This article is rated
121:mathematics articles
90:Mathematics portal
34:content assessment
155:
154:
151:
150:
147:
146:
208:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
216:
215:
211:
210:
209:
207:
206:
205:
186:
185:
172:connectedness?
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
214:
212:
204:
203:
198:
188:
187:
174:CodingDragon04
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
213:
202:
199:
197:
194:
193:
191:
184:
183:
179:
175:
170:
166:
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
168:
164:
161:
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
112:Mathematics
103:mathematics
59:Mathematics
190:Categories
30:Stub-class
139:on the
36:scale.
178:talk
131:Low
192::
180:)
176:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.