A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos /
Nourani, Cyrus F.author.
Includes bibliographical references and index.
Functor theory.
Model theory.