Jabarkan grup bebas dari Funktor fogetful

kategori bebas, terhubung ke fungsi pelupa dari kategori ke kuivers

kategori bebas, terhubung ke fungsi pelupa dari kategori ke kuivers

Untuk daftar yang lebih lengkap, lihat (Mac Lane 1997).

ke peta modul : setiap peta himpunan menghasilkan peta modul, dan setiap peta modul berasal dari peta himpunan.

Dalam kasus ruang vektor, ini diringkas sebagai:

"Sebuah peta antara ruang vektor ditentukan oleh dimana basis, dan basis dapat dipetakan ke apa saja."

unit dari adjungsi bebas adalah "penyertaan basis": .

Fld, kategori bidang, memberikan contoh fungsi foget tanpa adjoin. Tidak ada bidang yang memenuhi sifat universal gratis untuk himpunan tertentu.