Die Vogelart weist ein Fehlen von geschlechtsspezifischen Unterschieden auf, was bedeutet, dass es keinen Unterschied im Aussehen zwischen Männchen und Weibchen gibt.
Inder Kategorientheorie können wir zeigen, dass die Funktion 'double' ein Monomorphismus ist, denn wenn 'double(f(x))' immer gleich 'double(g(x))' ist, dann müssen die Funktionen 'f(x)' und 'g(x)' identisch sein.