Model theory and topoi - Lawvere F W; Maurer CWraith G C (Berlin Springer-Verlag, 1975)
Keywords: Mathematical models; Toposes