Hay una clase importante de ejemplos de topos que no fue presentado en la introducción: si "C" es una categoría pequeña, entonces la categoría de funtores Set (consistente en todos los funtores covariantes de "C" a los conjuntos, con las transformaciones naturales como morfismos) son topos.