1
$\begingroup$

Let $\mathcal{C}$ be the category of categories and $\mathcal{G}$ the category of metagraphs. Define functors:

$||:\mathcal{C} \rightarrow\mathcal{G}$ such that $|C|=G \Leftrightarrow G$ is the underlying metagraph of $C$

and

$<>:\mathcal{G} \rightarrow \mathcal{C}$ such that $\left=C \Leftrightarrow C$ is freely generated by $G$.

My question is wether $\left<\right>$ and $\left|\right|$ are adjoints; that is:

Whether the following bijections are natural in $C \in \mathcal{C}$ and $G \in \mathcal{G}$: $\hom_{\mathcal{C}}\left(C,\left\right) \cong \hom_{\mathcal{G}}\left(G,|C|\right)$

  • 2
    Why is the order swapped? Usually, with adjoints where one is forgetful, you'd want $\hom_{\mathcal C}(\left,C)\cong \hom_{\mathcal G}(G,|C|)$.2012-11-22

1 Answers 1

1

Yes, stating the adjunction more precisely in the appropriate direction, as Thomas noted.

Extend the category $\mathcal G\cup \mathcal C$ by graph morphisms $G\to C$, this yields to a category $\mathcal B$, in which every category is coreflected by its underlying graph and every graph is reflected by its free category (because of the freeness), hence $\hom_{\mathcal G}(G,|C|) \cong \hom_{\mathcal B}(G,C)\cong \hom_{\mathcal C}(\langle G\rangle, C). $