84:
189:
179:
158:
74:
53:
22:
454:
The definition states that closedness is equivalent to the hom-sets being objects of the monoidal category itself. This is only intuitively true, the correct statement is that the generalized 1-elements (1 being the unit object) of the internal hom are isomorphic to the hom-set.
360:
In Hilb, f^\dagger is given by the adjoint of f, in Rel it is given by the opposite relation, and in the category of finitely generated projective modules it is... what, the transpose of the matrix representation of a linear map?
429:
What, exactly, is the deal with finite vs. infinite-dim hilbert space? Can we explicitly demonstrate why this doesn't work for the infinite case (yes, compactness. but spell it out in detail...)
340:
245:
507:
301:
412:
Quantum mechanics technically lives on complex projective hilbert space, not hilbert space in general. What would need to be added to make a category be projective? Is there a
432:
Stuff like the basis, eigenvectors, etc. should be worked out in detail for the category of relations, viz to have a clearer view of what it looks like in a different cat.
426:
Hilbert space is defined for any field; including finite fields; again, QM works only for the field being the complex numbers. Can anything intelligent be said about this?
140:
402:, except that the dagger version of the axioms are not given there ('Frobenius law'). This needs to be firmed up; the dagger version needs to be added there.
517:
235:
512:
502:
130:
211:
83:
497:
267:
It may help to make the article more useful if somebody (more proficient at this than I) adds what is f^\dagger in each of the examples.
368:
106:
202:
163:
474:
I'm not an expert in category theory, but the part about eigenstates confuses me: shouldn't they be morphisms rather than objects?
97:
58:
33:
306:
419:
So, for example, normally, unitarity arises from the projective nature .. here, we might expect unitarity to be a
21:
440:
372:
413:
274:
39:
460:
188:
479:
364:
406:
456:
210:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
475:
347:
194:
178:
157:
399:
405:
The
Frobenius part has something to do with the movement of classical information (viz not
89:
491:
343:
483:
464:
444:
409:) since frobenius stuff can be cloned/delete. This needs to be explained in detail.
376:
351:
207:
73:
52:
436:
420:
184:
79:
395:
102:
394:
The bit about defining a basis here makes use of relations from
271:
All the dagger does is reverse the direction of arrows. So, if
15:
309:
277:
206:, a collaborative effort to improve the coverage of
101:, a collaborative effort to improve the coverage of
334:
295:
335:{\displaystyle f^{\dagger }:B\longrightarrow A}
508:Start-Class physics articles of Low-importance
8:
19:
342:. I will have a look at the examples... --
152:
47:
314:
308:
276:
154:
49:
7:
296:{\displaystyle f:A\longrightarrow B}
200:This article is within the scope of
95:This article is within the scope of
38:It is of interest to the following
398:to define it. Much the same as in
14:
518:Low-priority mathematics articles
220:Knowledge:WikiProject Mathematics
513:Start-Class mathematics articles
390:Things that need clarification:
223:Template:WikiProject Mathematics
187:
177:
156:
82:
72:
51:
20:
503:Low-importance physics articles
240:This article has been rated as
135:This article has been rated as
326:
287:
1:
445:07:35, 27 November 2013 (UTC)
423:between morphisms ... right!?
214:and see a list of open tasks.
115:Knowledge:WikiProject Physics
109:and see a list of open tasks.
498:Start-Class physics articles
484:18:36, 4 November 2023 (UTC)
118:Template:WikiProject Physics
534:
352:01:39, 28 April 2009 (UTC)
141:project's importance scale
239:
172:
134:
67:
46:
377:07:36, 26 May 2009 (UTC)
246:project's priority scale
465:07:40, 3 May 2023 (UTC)
203:WikiProject Mathematics
336:
297:
28:This article is rated
337:
298:
307:
275:
263:examples of f-dagger
226:mathematics articles
414:projective category
407:quantum information
98:WikiProject Physics
332:
293:
195:Mathematics portal
34:content assessment
400:Frobenius algebra
367:comment added by
260:
259:
256:
255:
252:
251:
151:
150:
147:
146:
525:
379:
341:
339:
338:
333:
319:
318:
302:
300:
299:
294:
228:
227:
224:
221:
218:
197:
192:
191:
181:
174:
173:
168:
160:
153:
123:
122:
121:physics articles
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
533:
532:
528:
527:
526:
524:
523:
522:
488:
487:
472:
452:
388:
362:
310:
305:
304:
273:
272:
265:
225:
222:
219:
216:
215:
193:
186:
166:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
531:
529:
521:
520:
515:
510:
505:
500:
490:
489:
471:
468:
451:
448:
434:
433:
430:
427:
424:
417:
410:
403:
387:
384:
383:
382:
381:
380:
355:
354:
331:
328:
325:
322:
317:
313:
292:
289:
286:
283:
280:
264:
261:
258:
257:
254:
253:
250:
249:
238:
232:
231:
229:
212:the discussion
199:
198:
182:
170:
169:
161:
149:
148:
145:
144:
137:Low-importance
133:
127:
126:
124:
107:the discussion
94:
93:
90:Physics portal
77:
65:
64:
62:Low‑importance
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
530:
519:
516:
514:
511:
509:
506:
504:
501:
499:
496:
495:
493:
486:
485:
481:
477:
469:
467:
466:
462:
458:
449:
447:
446:
442:
438:
431:
428:
425:
422:
418:
415:
411:
408:
404:
401:
397:
393:
392:
391:
385:
378:
374:
370:
366:
359:
358:
357:
356:
353:
349:
345:
329:
323:
320:
315:
311:
290:
284:
281:
278:
270:
269:
268:
262:
247:
243:
237:
234:
233:
230:
213:
209:
205:
204:
196:
190:
185:
183:
180:
176:
175:
171:
165:
162:
159:
155:
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:
473:
453:
435:
389:
369:130.54.16.83
266:
242:Low-priority
241:
201:
167:Low‑priority
136:
96:
40:WikiProjects
470:Eigenstates
363:—Preceding
217:Mathematics
208:mathematics
164:Mathematics
30:Start-class
492:Categories
450:Closedness
437:User:Linas
396:coalgebra
386:TODO List
365:unsigned
344:Radjenef
457:Nmdwolf
303:, then
244:on the
139:on the
112:Physics
103:Physics
59:Physics
476:Diomsk
421:2-cell
36:scale.
480:talk
461:talk
441:talk
373:talk
348:talk
236:Low
131:Low
494::
482:)
463:)
443:)
375:)
350:)
327:⟶
316:â€
288:⟶
478:(
459:(
439:(
416:?
371:(
346:(
330:A
324:B
321::
312:f
291:B
285:A
282::
279:f
248:.
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.