iy'ingoga irirusha guhagurukana imbaraga ijya ku rugamba in category theory there are covariant functors and contravariant functors nibintu bike bidashoboka umwete nubuhanga