多元環の圏