Katagori himpunan deungen fungsi seubagai norfisme adalah katagori prototipikal.