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

The option includes the *.jar file and sample files. Click GDCT_nonWin.zip [530 KB] to download

Linux Instructions: You will need the latest JRE from http://java.sun.com. From the command prompt type "java -jar gdct.jar."

Option Two: 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. 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]

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.