12
$\begingroup$

A poset $(P,\le)$ can be turned into a category in a standard way. A group $(G,\cdot)$ can also be turned into a category in a standard way. Can we topological space $(X,\tau)$ into a category in a meaningful/useful way? In general, what pairs $(X,\eta)$ consisting of a set $X$ and a collection of subsets $\eta\subseteq\mathcal{P}(X)$ (with some properties) can be turned into a category?

I'm assuming that "meaningful way" means something like

  1. you can recover the object from the category and
  2. functors between these categories correspond to the appropiate morphisms between the objects

Thanks!

$\endgroup$
5
  • 1
    $\begingroup$ For the first one, just define the poset category $(\tau,\subseteq)$. Then, continuous functions seem to correspond exactly to contravariant functors between these categories. $\endgroup$ Feb 16, 2020 at 18:46
  • 5
    $\begingroup$ @WoolierThanThou The correspondence isn't "exact". For instance, consider some space $X$ with indiscrete topology $\tau$. Then there are many maps $X\to X$ and they are all continuous, but they induce the same map on the poset $(\tau,\subseteq)$. $\endgroup$
    – Wojowu
    Feb 16, 2020 at 19:07
  • $\begingroup$ There's a way to define a topology on $X$ categorically by looking at the category of subobjects of $X$ and restricting to the open ones, continuity of $f:X\to Y$ is then characterized by the fact that the fibered product in Top of every open subobject of $Y$ along $f$ is an open subobject of $X$, but this not as nice as OP was hoping for I fear $\endgroup$ Feb 16, 2020 at 19:14
  • $\begingroup$ The spezialization preorder gives a concrete faithful functor $\mathsf{Top} \to \mathsf{Pre}$. Composing this with the mentioned functor $\mathsf{Pre} \to \mathsf{Cat}$, we get a concrete faithful functor $\mathsf{Top} \to \mathsf{Cat}$. Notice, however, that it isn't full in general. A more useful functor is the fundamental groupoid $\Pi : \mathsf{Top} \to \mathsf{Cat}$. The general question is too general to have a reasonable answer. $\endgroup$ Feb 23, 2020 at 14:15
  • $\begingroup$ You may want to have a forgetful functor that goes in the other direction, then what you are looking for is often the right or left adjoint of this forgetful functor $\endgroup$ Nov 22, 2023 at 18:45

1 Answer 1

3
$\begingroup$

One way of understanding the process of "turning something into a category" is to admit a functor $X \to \mathbf{Cat}$, where $X$ is some category of the things you are interested in. To establish your criteria for "meaningful" you could then ask that such a functor is

  1. essentially injective,
  2. fully faithful.

(In the literature, these are sometimes called full embeddings).

These requirements pretty much line up with being able to

  1. recover the original object from the category, by (essential) injectivity,
  2. for functors between the categories obtained this way to bijectively correspond to morphisms in $X$.

If you want $X$ to be a category of "sets equipped with extra structure", one way of making that precise is to ask for $X$ to be a concrete category: that is, for there to be some faithful forgetful functor $X \rightarrow \mathbf{Set}$.

For your first example, observe that $\mathbf{Pos} \hookrightarrow \mathbf{Cat}$, which is a full embedding, and moreover we have a faithful functor $\mathbf{Pos} \to \mathbf{Set}$ as every poset is a set, and monotone maps between them injectively correspond to functions.

For your second example, we have $\mathbf{Grp} \hookrightarrow \mathbf{Grpd} \hookrightarrow \mathbf{Cat}$, where the first functor is a full embedding of a group as a one-object of groupoid, and the second is the functor takes a groupoid and gives a category by forgetting that all of its morphisms are invertible. $\mathbf{Grp}$ is a concrete category also.

For topological spaces, the answer is a bit more complicated, but roughly (handwaving a bit here) if you restrict your answer to certain "nice" topological spaces you can recover a categorical notion quite nicely as locales, which are the opposite category of frames, which are also a concrete category. There are more details here - it's quite a deep topic, and one of the main motivations for the study of toposes.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .