* re: a coalgebra over fields question
@ 2011-08-26 7:25 Anders Kock
2011-08-26 19:15 ` Tom Leinster
0 siblings, 1 reply; 3+ messages in thread
From: Anders Kock @ 2011-08-26 7:25 UTC (permalink / raw)
To: categories
Hi,
Gavin Wraith lectured in 1976 about an important aspect in this
connection. I don't know of any published reference. Namely: The
category of commutative algebras is enriched over the cartesian closed
category of commutative coalgebras.
Does anybody know of a published reference ?
(I am in a posoition of a 1981 M.Sc. thesis by Ernst K. Pedersen, giving
the details of the constructions involved.)
Anders
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 3+ messages in thread
* re: a coalgebra over fields question
2011-08-26 7:25 a coalgebra over fields question Anders Kock
@ 2011-08-26 19:15 ` Tom Leinster
2011-08-26 22:16 ` Todd Trimble
0 siblings, 1 reply; 3+ messages in thread
From: Tom Leinster @ 2011-08-26 19:15 UTC (permalink / raw)
To: Anders Kock; +Cc: categories, Tom Leinster
Dear Anders,
> Gavin Wraith lectured in 1976 about an important aspect in this
> connection. I don't know of any published reference. Namely: The
> category of commutative algebras is enriched over the cartesian closed
> category of commutative coalgebras.
>
> Does anybody know of a published reference ?
I believe the key term here is "measure coalgebra" or "measuring
coalgebra". There's an nLab page on this:
http://ncatlab.org/nlab/show/measure+coalgebra
It doesn't give any references, and I don't know any. But presumably the
authors of that page are reading this and have a better idea than me.
André Joyal also mentioned this enrichment in his talk at CT11.
Best wishes,
Tom
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 3+ messages in thread
* re: a coalgebra over fields question
2011-08-26 19:15 ` Tom Leinster
@ 2011-08-26 22:16 ` Todd Trimble
0 siblings, 0 replies; 3+ messages in thread
From: Todd Trimble @ 2011-08-26 22:16 UTC (permalink / raw)
To: Tom Leinster, Anders Kock; +Cc: categories
Hi Tom (and others),
I was perhaps the primary author of that nLab page. I think the
more standard term is actually "measuring coalgebra". Anyway,
this is also discussed in Barr's paper that I alluded to in an earlier
message:
Coalgebras over a commutative ring, J. Alg. 32, 600-610
(1974)
The idea is simple enough: the measuring coalgebra of two
commutative algebras A, B is a representing coalgebra
m(A, B) for which there is an isomorphism
Coalg(C, m(A, B)) = Alg(A, hom(C, B))
natural in C, where the hom on the right is a vector-space
hom that acquires a natural algebra structure if C is a
coalgebra and B is an algebra.
But the idea of measuring coalgebra goes far beyond a base
of enrichment for commutative algebras. Basically, if you take
two vector-space models A, B of any prop, there is a suitable
measuring coalgebra construction m(A, B) [Barr, theorem 6.3].
So, "practically anything" can be enriched in cocommutative
coalgebras. :-)
Best regards,
Todd
----- Original Message -----
From: "Tom Leinster" <Tom.Leinster@glasgow.ac.uk>
To: "Anders Kock" <kock@imf.au.dk>
Cc: <categories@mta.ca>; "Tom Leinster" <Tom.Leinster@glasgow.ac.uk>
Sent: Friday, August 26, 2011 3:15 PM
Subject: categories: re: a coalgebra over fields question
Dear Anders,
> Gavin Wraith lectured in 1976 about an important aspect in this
> connection. I don't know of any published reference. Namely: The
> category of commutative algebras is enriched over the cartesian closed
> category of commutative coalgebras.
>
> Does anybody know of a published reference ?
I believe the key term here is "measure coalgebra" or "measuring
coalgebra". There's an nLab page on this:
http://ncatlab.org/nlab/show/measure+coalgebra
It doesn't give any references, and I don't know any. But presumably the
authors of that page are reading this and have a better idea than me.
André Joyal also mentioned this enrichment in his talk at CT11.
Best wishes,
Tom
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2011-08-26 22:16 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-08-26 7:25 a coalgebra over fields question Anders Kock
2011-08-26 19:15 ` Tom Leinster
2011-08-26 22:16 ` Todd Trimble
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).