# 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

Revised on October 31, 2012 02:49:50 by Urs Schreiber (82.169.65.155)