1
$\begingroup$

I try to learn the theory of category from The Joy of Cats. I got stacked with the first exercise (3A a).

If we have a simple graph with one vertex and 2 nodes all we know is that in category there is 2 objects and one homomorphism (beside identities). Hence:

\[C = (\{\{x, y\}, \{1, 2\}\}, \{f, id\}, id, \cdot), f = \{(x, 1), (y, 2)\}\]

and

\[C = (\{\{x\}, \{1\}, \{f, id\}, id, \cdot), f = \{(x, 1)\}\]

Should have the same graph but are they isomorphic?

Note about notation: I treat category as quadruple $(O, H, id, \cdot)$ where $O$ is class of objects (here is set), $H$ is class of homomorphisms (in example set). $id$ is identity and $\cdot$ is composition of homomorphisms.

1 Answers 1

1

It is a bit hard to understand your notation. If understand correctly, the isomorphism is realized by the functor $F$ which sends $\{x, y\}$ to $\{ x \}$ and $\{ 1, 2 \}$ to $\{ 1 \}$ (on objects) and send the unique non trivial morphism $f$ to $f$.

  • 0
    There should be { brackets, but they are lost in the formatting. On MO one can avoid that by using backticks (`) around formulas, but here it does not work. Any other workaround?2010-08-05
  • 0
    Prefix the $\\{$ by two \\ - then you get a single bracket.2010-08-05
  • 0
    As I understend you answer you mean that isomorphism is when there is 'bi-jective' functor $F$ from one category to another.2010-08-05