C
ategory_
S
et
Cfunc
Product
Terminal
Equalizer
Truth
Equivalence
Coproduct
Axiom_Of_Choice
Initial
Exponential_Objects
Nats
Pred_Logic
Quant_Logic
Nat_Parity
Cardinality
Countable
Fixed_Points
ETCS