1 paper
Hans Schoutens
The category of models of any theory T in any first-order language L has the surprising property that any small category that is elementarily equivalent with it, already embeds…