Kategori himpunan lawan fungsi sebagai morfisme adalah kategori prototipikal.