Saya mau tau Struktur implisit kategori beton dari Kategori konkret

Diberikan kategori konkret (C, U) dan sebuah nomor kardinal  N , misalkan UN maka funktor C → Himpunan' ditetapkan oleh UN(c) = (U(c))N.

Kemudian subfunktor dari UN disebut  predikat N-ari  dan a

transformasi alami UN → U adalah Operasi N-ari.

Kelas dari semua predikat ari dan operasi ari dari kategori konkret (C,U), dengan  N  berkisar di kelas dari semua bilangan pokok, membentuk besar tanda tangan. Kategori model untuk tanda tangan ini kemudian berisi subkategori lengkap yaitu ekuivalen ke  C .