Knowledge

Measuring coalgebra

Source 📝

51:. In other words, if coalgebras are thought of as a sort of linear analogue of sets, then the measuring coalgebra is a sort of linear analogue of the set of homomorphisms from 340: 404: 115:
if it preserves the algebra product and identity (in the coalgebra sense). If we think of the elements of
335:, Mathematical Surveys and Monographs, vol. 168, Providence, RI: American Mathematical Society, 40: 438: 60: 400: 336: 36: 418: 374: 354: 414: 386: 350: 422: 410: 382: 358: 346: 432: 378: 72: 365:
Sweedler, Moss E. (1968), "The Hopf algebra of an algebra applied to field theory",
313: 394: 33: 281:
is the algebra of continuous real functions on a compact Hausdorff space
17: 399:, Mathematics Lecture Note Series, W. A. Benjamin, Inc., New York, 331:
Hazewinkel, Michiel; Gubareni, Nadiya; Kirichenko, V. V. (2010),
214:. A measuring coalgebra is a universal coalgebra that measures 333:
Algebras, rings and modules. Lie algebras and Hopf algebras
301:. This may be the origin of the term "measuring coalgebra". 312:, the measuring coalgebra has a natural structure of a 289:
is the real numbers, then the measuring coalgebra from
297:
can be identified with finitely supported measures on
239:
The group-like elements of a measuring coalgebra from
258:
The primitive elements of a measuring coalgebra from
222:in the sense that any coalgebra that measures 230:can be mapped to it in a unique natural way. 8: 71:. Measuring coalgebras were introduced by 316:, called the Hopf algebra of the algebra 63:are (essentially) the homomorphisms from 80: 76: 194:multiplies identities by the counit of 7: 202:is grouplike this just states that 14: 1: 379:10.1016/0021-8693(68)90059-8 247:are the homomorphisms from 455: 393:Sweedler, Moss E. (1969), 304:In the special case when 266:are the derivations from 206:is a homomorphism from 95:with a linear map from 186:is the coproduct of 119:as linear maps from 59:. In particular its 198:. In particular if 107:is said to measure 61:group-like elements 22:measuring coalgebra 127:, this means that 342:978-0-8218-5262-0 446: 425: 389: 361: 24:of two algebras 454: 453: 449: 448: 447: 445: 444: 443: 429: 428: 407: 392: 364: 343: 330: 327: 236: 185: 178: 171: 164: 157: 150: 143: 137: 89: 12: 11: 5: 452: 450: 442: 441: 431: 430: 427: 426: 405: 390: 373:(3): 262–276, 362: 341: 326: 323: 322: 321: 302: 275: 256: 235: 232: 183: 176: 169: 162: 155: 148: 141: 135: 88: 85: 39:of the set of 13: 10: 9: 6: 4: 3: 2: 451: 440: 437: 436: 434: 424: 420: 416: 412: 408: 406:9780805392548 402: 398: 397: 396:Hopf algebras 391: 388: 384: 380: 376: 372: 368: 363: 360: 356: 352: 348: 344: 338: 334: 329: 328: 324: 319: 315: 311: 308: =  307: 303: 300: 296: 292: 288: 284: 280: 276: 273: 269: 265: 261: 257: 254: 250: 246: 242: 238: 237: 233: 231: 229: 225: 221: 217: 213: 209: 205: 201: 197: 193: 189: 182: 175: 168: 161: 154: 147: 140: 134: 130: 126: 122: 118: 114: 110: 106: 102: 98: 94: 86: 84: 82: 78: 74: 70: 66: 62: 58: 54: 50: 46: 42: 41:homomorphisms 38: 35: 31: 27: 23: 19: 395: 370: 366: 332: 317: 314:Hopf algebra 309: 305: 298: 294: 290: 286: 282: 278: 271: 267: 263: 259: 252: 248: 244: 240: 227: 223: 219: 215: 211: 207: 203: 199: 195: 191: 187: 180: 173: 166: 159: 152: 145: 138: 132: 128: 124: 120: 116: 112: 108: 104: 100: 96: 92: 91:A coalgebra 90: 68: 64: 56: 52: 48: 44: 29: 25: 21: 15: 439:Coalgebras 423:0194.32901 367:J. Algebra 359:1211.16023 325:References 87:Definition 37:enrichment 172:) where Σ 34:coalgebra 433:Category 234:Examples 73:Sweedler 415:0252485 387:0222053 351:2724822 75: ( 18:algebra 421:  413:  403:  385:  357:  349:  339:  285:, and 190:, and 144:) = Σ 43:from 32:is a 401:ISBN 337:ISBN 81:1969 77:1968 28:and 20:, a 419:Zbl 375:doi 355:Zbl 293:to 277:If 270:to 262:to 251:to 243:to 226:to 218:to 210:to 123:to 111:to 103:to 83:). 67:to 55:to 47:to 16:In 435:: 417:, 411:MR 409:, 383:MR 381:, 369:, 353:, 347:MR 345:, 79:, 377:: 371:8 320:. 318:A 310:B 306:A 299:X 295:B 291:A 287:B 283:X 279:A 274:. 272:B 268:A 264:B 260:A 255:. 253:B 249:A 245:B 241:A 228:B 224:A 220:B 216:A 212:B 208:A 204:c 200:c 196:c 192:c 188:c 184:2 181:c 179:⊗ 177:1 174:c 170:2 167:a 165:( 163:2 160:c 158:) 156:1 153:a 151:( 149:1 146:c 142:2 139:a 136:1 133:a 131:( 129:c 125:B 121:A 117:C 113:B 109:A 105:B 101:A 99:× 97:C 93:C 69:B 65:A 57:B 53:A 49:B 45:A 30:B 26:A

Index

algebra
coalgebra
enrichment
homomorphisms
group-like elements
Sweedler
1968
1969
Hopf algebra
ISBN
978-0-8218-5262-0
MR
2724822
Zbl
1211.16023
doi
10.1016/0021-8693(68)90059-8
MR
0222053
Hopf algebras
ISBN
9780805392548
MR
0252485
Zbl
0194.32901
Category
Coalgebras

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