Category: Higher-Order Theories