5

One of the fundamental ways category theory is used is to define categories of structures, where the morphisms are structure preserving maps. E.g. the category of topologies has continuous functions as morphisms.

But as far as I know, this is just a customary way that category theory can be used. We could just as well have said that the category of topologies has all functions as morphisms including non-continuous ones.

This would of course be useless, but apart from its practical use, is there also some sort of principled deduction that “structure preserving maps as morphisms” is somehow “the right way” or “a canonical way” of defining categories?

user56834
  • 12,323
  • It's just that we, mathematicians, are not interested in noncontinuous maps between topological spaces (most of the time); so what would be the point of considering this category ? Similarly if I called $X$ the set of subsets $F$ of $\mathbb{R}$ such that if there exists a positive $x\in F$, then $1\in F$; then I can define $X$, but who cares ? – Maxime Ramzi Jan 31 '19 at 12:23
  • @max, you are attacking straw man alternatives to the way it’s generally done. My question is motivated by the fact that I find it interesting that there is this general concept of “structure preserving maps” that are always used in category theory. This makes me wonder whether there is a deeper reason why structure preserving is a fundamental concept. – user56834 Jan 31 '19 at 12:32
  • 3
    Structure preserving is a fundamental concept because we're interested in structures, there's not much more than that. – Maxime Ramzi Jan 31 '19 at 12:35
  • If we were to deduce this, whatever we mean by that, we'd be saying that the categories that aren't structures with structure preserving maps are pathological. But very, very many categories that are not of this sort are actually interesting and useful. – Malice Vidrine Feb 02 '19 at 22:08
  • 1
    It would be a good idea to define first what you mean by a structure and a structure preserving map. –  Jun 23 '19 at 18:05

3 Answers3

2

I think the right pedagogical perspective is the other way around: the "right" notion of structure is "that which is preserved by morphisms".

I think your example of topological spaces is instructive. In the beginning, to understand the continuum we used the idea of a metric space: a set of points equipped with a metric. Using the metrics, we can define what it means for a function to be continuous.

We then study metric spaces and continuous functions.

But you quickly run into some oddities; for example, the identity function between the usual Euclidean plane $(\mathbb{R}^2, d_2)$ and taxicab geometry $(\mathbb{R}^2, d_1)$ turns out to be continuous in both directions: a homeomorphism!

So now you have this phenomenon of equivalent metrics. And it turns out that a lot of things you do in geometry respect this equivalence. Making judgement that a function is continuous, or that a set is open/closed/compact, or whether a sequence converges: all of these judgments remain the same if you replace the metrics involved with different but equivalent metrics.

And so, a major component of the practice of geometry eventually becomes working with metric spaces in a metric-independent way, studying what we now call topological properties of spaces.

In other words, in the example of topology, the category came first. In hindsight, the actual, real world history1 is that we first defined the category of metric spaces and continuous functions, and only later did we realize that we were keenly interested in whatever structure is preserved by the morphisms of this category.

In my opinion, you find this sort of thing all over mathematics and physics: you see people first find a way to describe the objects, then how to describe the morphisms, and then later derive results (often viewed as deep) that some aspect of the description of objects is not preserved by the morphisms, and thus is not a relevant feature of what you're studying.

1: I'm relatively sure that this characterization is accurate. But don't take this as definitive since I haven't deliberately studied the history.

P.S. The "category of topological spaces and all functions" is equivalent to Set. And since most of the things you do with categories respect equivalence, the two are effectively interchangeable. So your "useless" example is actually an incredibly important category; it just doesn't tell you much about topology.

0

Category theory doesn't really care about the structure of its objects and morphisms. For instance, the category of topological spaces is made up of all topological spaces and all continuous functions between them and at that point the category theory stops caring about what the objects and the arrows are. Just whether they exist, whether certain compositions are equal and so on.

Arthur
  • 204,511
  • I know, but there is a reason that these categories are chosen and not others. I’m wondering whether there is something behind that practical reason. – user56834 Jan 31 '19 at 11:39
  • @user56834 Even though the category itself doesn't explicitly carry any information about open sets or elements, suprisingly much of that information is encoded in the category structure. For instance, any topological space has exactly one morphism to any singleton space, and only singleton spaces have this property ("terminal object" is the categorical term). Once you have identified the singleton spaces, you can see constant maps as maps which "factor through" a singleton space. Many other things like injectivity or homeomorphicity are also encoded in similar fashion. – Arthur Jan 31 '19 at 12:07
0

There are two things to keep in mind.

First, as set theory treats sets as structure-less collections, i.e. lists of unnamed elements (it does not care if its elements are real numbers, apples, people), category theoretic objects have no internal structure.

The point of category theory is exactly to study structures without looking to their internal structure, but doing so makes impossible to deal with the structure preserving-property.

Another point of view is that the morphisms give the structure to the objects. There is also a very technical way to make this formal, you can find more in this answer.

Hope this helps.

Giorgio Mossa
  • 18,698