Toward defining a topos, we give several fundamental examples of topoi; discuss the equivalence between a category having finite limits and a category having pullbacks and a terminal object; and define the subobject classifier.