Benutzer:West of House/Katamorphismus
Zur Navigation springen
Zur Suche springen
Ein Katamorphismus ist in der Kategorientheorie der eindeutige F-Algebra-Homorphismus von einer initialen F-Algebra (A,in) in eine F-Algebra (B,b).