81:
71:
53:
22:
332:
The formulation of the section titled "In general topology" is vague and incorrect. The closed interval of the real line is indeed a cogenerator in the category of completely regular spaces, and the same goes for the open and half-open intervals. However, no interval is injective as an object of
133:
327:
297:
269:
The definitions given for generator and cogenerator objects in categories having a zero object (as such an unnecessary restriction) are incorrect. They would imply that
366:
127:
333:
this category, since there exists a continuous map into it defined on the circle minus a point which cannot be extended continuously to the entire circle.
361:
157:
The example about cogenerators in a category of topological spaces doesn't quite fit the definition, as the category doesn't have a zero object.
103:
94:
58:
164:
OK - this is mentioned in the book of Barr and Wells as an example, but I was worrying about whether it was quite right.
33:
247:
supposed to be a generator? Do we know that the category has a generator? Most importantly, what is the reference?
174:
21:
252:
182:
167:
150:
39:
343:
80:
178:
203:
302:
272:
339:
102:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
86:
70:
52:
266:
The article does not actually provide a definition for the concept of injective cogenerator.
248:
158:
355:
199:
153:
This rather isolated page is densely written, and really needs to be taken in hand.
347:
256:
186:
99:
299:
is both a generator and a cogenerator in the category of modules over the ring
223:
76:
15:
235:
supposed to be here? Is it supposed to be true for any
305:
275:
98:, a collaborative effort to improve the coverage of
321:
291:
132:This article has not yet received a rating on the
336:It seems best to replace the entire article.
8:
19:
47:
311:
307:
306:
304:
281:
277:
276:
274:
198:Assuming one has a category like that of
49:
367:Unknown-priority mathematics articles
7:
92:This article is within the scope of
38:It is of interest to the following
14:
173:I propose to join this page with
112:Knowledge:WikiProject Mathematics
362:Start-Class mathematics articles
115:Template:WikiProject Mathematics
79:
69:
51:
20:
329:, while in fact it is neither.
322:{\displaystyle \mathbb {Z} /4}
292:{\displaystyle \mathbb {Z} /2}
257:08:43, 20 September 2012 (UTC)
1:
106:and see a list of open tasks.
348:15:07, 7 October 2020 (UTC)
175:Generator (category theory)
383:
227:makes no sense. What are
187:11:48, 27 July 2010 (UTC)
131:
64:
46:
170:07:17, 4 Feb 2004 (UTC)
161:23:35, 3 Feb 2004 (UTC)
134:project's priority scale
243:(which it is not)? Is
202:, one can in fact form
95:WikiProject Mathematics
323:
293:
28:This article is rated
324:
294:
151:User:Charles Matthews
303:
273:
118:mathematics articles
262:Contents inadequate
210:until the morphism
319:
289:
192:Abelian group case
87:Mathematics portal
34:content assessment
148:
147:
144:
143:
140:
139:
374:
328:
326:
325:
320:
315:
310:
298:
296:
295:
290:
285:
280:
168:Charles Matthews
120:
119:
116:
113:
110:
89:
84:
83:
73:
66:
65:
55:
48:
31:
25:
24:
16:
382:
381:
377:
376:
375:
373:
372:
371:
352:
351:
301:
300:
271:
270:
264:
194:
117:
114:
111:
108:
107:
85:
78:
32:on Knowledge's
29:
12:
11:
5:
380:
378:
370:
369:
364:
354:
353:
318:
314:
309:
288:
284:
279:
263:
260:
200:abelian groups
196:The statement
193:
190:
155:
146:
145:
142:
141:
138:
137:
130:
124:
123:
121:
104:the discussion
91:
90:
74:
62:
61:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
379:
368:
365:
363:
360:
359:
357:
350:
349:
345:
341:
337:
334:
330:
316:
312:
286:
282:
267:
261:
259:
258:
254:
250:
246:
242:
238:
234:
230:
226:
225:
219:
215:
211:
207:
206:of copies of
205:
201:
191:
189:
188:
184:
180:
176:
171:
169:
165:
162:
160:
154:
152:
135:
129:
126:
125:
122:
105:
101:
97:
96:
88:
82:
77:
75:
72:
68:
67:
63:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
338:
335:
331:
268:
265:
244:
240:
236:
232:
228:
221:
217:
213:
209:
197:
195:
172:
166:
163:
156:
149:
93:
40:WikiProjects
249:Lichfielder
204:direct sums
179:Tilmanbauer
109:Mathematics
100:mathematics
59:Mathematics
30:Start-class
356:Categories
224:surjective
177:. Agreed?
159:AxelBoldt
340:Vdlee37
214:: Sum(
36:scale.
344:talk
253:talk
239:and
231:and
183:talk
222:is
218:) →
128:???
358::
346:)
255:)
185:)
342:(
317:4
313:/
308:Z
287:2
283:/
278:Z
251:(
245:G
241:H
237:G
233:H
229:G
220:H
216:G
212:f
208:G
181:(
136:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.