I-Combinator

I (Identity) комбинатор је подразумевани морфизам који не примењује никакву трансформацију већ податак враћа непромењен. Користимо га као подразумевано решење у композицији попут нуле у сабирању и одузимању или јединице у множењу и дељењу.