29 Jan
2009
29 Jan
'09
7:27 p.m.
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