Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $\mathbb I$ be a category with exactly $2$ objects and $4$ arrows. The $2$ arrows that are not identities are parallel and their (common) domain and (common) codomain are distinct. Looking at the category $$\mathsf Set^{\mathbb I}$$ (having as objects the functors $\mathbb I\rightarrow\mathsf Set$ and as arrows the natural transformations) I wondered if this category can be recognized as the category of (small) graphs. Is that indeed the case, or am I overlooking something?

If I am right here then the fact that $\mathsf Set$ is (co)complete justifies the the conclusion that $\mathsf Grph$ is (co)complete.

share|improve this question
A functor $\Bbb I\to\mathbf{Set}$ is then determined by the choice of two isomorphic sets and one bijection between them. $\mathbf{Set}^{\Bbb I}$ is just the category of bijections, whose arrows are the set maps which are compatible with these bijections. –  Stefan Hamcke Mar 20 '14 at 14:25
@StefanHamcke That would be so if the non-identities are inverses of eachother right? But they are not. They are parallel. –  H.B. Mar 20 '14 at 14:29
@ZhenLin By a graph I am thinking of two sets $A$ (arrows) and $O$ (objects) and two functions $A\rightarrow O$ (domain and codomain). As can be found in e.g. CWM. –  H.B. Mar 20 '14 at 14:34
@StefanHamcke As you understand now the word 'distinct' was used to say that the arrows are not endomorphisms. $i,j:x\rightarrow y$ is indeed what I mean. –  H.B. Mar 20 '14 at 14:36
@H.B. Then yes, what you have is the category of graphs, almost by definition. –  Zhen Lin Mar 20 '14 at 14:41

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.