From: Michael Barr <mbarr@math.mcgill.ca>
To: Categories list <categories@mta.ca>
Subject: Linear--structure or property?
Date: Thu, 10 Aug 2006 16:14:46 -0400 (EDT) [thread overview]
Message-ID: <Pine.LNX.4.44.0608101606460.10740-100000@triples.math.mcgill.ca> (raw)
Bill Lawvere uses "linear" for a category enriched over commutative
semigroups. Obviously, if the category has finite products, this is a
property. What about in the absence of finite products (or sums)? Could
you have two (semi)ring structures on the same set with the same
associative multiplication?
Robin Houston's startling (to me, anyway) proof that a compact
*-autonomous category with finite products is linear starts by proving
that 0 = 1. Suppose the category has only binary products? Well, I have
an example of one that is not linear: Lawvere's category that is the
ordered set of real numbers has a compact *-autonomous structure.
Tensor is + and internal hom is -. Product is inf and sum is sup, but
there are no initial or terminal objects and the category is not linear.
next reply other threads:[~2006-08-10 20:14 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-08-10 20:14 Michael Barr [this message]
2006-08-11 9:12 George Janelidze
2006-08-11 10:49 Stephen Lack
2006-08-11 14:35 ` F W Lawvere
2006-08-11 14:53 George Janelidze
2006-08-11 21:47 George Janelidze
2006-08-12 16:35 F W Lawvere
2006-09-03 9:26 Fred E.J. Linton
2006-09-03 18:32 David Ellerman
2006-09-04 3:11 Fred E.J. Linton
2006-09-04 4:14 Fred E.J. Linton
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=Pine.LNX.4.44.0608101606460.10740-100000@triples.math.mcgill.ca \
--to=mbarr@math.mcgill.ca \
--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).