Contents

# Contents

## Definition

###### Definition

A geometric theory $T$ is of presheaf type if its classifying topos is equivalent to a presheaf topos.

## Properties

###### Proposition

A theory is of presheaf type if and only if its category of models in Set is a finitely accessible category, and if and only if it is sketchable.

## References

Last revised on October 31, 2012 at 02:49:50. See the history of this page for a list of all contributions to it.