The symmetric topos

[摘要] We show that the 2-category of toposes and inverse images of geometric morphisms is 2-monadic over the 2-category of locally presentable categories and cocontinuous functors between them.

[发布日期] 1995-12-22