LUKEH: Kočka F požívání vyrábí (zobrazuje) x rybu na y tráveninu (dál v procesu nejdu :-D). Inverzní kočka vyrábí z tráveniny y rybu x. Ale velryba G vyrábí z tráveniny v kočce F dvojitou tráveninu z. (procesy trávení kočky a velryby mohou, ale nemusí být stejné). Pokud kočka i ryba jsou funkce, pak je na horním obrázku F(G(x)) a na dolním G(F(x)) Ale F^-1(G(x)) je prostě dávení. Dá se zapsat i bez x první je G | F (G po F) a druhé F | G (F po G)