by monstr3d
The math category theory software with diagram graphical user interface.
New type of interface
Revision of core
Revision of core
monstr3d commented on the RE: Compilation forum thread
justin_walker commented on the RE: Compilation forum thread
monstr3d commented on the RE: Compilation forum thread
justin_walker created the Compilation forum thread
Any Z module homomorphism f from A to B defines natural transformation from Hom(-,A) to Hom(-,B) functor. The same is true for Hom(A,-), Ext(-,A), Ext(A,-) and also Tor and tensor product functors. New release contains calculation of these natural ...
Natural transformations support added
Natural transformations support added
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use
