A topos classifies a geometric theory when geometric morphisms into it from any Grothendieck topos correspond naturally to internal models of that theory. Pulling back one generic model gives the corresponding model. For a finitary algebraic theory, the classifying topos is the covariant functor category on finitely presented models.
New to topics? Read the docs here!