Fermat theory
Redirect to:
Lawvere theory#Variations