[logic-ml] categories for philosophers