From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3060 Path: news.gmane.org!not-for-mail From: Bob Rosebrugh Newsgroups: gmane.science.mathematics.categories Subject: Graphical Database for Category Theory (GDCT 3.0) Date: Thu, 2 Mar 2006 10:50:26 -0400 (AST) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241019072 7081 80.91.229.2 (29 Apr 2009 15:31:12 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:31:12 +0000 (UTC) To: categories Original-X-From: rrosebru@mta.ca Thu Mar 2 11:07:28 2006 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 02 Mar 2006 11:07:28 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.52) id 1FEpKS-0003e4-Ja for categories-list@mta.ca; Thu, 02 Mar 2006 11:02:56 -0400 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 6 Original-Lines: 59 Xref: news.gmane.org gmane.science.mathematics.categories:3060 Archived-At: Dear Colleagues, This is to announce a new release of a Java application for storage and display of finitely presented categories and functors among them. GDCT is a tool for the creation, editing, display and storage of finitely presented categories. Categories can be opened and saved from local files as well as loaded from a user-specified server. Open categories can be displayed graphically, and the graphical display can be manipulated (in 3 dimensions) and stored. Several tools for testing properties of objects and arrows can be applied. Functors between stored categories can also be created and stored. Open functors can be displayed as diagrams and with a domain/codomain display. This version of GDCT contains some enhancements: - Moved to a desktop-style interface, where multiple categories and functors can be opened in their own respective windows - Implemented pullback, pushout, create product, create sum, and partial order category tools. A built-in help system describes how to use GDCT. The application is available for download at http://mathcs.mta.ca/research/rosebrugh/gdct/ and is linked from http://www.mta.ca/~rrosebru/ Instructions for setting up GDCT are are on the Web pages: - users may download a zipped archive providing the application; - source code is available. Graphical Database for Category Theory was developed by Jeremy Bradbury, Ian Rutherford, M. Graves, J. Tweedle and R. Rosebrugh with support from NSERC Canada. We are interested in any response from users, and would also appreciate receiving any reports of difficulties in function or usability. Bob Rosebrugh