How to interpret the morphism $1 \to 0$ in ${\bf Set}^\mathrm{op}$, dual to $\bf Set$, with the standard meanings of the initial and terminal objects? Since the objects have the same interpretation in the dual, can ${\bf Set}^\mathrm{op}$ be interpreted (and if so uniquely?) as the category of sets and partial functions?
How to interpret $1 \to 0$ in ${\bf Set}^\mathrm{op}$, and ${\bf Set}^\mathrm{op}$ itself?
-
0I don't think you can interpret $\bf Set^\mathrm{op}$ as the category of sets and partial functions. Consider the morphism of $\bf Set$ from ${\mathbb Z}\to\{0, 1\}$ which maps even numbers to 0 and odd numbers to 1. There is no way to understand this as a partial function $\{0, 1\}\to{\mathbb Z}$. – 2012-05-03
-
0Understood. Since functions = total functional relations, it seems neither of those properties are preserved? Can Set* be considered the cat of sets and relations? (ps, thanks for the markup - where can I learn this code?) – 2012-05-03
-
1@alan: $\text{Set}^{op}$ embeds into the category of sets and relations, but is not the whole thing. – 2012-05-03
-
0@alan: the markup language is called $\TeX$. You can find many tutorials with a web search. – 2012-05-03
-
0@Mark, to learn by example, is there a way to view side-by-side SE questions w/ Tex code as well as the rendered versions? (I briefly see the code while SE loads) – 2012-05-04
-
1@alancalvitti you can see and copy/paste the Tex code used in questions by trying to Edit the question (at the end , of course, you Discard the Edit). I do not know how you look at the code used in comments. – 2012-07-27
-
0The category of set and partial functions $\textbf{Par}$ is equivalent to the category of pointed sets $\textbf{Set}_*$. You can find this in Awodey's Category Theory Chap. 7 – 2012-08-27
2 Answers
If $f\colon A\to B$ in $\mathbf{Set}$, then the morphism in the opposite category $f^{op}\colon B\to A$ can be thought of as a multivalued partial function. That is, it is only defined on $\operatorname{im} f$ and the image of $f^{op}(b)$ is the set $f^{-1}(b)$.
If we try and recover exactly which conditions we need to place on our multivalued partial functions so that every one corresponds uniquely to a honest function of sets, we find that $\mathbf{Set}^{op}$ is equivalent to the category whose objects are sets and whose morphisms are surjective multivalued partial functions with the property that $f(a)$ and $f(b)$ are disjoint sets for $a\neq b$. If $f\colon B\to A$ is a morphism as defined above, the corresponding function $g\colon A\to B$ of sets is given by $g(a)=b$ where $b$ is the unique element such that $a\in f(b)$.
This is doubtfully a useful interpretation...
-
0It's useful (@ least to me) for understanding duality, thanks – 2012-05-04
It is a remarkable fact that $\textbf{Set}^\textrm{op}$ is actually a completely concrete category: it is naturally equivalent to the category of complete atomic boolean algebras via the contravariant power set functor. Thus, an object $X$ in $\textbf{Set}^\textrm{op}$ secretly stands for its powerset $P X$, and a morphism $X \to Y$ in $\textbf{Set}^\textrm{op}$ is then a homomorphism of complete boolean algebras $P X \to P Y$. (More precisely, if $f : Y \to X$ is a map in $\textbf{Set}$, then the corresponding homomorphism $P f : P X \to P Y$ is the one that sends a subset $U \subseteq X$ to its preimage $f^{-1} U \subseteq Y$.)
-
0+1. Two Q's: do you concur w/ SL2's characterization of $\textbf{Set}^\textrm{op}$, and if you have time, do you mind editing your answer w/ additional detail on this interesting construction? – 2013-02-21