A morphism-revealing category? [closed]

Question

Categories of sets and functions can be considered as subcategories of Set but when considered as subcategories of the category SubSet, of pairs of sets with pairs $(X,S)$, $S\subseteq X$, as objects and functions $f:X\to Y$ with $f(S)\subseteq T$ as morphisms $(X,S)\to (Y,T)$, the morphisms of SubSet seems to reveal the form of the morphisms of the subcategories. Examples:

Magmas. $R\subseteq (X\times X)\times X$ (the composition). Morphisms are functions $\alpha:(X\times X)\times X\longrightarrow(X^\prime\times X^\prime)\times X^\prime$ such that $((x,y),z)\in R \Rightarrow \alpha((x,y),z)\in R^\prime$. Functions $\alpha_1,\alpha_2,\alpha_3:X\longrightarrow X^\prime$ exists such that $\alpha((x,y),z)=((\alpha_1(x),\alpha_2(y)),\alpha_3(z))$ and if $\alpha$ is such that $\alpha_1=\alpha_2=\alpha_3$, then $\alpha_1$ correspond to magma morphisms, $((x,y),z)\in R \Rightarrow ((\alpha_1(x), \alpha_1(y)),\alpha_1(z))\in R^\prime$. That is, $xy=z\Rightarrow\alpha_1(x)\alpha_1(y)=\alpha_1(z)$.

Topological spaces. $\tau\subseteq \mathcal{P}(X)$. Morphisms are functions $\mathcal{P}(X)\overset{\alpha}{\longrightarrow}\mathcal{P}(X^\prime)$ such that $\mathcal{O}\in\tau \Rightarrow \alpha(\mathcal{O})\in \tau^\prime$. If there is a function $f:X^\prime\longrightarrow X$ such that $\alpha = \mathcal{Q}(f)$, where $\mathcal{Q}$ is the contra-variant power set functor, this correspond to the condition $\mathcal{O}\in\tau\implies f^{-1}(\mathcal{O})\in\tau^\prime$.

Hence, studying subcategories of Set yields that the morphisms are functions, while studying subcategories of SubSet also yields additional information of the morphisms. So my questions are:

Is this approach used in mathematics?
Has anyone published something about this?

Answer 1

$\newcommand{\SubSet}{\mathbf{SubSet}}\newcommand{\Set}{\mathbf{Set}}\newcommand{\Top}{\mathbf{Top}}$ $\newcommand{\ra}[1]{\kern-1.5ex\xrightarrow{\ \ #1\ \ }\phantom{}\kern-1.5ex} \newcommand{\ras}[1]{\kern-1.5ex\xrightarrow{\ \ \smash{#1}\ \ }\phantom{}\kern-1.5ex} \newcommand{\da}[1]{\bigg\downarrow\raise.5ex\rlap{\scriptstyle#1}}$

This general idea is definitely important in categorical logic and the theory of fibrations. Let me rename your category Pos = SubSet. There is an evident forgetful functor $p : \SubSet \to \Set$ given by the first projection, which has the important property that:

• $p$ is a bifibration

This means that there is an operation of pushing a subset $S \subseteq X$ along a morphism $f : X \to Y$ to obtain a subset $\mathbf{push}_fS \subseteq Y$ satisfying certain universal properties, as well as an operation of pulling a subset $T \subseteq Y$ along $f : X \to Y$ to obtain a subset $\mathbf{pull}_f T$ satisfying dual properties. In particular, these operations define functors between the fibers of $X$ and $Y$ \begin{align*} \mathbf{push}_f &: \SubSet_X \to \SubSet_Y \\ \mathbf{pull}_f &: \SubSet_Y \to \SubSet_X \end{align*} satisfying an adjunction $\mathbf{push}_f \dashv \mathbf{pull}_f$. In this case, of course, pushing and pulling are defined by image and inverse image: $$ \mathbf{push}_fS = \{f(x) \mid x \in S\} \qquad \mathbf{pull}_fT = \{x \mid f(x) \in T\}$$ But the definition of bifibration itself can be seen as a categorical abstraction of these basic operations on subsets.

Now, I think the idea that you are getting at (but correct me if I'm wrong) is that many concrete categories, seen as categories $C$ equipped with a forgetful functor $q : C \to \Set$, can be embedded into $p : \SubSet \to \Set$. In particular, to take one of your examples, let $q : \Top \to \Set$ be the forgetful functor which returns the underlying set of a topological space. This functor happens to be a fibration (given a topology on $Y$ and a function $f : X \to Y$ we can form the inverse image topology on $X$) but not quite a bifibration. However, essentially as you observed, the concrete category of topological spaces can be studied using the $\SubSet$ bifibration. More precisely, there is a commuting diagram $$ \begin{array}{c} \Top^{op} & \ra{} & \SubSet \\ \da{q^{op}} & & \da{p} \\ \Set^{op} & \ra{\mathcal{P}} & \Set \end{array} $$ that can be read as a morphism of functors $q^{op}\to p$, where $\mathcal{P} : \Set^{op} \to \Set$ is the contravariant powerset functor and $\Top^{op} \to \SubSet$ is the functor viewing a topological space $\tau$ over $X$ as a subset of $\mathcal{P}(X)$. Moreover, this morphism $q^{op} \to p$ is full and faithful in the sense that for any fixed function $f : X \to X'$ and topological spaces $\tau,\tau'$ such that $q(\tau) = X,q(\tau') = X'$, then $f$ is a continuous function from $\tau$ to $\tau'$ (i.e., there is a morphism $\alpha : \tau \to \tau'$ in $\Top$ such that $q(\alpha) = f$) just in case the image of $\tau'$ under $\mathcal{P}(f)$ is included in $\tau$ (i.e., there is a morphism $\beta : \tau' \to \tau$ in $\SubSet$ such that $p(\beta) = \mathcal{P}(f)$).