A Functorial Model Theory Newer Applications To Algebraic Topology Descriptive Sets And Computing Categories Topos

Functor theory Model theory Infinitary languages Algebraic topology Descriptive set theory Categories (Mathematics) Langages infinitaires Topologie algébrique Théorie descriptive des ensembles Catégories (Mathématiques)