Mulling over recent discussions put me in a pensive frame of mind and my thoughts led me back to my first encounter with category theory. I came across the term while reading and I didn’t fully understand it. But I distinctly remember a short time later catching up with my math TA — it was on the path by the tennis courts behind Spartan Stadium — and asking him about it.
The instruction I received that day was roughly along the following lines.
“Actually . . . we’re already doing a little category theory, without quite calling it that. Think about the different types of spaces we’ve been discussing in class, the real line the various dimensions of real-value spaces, and so on, along with the various types of mappings between those spaces. There are mappings from the real line into an -dimensional space — we think of those as curves, paths, or trajectories. There are mappings from the plane to values in — we picture those as potential surfaces over the plane. More generally, there are mappings from an -dimensional space to values in — we think of those as scalar fields over — say, the temperature at each point of an -dimensional volume. There are mappings from to and mappings from to where and are different, all of which we call transformations or vector fields, depending on the use we have in mind.”
All that was pretty familiar to me, though I had to admire the panoramic sweep of his survey, so my mind’s eye naturally supplied all the arrows for the maps he rolled out. A curve through an -dimensional space would be typed as a function where the functional domain would ordinarily be regarded as a time dimension. A mapping from the plane to a real value would be typed as a function where we might be thinking of as the altitude of a topographic map above each point of the plane. A scalar field defined on an -dimensional space would be typed as a function where is something like the pressure, the temperature, or the value of some other dependent variable at each point of the -dimensional volume. And rounding out the story, if only the basement and ground floor of a towering abstraction still under construction, we come to the general case of a mapping from an -dimensional space to an -dimensional space, typed as a function
To be continued …
- Differential Propositional Calculus • Part 1 • Part 2
- Differential Logic • Part 1 • Part 2 • Part 3
- Differential Logic and Dynamic Systems
• Part 1 • Part 2 • Part 3 • Part 4 • Part 5