Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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|cite|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.