A functorial model theory: newer applications to algebraic topology, descriptive sets, and computing categories topos

<P><STRONG>Introduction<BR></STRONG><BR><STRONG>Categorical Preliminaries<BR></STRONG>Categories and Functors<BR>Morphisms<BR>Functors<BR>Categorical Products<BR>Natural Transformations<BR>Products on Models <BR>Preservation of Limits<BR>Model Theory and Topoi <BR>More on Universal Constructions<BR>Chapter Exercises<BR><BR><B>Infinite Language Categories<BR></B>Basics<BR>Limits and Infinitary Languages <BR>Generic Functors and Language String Models<BR>Functorial Morphic Ordered Structure Models<BR>Chapter Exercises<BR>Functorial Morphic Ordered Structure Models<BR><B><BR>Functorial Fragment M