[categories] Re: Reference for the analytic vs. synthetic distinction in mathematics