• universal categories
• categories of sets
• relations category
• abstract machines category
• algebraic structures category
• embedding theorems
• automates categories