
Afterword 171
fully enough. There has been more interest in the objects that sit
there than in the functions between them. When I think of that
definition, I think of what I would call one of the greatest innova-
tions of modern mathematics, known as category theory. When I
think about category theory, whose fundamental object is actually
the map, the relationship, I recognize that in topology as I see it,
there hasn’t been enough concern with this relationship. It’s been
more [concern] with the start of the object and the end of the
object and not the process of changing it.
J. T. That’s fascinating. . . . There is one more question that I
would like to ask you. There is a certain educational uniqueness
to topology. Students encounter analysis in the form of calculus
early on—maybe even in high school. And they encounter higher
algebra in the form of linear algebra at an early stage of their
education—again, maybe even in high school. But topology has
a smaller audience. Most students don’t encounter it at all unless
they’re majoring in mathematics, and then they encounter it for
the first time later in their undergraduate education—maybe in
their third or fourth year of college. Why do you suppose that is?
And can you suggest a way that students might learn more about
topology earlier in their education?
S. W. I wish I had a book I could suggest. The book I’d want to
suggest doesn’t even introduce students to topology. It introduces
students to category theory, which is even worse. (laughter) It’s a
fantastic book. I’ve been recommending it to all high school stu-
dents as well as all college students as well as all people interested
in mathematics who are 50 years old. The book is called Conceptual
Mathematics, and the authors are F. William Lawvere and Stephen
Schanuel. Now this is not a book about topology, but it is a book
about understanding foundations and things in mathematics.
Many students from many places in mathematics are now begin-
ning to come to us knowing category theory. This is brand new.
J. T. I’m surprised to hear that they arrive knowing category
theory.