Web-based category theory demonstrations

This is to reannounce a selection of Web-based category theory demonstrations that I've put up at http://www.j-paine.org/cgi-bin/webcats/webcats.php . The page contains a number of buttons such as "generate and demonstrate an equaliser" and "generate and demonstrate a limit". Clicking on one will generate an example of the construct in the category of finite sets, and display it as a listing of its objects and arrows, and as a diagram. My latest demo generates examples of exponential objects, using the same notation as the Wikipedia article at http://en.wikipedia.org/wiki/Exponential_object . Bug reports, and suggestions for improvement, would be very welcome. Jocelyn Paine http://www.j-paine.org http://www.spreadsheet-factory.com