funktor
/fสลkหtor/
๐ฎ๐ฉBahasa IndonesiaMatematikaLogikaIlmu KomputerNetral
Ringkasan Makna
Dalam matematika dan logika, funktor adalah pemetaan antar-kategori yang mempertahankan struktur aljabar.
Penjelasan & Konteks Penggunaan
Istilah ini utamanya merujuk pada dua konsep berbeda namun beririsan. Dalam teori kategori (matematika), funktor adalah homomorfisme antara kategori yang memetakan objek ke objek dan morfisma ke morfisma dengan tetap menjaga komposisi dan identitas. Dalam logika dan linguistik, funktor adalah ekspresi yang mengambil satu atau lebih argumen untuk menghasilkan nilai baru (operator atau fungsi).
Contoh Penggunaan dalam Kalimat
โA functor maps objects and morphisms from one category to another.โ
โSebuah funktor memetakan objek dan morfisma dari satu kategori ke kategori lainnya.
โDalam pemrograman fungsional, struktur data tertentu dapat diimplementasikan sebagai funktor.โ
โDalam pemrograman fungsional, struktur data tertentu dapat diimplementasikan sebagai funktor.
Asal-usul & Konteks Budaya
Diserap dari bahasa Inggris 'functor', yang berakar dari bahasa Latin 'functus' (menjalankan tugas), pertama kali diadopsi dalam logika matematika modern dan kemudian menjadi konsep fundamental dalam teori kategori yang diperkenalkan oleh Samuel Eilenberg dan Saunders Mac Lane.