29 Jan
2009
29 Jan
'09
6:31 a.m.
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. thanks, Paul