Spahn level in a topos

References