Lifted, i'm forwarding this as it may be of general interest to many here.
Best wishes, --greg 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 --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Lift" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/liftweb?hl=en -~----------~----~----~----~------~----~------~--~---
