Functorial model theory newer applications to algebraic topology, descriptive sets, and computing categories topos - Nourani, Cyrus F (Apple academic press, 2014)