Since the Graphical Database for Category Theory is written in Java it is not available as an executable. There are four 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.

Option One: InstallShield Setup [Windows Only]

Download the InstallShield setup program that will automatically install GDCT for you. This option is best for user who will require help with initial setup. This setup includes a Java Runtime Environment for Windows 95/98/NT/2000 only. Users of other platforms should consult Option Three or Option Four :

• GDCTInstall.zip [3.42 MB]

Option Two: Non-InstallShield Setup [Windows Only]

Download the non-InstallShield version of the GDCT setup program. For this option the user should unzip the GDCT.zip file to the desire directory and then run the application from there. This setup includes a Java Runtime Environment for Windows 95/98/NT/2000 only. Users of other platforms should consult Option Three or Option Four :

• GDCT.zip [2.56 MB]

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 Compiled Java Source Files and Java Runtime Environment

Under this option, the complete Java source files are already compiled into "class" files and stored in a java archive ("jar") file. For more information about java archive files consult Sun's Java Tutorial: Jar Files Trail. The below downloads also includes all necessary help files as well as sample category and functor files:

• gdctjar.zip [659 KB]
• gdctjar.tar.gz [ KB]
• gdct.jar [Uncompressed 215 KB]

In order to interpret the compiled code a Java Run-time Environment must be downloadeded. JREs are used by an operating system to interpret Java class files so that they can be run on the local machine. To view a list of JREs for various platforms click HERE.

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

The complete Java source files are available for download and may be modified under terms of the GNU General Public License, Version 2. Download the source code for GDCT. This file also includes all necessary help files as well as sample category and functor files:

• gdctsource.zip [215 KB]
• gdctsource.tar.gz [ KB]