Referencia para forzar el uso de la teoría de topos

Question

He justo Sierra en libro Maclane y de Moerdijik ("poleas en geometría y lógica: una primera introducción a la teoría de Topos") sobre el Cohen obligando a ve en forma categórica usando teoría de Topos. ¿Hay alguna referencia para forzar técnicas utilizando categorías y Topos? ¿Pueden las otras clases de forzar (itera, Prickry etcetera) verse de la misma manera (análoga)? ¿Cualquier referencia para la última pregunta?

Gracias de antemano.

Answer 1

Yo sugeriría papel de Andre Scedrov "Forzar y clasificar topoi" [memorias a.m.s. 48 (1984) Nº 295] o la primera parte de mi ponencia conjunta con Scedrov, "Modelos de Freyd para la independencia del axioma de elección" [memorias a.m.s. 79 (1989), no. 404].