From: Robin Houston <r.houston@cs.man.ac.uk>
To: categories@mta.ca
Subject: Proof nets
Date: Mon, 19 Jul 2004 13:05:33 +0100 [thread overview]
Message-ID: <20040719120533.GC26804@rpc142.cs.man.ac.uk> (raw)
Dear categorists,
The category of ordinary MLL proof nets (where an object is a term,
and a morphism X -> Y is a cut-free proof net for |- X^, Y) is the
free unitless *-autonomous category generated by the literals.
Does the corresponding result hold for MALL? The Hughes-van Glabeek
notion of MALL proof net has the ring of truth about it, and indeed
they claim to have proven (theorem 4.22) that "two cut-free MALL
proofs translate to the same proof net iff they can be converted into
each other by a series of rule commutations". Of course the category
of MALL proof nets is a unitless *-autonomous category with binary
products and coproducts, but nowhere (to my knowledge) is it described
as the *free* such category.
Is that because it isn't, or merely because it isn't (yet) known to be?
Enlightenment will be much appreciated.
Yours,
Robin
reply other threads:[~2004-07-19 12:05 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=20040719120533.GC26804@rpc142.cs.man.ac.uk \
--to=r.houston@cs.man.ac.uk \
--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).