* Category Theory software
@ 2006-03-06 15:36 Petr Ivankov
0 siblings, 0 replies; only message in thread
From: Petr Ivankov @ 2006-03-06 15:36 UTC (permalink / raw)
To: categories
Dear colleagues.
I am developing category theory software.
It includes objects, morphisms, diagrams, functors, direct and inverse
limits. Software math categories include vector spaces, modules over
fuclidean rings, finite sets, finitely generated commutative algebras. The
software works with algebraic fields, complex and real field, Galois fields.
The software supports following functors: Tensor products, Hom, Ext, Tor.
Additional software feature is Homology calculations.
The software requires .NET 2.0
You can download sofware from http://sourceforge.net/projects/categorytheory
.
Recent instructions you can download from
http://prdownloads.sourceforge.net/categorytheory/CategoryTheory-doc-0.9.zip?download
If you wish improvement of the sofware vizit its forum
http://sourceforge.net/forum/?group_id=160444
Yours sincerely Petr.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2006-03-06 15:36 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-03-06 15:36 Category Theory software Petr Ivankov
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).