User:InXistant

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. 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:

That's all folks! (for now)
 * 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

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