Talk:Acyclic model

Relation to Model Theory? (If Any?)

The way that the word "model" gets used is vaguely reminiscent of model theory; I am wondering if this is formalized at all, or if the usage remains informal. For example, Rotman defines a model as a subset of the objects in a category, and then promptly launches off into homology. In model theory, one never talks of categories as such, but one does define models as a collection of objects that satisfy the sentences of a theory. Now, no one in model theory uses the word "category", but if you blur your ... umm .. mental model of mathematics a bit, you can see that these are similar. Is this formalized anywhere? 67.198.37.16 (talk) 18:40, 6 August 2016 (UTC)