Cтраница 4
В действительности справедливо более общее утверждение: для любой малой категории 3) категория функторов 8 ( 3, SET) является топосом. [46]