TY - RPRT TI - Covariant Isotropy of Grothendieck Toposes AU - Jason Parker PY - 2021 UR - https://arxiv.org/abs/2104.13487 ID - 2104.13487 ER -