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