Knowledge

Talk:Injective cogenerator

Source 📝

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::

Index


content assessment
WikiProjects
WikiProject icon
Mathematics
WikiProject icon
icon
Mathematics portal
WikiProject Mathematics
mathematics
the discussion
???
project's priority scale
User:Charles Matthews
AxelBoldt
Charles Matthews
Generator (category theory)
Tilmanbauer
talk
11:48, 27 July 2010 (UTC)
abelian groups
direct sums
surjective
Lichfielder
talk
08:43, 20 September 2012 (UTC)
Vdlee37
talk
15:07, 7 October 2020 (UTC)
Categories

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.