From: Jocelyn Paine <popx@j-paine.org>
To: categories@mta.ca
Subject: Graphical Category Theory Demonstrations
Date: Thu, 16 Apr 2009 16:22:15 +0100 (BST) [thread overview]
Message-ID: <E1Lub1E-0001U7-5j@mailserv.mta.ca> (raw)
"If you could commission a computer demonstration of any categorical idea,
what would you ask for? Could such demonstrations have helped you, or your
students, learn tricky ideas? And, would you be willing to share the
visualisations and metaphors that you have devised to explain these ideas
to yourself or others?"
We've started a thread on this topic at the n-Category Cafe',
http://golem.ph.utexas.edu/category/2009/04/graphical_category_theory_demo.html
. Anybody interested in using computers to demonstrate concepts from
category theory, do please have a look there. I've just added an
explanation of the techniques available for delivering demonstrations over
the Web, and I mention one - the 3D modelling environment called Alice -
that I think will eventually be brilliant for animating category theory,
and many other topics besides.
Jocelyn Paine
http://www.j-paine.org
http://www.spreadsheet-parts.org
+44 (0)7768 534 091
reply other threads:[~2009-04-16 15:22 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1Lub1E-0001U7-5j@mailserv.mta.ca \
--to=popx@j-paine.org \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).