Misplaced Pages

User talk:InXistant: Difference between revisions

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editNext edit →Content deleted Content addedVisualWikitext
Revision as of 20:43, 18 November 2006 editInXistant (talk | contribs)326 edits →Hey InXistant← Previous edit Revision as of 20:44, 18 November 2006 edit undoInXistant (talk | contribs)326 edits →Hey InXistantNext edit →
Line 21: Line 21:
I really do think that FdHilb should be defined with arrows as contractions. (The arrows should preserve the inner product structure of the Hilbert spaces.) If, instead, you let all linear maps be arrows, then this is just another name for the category of finite dimensional vector spaces (where arrows only have to preserve linear structure). Please correct me if I'm wrong ... can you supply some reference where FdHilb is defined in the way you do? ] 18:40, 17 November 2006 (UTC) HHalvorson I really do think that FdHilb should be defined with arrows as contractions. (The arrows should preserve the inner product structure of the Hilbert spaces.) If, instead, you let all linear maps be arrows, then this is just another name for the category of finite dimensional vector spaces (where arrows only have to preserve linear structure). Please correct me if I'm wrong ... can you supply some reference where FdHilb is defined in the way you do? ] 18:40, 17 November 2006 (UTC) HHalvorson


:: Answer sent by mail. ] 20:43, 18 November 2006 (UTC) : Answer sent by mail. ] 20:43, 18 November 2006 (UTC)

Revision as of 20:44, 18 November 2006

Welcome!

Hello, InXistant, and welcome to Misplaced Pages! Thank you for your contributions. I hope you like the place and decide to stay. Here are some pages that you might find helpful:

I hope you enjoy editing here and being a Wikipedian! Please sign your name on talk pages using four tildes (~~~~); this will automatically produce your name and the date. If you need help, check out Misplaced Pages:Questions, ask me on my talk page, or place {{helpme}} on your talk page and someone will show up shortly to answer your questions. Again, welcome!  Melchoir 20:22, 25 September 2006 (UTC)

Hello

Your change to relational quantum mechanics inspired me to create a stub for orthomodular lattices, since they're so important to quantum logic, and the red link is ugly. I can't be bothered to add to it now (and there's not much else to say, really), but you might have a couple of things to put there...

I'm very happy to see someone doing articles on categorical approaches to QM foundations et al! Byrgenwulf 18:10, 5 October 2006 (UTC)

No matter. I don't think there is much more that can be said on the matter: an orthomodular lattice is just that, really. Byrgenwulf 19:09, 5 October 2006 (UTC)

Hey InXistant

I really do think that FdHilb should be defined with arrows as contractions. (The arrows should preserve the inner product structure of the Hilbert spaces.) If, instead, you let all linear maps be arrows, then this is just another name for the category of finite dimensional vector spaces (where arrows only have to preserve linear structure). Please correct me if I'm wrong ... can you supply some reference where FdHilb is defined in the way you do? Hhalvorson 18:40, 17 November 2006 (UTC) HHalvorson

Answer sent by mail. InXistant 20:43, 18 November 2006 (UTC)