Ein Katamorphismus ist in der Kategorientheorie der eindeutige F-Algebra-Homorphismus von einer initialen F-Algebra (A,in) in eine F-Algebra (B,b).