User:InXistant

This user is a university student.

ACADEMIC JOURNALThis user has had his/her work published in an academic journal.

MATHThis user's favorite subject is Mathematics.

This user's favorite subject is physics.

This user's favorite subject is computing.

MScThis user has a Master of Science degree.

frCet utilisateur a pour langue maternelle le français.

en-4This user can contribute with a near-native level of English.

la-2Hic usor media latinitate contribuere potest.

he-1 משתמש זה יכול לתרום ברמה בסיסית של עברית.‏

This user contributes using Safari.

This user uses Google as a primary search engine.

-4This user is an expert LaTeX user.

HTML-3This user is an advanced HTML user.

PHP-2This user is an intermediate PHP programmer.

Java-1This user is a beginning Java programmer.

This user knows that 42 is the Answer to the Ultimate Question of Life, the Universe, and Everything.

nonThis user is full of non sequiturs. Fix my saxophone!

I don't exist, I just breed to death.

Real name: Depends on how I feel; I like Dr. X.

Born: Unknown.

Died: Not yet.

Sex: Whatever.

Location: 45 28' N 73 45' W, 3rd planet of Sol system, Milky Way, Local Group, Vulgar Universe. Don't ask for postal code please, this is precise enough.

Academics:

• B.A. with honours in mathematics and (almost) a major in physics.
• M.Sc. in mathematics. On topics related to category theory, categorical logic, quantum computing and topological quantum computation.
• Ph.D. in computer science (not completed yet). The thesis is oriented towards the categorical foundations of quantum mechanics and quantum computing.

Contributions :: Wikipedia

Main project description:

To write on topics related to categorical quantum mechanics and categorical quantum computing namely, dagger compact categories, their graphical language and how this is related to quantum mechanics and quantum computation.

Contributions so far:

+ Categories:

• Dagger categories

+ Articles:

• Dagger category
• Dagger symmetric monoidal category

+ Stubs:

• Dagger compact category
• Strongly ribbon category. Need a link to Topological quantum computer
• Category of finite dimensional Hilbert spaces

+ Minor updates:

• Added the subsection on dagger categories in List of category theory topics.
• Added category of sets and relations and category of finite dimensional Hilbert spaces in List of category theory topics.

+ Images and other graphic stuff created for Wikipedia:

• dagger compact coherence; appears in the article on dagger compact categories

+ To do's:

• Update the article on compact closed categories
• Update the article on *-autonomous categories
• Update the article on Category of sets and relations
• Write an article about rigid monoidal categories (wanted)
• Write an article about ribbon categories (wanted)
• Write an article about the CPM construction
• Write an article about classical objects and measurements in dagger compact categories
• Write an article about categorical quantum mechanics and developpements so far
• Write an article about categorical quantum computation and developpements so far
• Write an article about the graphical calculus of monoidal categories, dagger compact categories and strongly ribbon categories and their applications in categorical quantum mechanics and categorical quantum computation
• Write a categorical quantum mechanics for dummies with extensive references

That's all folks! (for now)

--InXistant 19:54, 28 September 2006 (UTC)