De cattegorie sets mèt funksies wie morfisme is de prototypiese cattegorie.