Since the Graphical Database for Category Theory is written in Java it is not available as an executable. There are three download options. The GDCT application is free software that is licensed under the GNU General Public License, Version 2. As a result, the Graphical Database for Category Theory may be distributed only under the terms of this license. To view the GNU webpage visit http://www.gnu.org .

Preview: Visual Demonstration

To view screen shots of the Graphical Database for Category Theory application click HERE.

User Guide

To see the user guide please go to the userguide page.

Option One: Download Compiled Java Source Files and Java Runtime Environment [Windows Only]

Under this option, the complete Java source files are already compiled into "class" files and stored in a java archive ("jar") file. The jar file can be downloaded as a *.zip file as a *.tar.gz file, or in uncompressed form. This download also includes all necessary help files as well as sample category and functor files. In order to interpret the compiled code, in the jar file, a Java Run-time Environment must be downloaded. JREs are used by an operating system to interpret Java class files so that they can be run on the local machine. This includes the JRE for Windows 95/98/ME/NT/2000:

• GDCTWin.zip [2.4 MB]

Option Two: Download Compiled Java Source Files [Non Windows Only]

The option includes the *.jar file and sample files, but does not include the JRE. This option will most likely be used by someone who wants to install GDCT under a Linux or Macintosh environment.

• Linux Instructions: You will need the latest JRE from http://java.sun.com. From the command prompt type "java -jar gdct.jar."
• Macintosh Instructions: You will need to get the MRJ SDK from http://developer.apple.com/java/download.html. Then run the program JBindery. Enter GDCT for the class name. Under the Class Path tab click "Add *.zip" and then select gdct.jar. Then you can save as to create a double clickable file that is equivalent to a Windows *.bat file:

• GDCT_nonWin.zip [576 KB]
• GDCT_nonWin.tar.gz [547 KB]

NOTE: The gdct.zip does not include a full version of th JRE, instead it has been edited to provide the smallest download possible. For users who are concerned with download size or installation problems this is the best version since it also includes a batch file that can run GDCT immediatly after the file has been unziped

Option Three: Download Java Source Files and Java Developer's Kit

The complete Java source files are available for download and may be modified under the terms of the GNU General Public License, Version 2. This download also includes all necessary help files as well as sample category and functor files. It is available as a *zip file or as a *tar.gz file. In order to compile and interpret Java source files, the Java Developers Kit must be downloaded. JDKs are used by an operating system to compile Java source files and interpret Java class files so that they can be run on the local machine:

• GDCTsource.zip [259 KB]
• GDCTsource.tar.gz [207 KB]