Kategori himpunan teken fungsi pinaka morfisme inggih punika kategori prototipikal.