“the foundations of categorical model theory”