Morfizm funktsiyalı taqım kategoriyası prototip kategoriyasıdır.