Oziewicz Zbigniew
Your occupation (student/professor/reseacher/hobbyist)
professor, reseacher
Knowledge of programming languages
theory of computation
Knowledge of mathematics
Category theory, differential geometry, quantum computing
Knowledge of computer algebra systems
Axiom
Current projects
Entanglement in quantum computing, Frobenius algebra in relativity, Isofunctors in unitary spaces, Categorical differential and integral calculus, Multigraphs of multigraphs, Relativity groupoid
Network
|
|
|
|
Bill Page (mutual) friend |
Comments
Bill Page:
Zbigniew, I am very happy now there are at least two people here who claim to know something about category theory! :-) We might wish that Aldor (and computer algebra systems in general) had more direct support for doing categorical computations by at least there is already the beginning of this subject by Saul Youssef:
http://axiom-wiki.newsynthe...
Concerning Frobenius algebra in relativity, I think we must consider first non-commutative algebras. I am not so sure about the Aldor libraries in this regard, but at least Axiom has non-commutative polynomials. There are some simple example calculations here:
http://axiom-wiki.newsynthe...
Cheers,
Bill Page.