* Re: [categories] initial algebra question
@ 2009-01-29 8:27 Makoto Hamana
0 siblings, 0 replies; only message in thread
From: Makoto Hamana @ 2009-01-29 8:27 UTC (permalink / raw)
To: categories
> Date: Wed, 28 Jan 2009 19:31:35 +0000
> From: Paul Levy <P.B.Levy@cs.bham.ac.uk>
> Does anybody know a reference for the following (very easy) result?
> Let C and D be categories, and let F:C-->D and G:D-->C be functors.
> If (c,theta) is an initial algebra for GF, then (Fc, F theta) is an initial algebra for FG.
It is mentioned as Proposition 5.3 of
Alex Simpson and Gordon Plotkin,
Complete Axioms for Categorical Fixed-point Operators, LICS 2000.
Best Regards,
Makoto Hamana
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2009-01-29 8:27 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-01-29 8:27 [categories] initial algebra question Makoto Hamana
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).