Jabarkan Peta sebagai morfisme dari Peta (matematika)

Dalam teori kategori, "peta" biasanya digunakan sebagai sinonim dari "morfisme" atau "anak panah", dan sifatnya lebih umum daripada "fungsi". Contohnya, sebuah morfisme  dalam sebuah kategori konkret (morfisme yang bisa dianggap sebagai fungsi) membawa informasi tentang domain ( yang merupakan sumber morfisme) dan kodomainnya ( yang merupakan tujuan). Dalam definisi fungsi  yang sering digunakan,  adalah subhimpunan dari  yang terdiri dari semua pasangan  untuk . Dalam artian ini, fungsi tidak membawa informasi tentang himpunan  yang digunakan sebagai kodomain; hanya jangkauan  yang ditentukan oleh fungsi.