Los dos textos de Lawvere son las introducciones más sencillas que existen.