A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos / Cyrus F. Nourani.
This book is an introduction to a functorial model theory based on infinitary language categories. The author introduces the properties and foundation of these categories before developing a model theory for functors starting with a countable fragment of an infinitary language. He also presents a ne...
Full description
Saved in: