From: Meredith Gregory <lgreg.meredith@gmail.com>
To: Categories <categories@mta.ca>
Subject: Conway Games over arbitrary (strong) monad?
Date: Tue, 24 May 2011 00:21:17 -0700 [thread overview]
Message-ID: <E1QOy1w-0007Qr-0O@mlist.mta.ca> (raw)
Dear Categorically Inclined,
Has anyone transported the Conway Game construction to the categorical
setting in such a way that it works over an arbitrary (strong) monad?
If so, is there a reference? i've been experimenting with such a beast
using the following recipe:
1. poke a hole in the Conway construction making it parametrically
polymorphic in an 'atom' type (following an analogy with the
relationship between ZF Set Theory and Fraenkl-Mostowski Set Theory)
2. use the monad to 'collect' the left and right components
resulting in a domain eqn
CG[M,A] = M[CG[M,A] + A] x M[CG[M,A] + A]
For this to work out well enough to support the definitions of the
field operations there have to be a few extra maps lying around and
some coherence conditions on them. Maybe there's a simpler way to wire
up this machine. If so, i'd love a reference. Or, maybe there's a flaw
in approach, in which case i'd love to be enlightened.
Best wishes,
--greg
--
L.G. Meredith
Managing Partner
Biosimilarity LLC
7329 39th Ave SW
Seattle, WA 98136
+1 206.650.3740
http://biosimilarity.blogspot.com
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
reply other threads:[~2011-05-24 7:21 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=E1QOy1w-0007Qr-0O@mlist.mta.ca \
--to=lgreg.meredith@gmail.com \
--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).