Your results are here.

I've lost a few mails from people who asked about improvements to, or problems with, the demonstrations. One of them was about viewing angle brackets in Windows. If you sent me something and haven't had a reply, could you resend? Thanks.

This is an interactive page, with buttons you press to get examples of basic constructions in category theory.

To run the demonstrations, press one of the buttons in the form below these instructions. If it has input fields above it, you can type sets or functions into them, as explained below. Pressing the button will send a request to my Web server, which will send back a copy of this page with a link in green at the top pointing to your results. Clicking on this link will display these in a new browser window, or (depending on your browser) a new browser tab. If the demonstration's input checking detects an error — such as a badly-formed set or function, an incompatibility between sets and functions, or a bug or server problem — it will report it in red.

The demonstrations do not use Java or JavaScript, and so should work in any browser. If they don't, then either I'm updating them, or the server machine is overloaded, so do please try again.

The demonstrations generate diagrams as well as text, and I'm happy for you to save and use these. However, to save space on the server machine, I store images, as well as results pages, as scratch files which soon get deleted. So if you see something you like, copy it immediately, because it will vanish. You may redistribute it freely, but do please acknowledge me and these demonstrations.

To enter a set into an input field, type either `random`

(the
field's default value, which generates a set or function at random),
or `randomne`

(which generates a non-empty
set at random),
or elements separated by space or comma. Leave the
field empty for the empty set. Elements must start with a letter,
which can optionally be followed by one or more letters or digits. To
enter a function, do the same, but type two elements separated by a minus
sign: for example, `a-b,c-d`

is the function that maps a to b
and c to d. Extra spaces are allowed anywhere. Here are some
examples:

`random`

: generates a set or function at random.`randomne`

: generates a non-empty set at random.`a,b,c`

or`a b c`

or`a, b , c`

: the set {a,b,c}.`a-A,b-b2,c-x`

or`a-A b-b2 c-x`

or`a-A, b-b2 , c-x`

: the function {a→A,b→b2,c→x}.`: the empty set or function.`

Note that the demonstration handles random sets crudely. If, for example, you ask for a pullback where all three sets are random, the example-generator may make one of them empty. If this set is the target of a function from a non-empty set, no such function can exist, and a later stage of consistency checking will report this as an error. Resubmitting the page will (probably) generate different random sets.

**
If you like these demonstrations, please consider
sponsoring them. This would help pay to run them
on a faster server. Please contact
Jocelyn Ireson-Paine at popx@j-paine.org.
**

I would very much like suggestions about how to present categorical concepts graphically, for inclusion in a metaphor repository as well as implementation on this site. Please send these, as well as reports of any problems, to popx@j-paine.org.

Some algorithms are translations of those by Dave Rydeheard and Rod Burstall in their book Computational Category Theory.

The algorithms are coded in Jan Wielemaker's free open-source SWI-Prolog. The script around them is in PHP.

The site is hosted at Mythic Beasts.

Colours in some demonstrations' explanations of function compositions are chosen by Cynthia Brewer's Color Brewer interactive colour generator.

The diagrams are drawn using the free open-source GraphViz, and Chris Mungall's GraphViz wrapper for SWI-Prolog.

For bug reports, implementation advice, suggestions for improvement, as well as general complimentary niceness, thanks to Mike Stay, Peter Selinger, Christopher Townsend, Steve Vickers, Miles Gould, David Ellerman, Omar Ahmad, Greg Meredith, Ronnie Brown, John Baez (here), Urs Schreiber (here), Jamie Vicary, and everyone who replied to this n-Category Café thread about Graphical Category Theory Demonstrations.

Jocelyn Ireson-Paine

28 August 2009