User:InXistant

From Wikipedia, the free encyclopedia

Uni This user is a university student.

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

MAT This user's favorite subject is Mathematics.

This user's favorite subject is Physics.

This user's favourite subject is Computing.

MSc This user has a Master of Science degree.

fr Cet utilisateur a pour langue maternelle le français.

en-4 This user speaks English at a near-native level.

la-2 Hic usor media latinitate contribuere potest.

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

This user contributes using Safari.

G This user uses Google as a primary search engine.

-4 This user is an expert LaTeX user.

html-3 This user is an advanced HTML user.

php-2 This user is an intermediate PHP programmer.

java-1 This user is a beginning Java programmer.

This user knows that 42 is the answer to life, the Universe, and everything.

non This 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 (dagger, delta, epsilon)-categories
• Write an article about the graphical calculus of monoidal categories, dagger compact categories, (dagger, delta, epsilon)-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)