nLab
symmetric topos

Contents

Context

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

Contents

Idea

The symmetric topos M()M(\mathcal{E}) of a Grothendieck topos \mathcal{E} is the topos analogue of the symmetric algebra construction. Its importance stems from the property that for a topos \mathcal{E} the symmetric topos M()M(\mathcal{E}) classifies topos distributions on \mathcal{E}.

Definition

Properties

Example

References

Last revised on June 6, 2018 at 06:43:12. See the history of this page for a list of all contributions to it.