• univerzální kategorie
• kategorie množin
• kategorie relací
• kategorie abstraktních strojů
• kategorie algebraických struktur
• věty o vnoření
• kategorie automatů