From: Vaughan Pratt <pratt@cs.stanford.edu>
To: Manuel Bullejos <bullejos@ugr.es>
Cc: categories@mta.ca
Subject: Re: Comma categories
Date: Mon, 19 Oct 1998 11:19:50 -0600 [thread overview]
Message-ID: <199810191819.LAA20517@coraki.Stanford.EDU> (raw)
In-Reply-To: Your message of "Mon, 19 Oct 1998 17:14:40 BST." <1.5.4.32.19981019161440.0067b7fc@goliat.ugr.es>
>Does any body know if comma categories have been defined in
>enriched contexts?
I'm not sure if it's what you have in mind, but combining comma categories
and enrichment is the theme of
Casley, R.T., Crew, R.F., Meseguer, J., and Pratt, V.R., ``Temporal
Structures'', Mathematical Structures in Computer Science, Volume 1:2,
179-213, July 1991.
The abstract is at my web page as
http://boole.stanford.edu/chuguide.html#P2
Vaughan Pratt
next prev parent reply other threads:[~1998-10-19 17:19 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-10-19 16:14 Manuel Bullejos
1998-10-19 17:19 ` Vaughan Pratt [this message]
-- strict thread matches above, loose matches on Subject: below --
2009-09-24 22:37 Steve Lack
2009-09-24 20:23 Tony Meman
2007-11-08 1:32 Robert L Knighten
2007-11-08 0:05 Bill Lawvere
2007-11-05 12:21 claudio pisani
2007-11-02 16:12 wlawvere
2007-10-31 15:20 Uwe Egbert Wolter
1998-10-20 21:11 F W Lawvere
1998-10-20 0:26 Ross Street
1997-07-01 18:13 comma categories categories
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=199810191819.LAA20517@coraki.Stanford.EDU \
--to=pratt@cs.stanford.edu \
--cc=bullejos@ugr.es \
--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).