Kūpu kategoreja ar funkcejom, kai morfismi, ir prototipiskuo kategoreja.