Covariant Isotropy of Grothendieck Toposes and Extensive Categories.

Jason Parker
Published in: Appl. Categorical Struct. (2022)