Extraductions from topos theory