categories - Category Theory list
 help / color / mirror / Atom feed
* co-algebra literature suggestion
@ 2010-06-14  7:20 Vasili I. Galchin
  2010-06-15 11:33 ` Jeremy Gibbons
  0 siblings, 1 reply; 2+ messages in thread
From: Vasili I. Galchin @ 2010-06-14  7:20 UTC (permalink / raw)
  To: Categories mailing list

Hello Cat Community,

      I am looking for books on co-algebra theory that have a fairly
rigorous foundation in
category theory.

Thank you,

Vasili


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: co-algebra literature suggestion
  2010-06-14  7:20 co-algebra literature suggestion Vasili I. Galchin
@ 2010-06-15 11:33 ` Jeremy Gibbons
  0 siblings, 0 replies; 2+ messages in thread
From: Jeremy Gibbons @ 2010-06-15 11:33 UTC (permalink / raw)
  To: Categories mailing list

Do you know about Bart Jacobs' work in progress, Vasili?

    http://www.cs.ru.nl/B.Jacobs/CLG/JacobsCoalgebraIntro.pdf

Jeremy

On 14 Jun 2010, at 08:20, Vasili I. Galchin wrote:

> Hello Cat Community,
>
>       I am looking for books on co-algebra theory that have a fairly
> rigorous foundation in
> category theory.
>
> Thank you,
>
> Vasili
>

Jeremy.Gibbons@comlab.ox.ac.uk, Deputy Director
    Oxford University Computing Laboratory,    TEL: +44 1865 283508
    Wolfson Building, Parks Road,              FAX: +44 1865 283531
    Oxford OX1 3QD, UK.
    URL: http://www.comlab.ox.ac.uk/oucl/people/jeremy.gibbons.html


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2010-06-15 11:33 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-06-14  7:20 co-algebra literature suggestion Vasili I. Galchin
2010-06-15 11:33 ` Jeremy Gibbons

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).