Talk:Acyclic model
 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
Relation to Model Theory? (If Any?)
[edit]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)