A funktor az olyasmi, mint egy függvény, ezért is hasonlít elnevezésében a "function"-re: egy kategórián belüli objektumokból csinál ugyanazon kategórián belüli objektumokat
Ez biztos? Én úgy tudtam, hogy a funktor kategóriák közötti leképezés, tehát nem kell ugyanabba a kategóriába képeznie, ahonnan képez, és a wiki is ezt írja: "In mathematics, a functor is a type of mapping between categories arising in category theory. Functors can be thought of as homomorphisms between categories."